All
5+
10+
25+
50+
100+
< Prev
Next >
19
What works (and doesn't) selling formal methods (galois.com)
4 months ago |
azhenley
| galois.com
|
best
2
GitHub Copilot Spaces (github.blog)
5 months ago |
azhenley
| github.blog
|
newest
2
What Works (and Doesn't) Selling Formal Methods (galois.com)
5 months ago |
azhenley
| galois.com
|
newest
1
The Zen of Polymorphism [video] (youtube.com)
5 months ago |
azhenley
| youtube.com
|
newest
1
How React server components work: an in-depth guide (plasmic.app)
5 months ago |
azhenley
| plasmic.app
|
newest
1
Use VS Code to build AI apps and agents [video] (youtube.com)
5 months ago |
azhenley
| youtube.com
|
newest
1
Error Messages as Rationale Reconstructions [Dissertation] [pdf] (barik.net)
5 months ago |
azhenley
| barik.net
|
newest
1
Why I Use WebAssembly (nasso.dev)
5 months ago |
azhenley
| nasso.dev
|
newest
1
A Garbage Collection Strategy (irreal.org)
5 months ago |
azhenley
| irreal.org
|
newest
43
Hyper Typing (pscanf.com)
5 months ago |
azhenley
| pscanf.com
|
best
1
Labeling a root cause is predicting the future, poorly (surfingcomplexity.blog)
5 months ago |
azhenley
| surfingcomplexity.blog
|
newest
1
Hyper Typing (pscanf.com)
5 months ago |
azhenley
| pscanf.com
|
newest
1
When a bad analysis is worse than none at all (surfingcomplexity.blog)
5 months ago |
azhenley
| surfingcomplexity.blog
|
newest
1
Python Internals (2010) (thegreenplace.net)
5 months ago |
azhenley
| thegreenplace.net
|
newest
2
Taking Learning Seriously (dubroy.com)
5 months ago |
azhenley
| dubroy.com
|
newest
3
PEG Parsing Series by Guido von Rossum (2019) (medium.com/gvanrossum_83706)
5 months ago |
azhenley
| medium.com
|
frontpage
1
Where are the proactive AI coding tools? (austinhenley.com)
5 months ago |
azhenley
| austinhenley.com
|
newest
2
Discovery Agent: Agentic Setup, Build, and Testing of Repositories (githubnext.com)
5 months ago |
azhenley
| githubnext.com
|
newest
1
Progressive Dehancement (dbushell.com)
5 months ago |
azhenley
| dbushell.com
|
newest
1
You can't prevent your last outage, no matter how hard you try (surfingcomplexity.blog)
5 months ago |
azhenley
| surfingcomplexity.blog
|
newest
2
My first experience using Swift, SwiftUI, and Xcode (2023) (austinhenley.com)
5 months ago |
azhenley
| austinhenley.com
|
newest
2
Agentic Bug Reproduction for Effective Automated Program Repair at Google (arxiv.org)
5 months ago |
azhenley
| arxiv.org
|
newest
3
Good models protect us from bad models (surfingcomplexity.blog)
5 months ago |
azhenley
| surfingcomplexity.blog
|
newest
2
The design of software engineering course projects (austinhenley.com)
5 months ago |
azhenley
| austinhenley.com
|
newest
3
Machine Learning in Production: From Models to Products (Free Textbook) (mlip-cmu.github.io)
5 months ago |
azhenley
| github.io
|
newest
1
The world of compiler backends (medium.com/packt-hub)
6 months ago |
azhenley
| medium.com
|
newest
90
Programming languages should have a tree traversal primitive (tylerglaiel.com)
6 months ago |
azhenley
| tylerglaiel.com
|
best
18
Requirements change until they don't (buttondown.com/hillelwayne)
6 months ago |
azhenley
| buttondown.com
|
frontpage
2
The design of software engineering course projects (austinhenley.com)
6 months ago |
azhenley
| austinhenley.com
|
newest
1
Prompts Are Programs Too: How Developers Build Software Containing Prompts (arxiv.org)
6 months ago |
azhenley
| arxiv.org
|
newest
3
Requirements change until they don't (buttondown.com/hillelwayne)
6 months ago |
azhenley
| buttondown.com
|
newest
3
Microsoft's Platform Engineering Guide (microsoft.com)
6 months ago |
azhenley
| microsoft.com
|
newest
2
A Comprehensive Benchmark for C-to-Safe-Rust Transpilation (arxiv.org)
6 months ago |
azhenley
| arxiv.org
|
newest
1
Assistance or Disruption? Evaluating the Design of Proactive AI Programming (arxiv.org)
6 months ago |
azhenley
| arxiv.org
|
newest
1
All Models Are Wrong, Some Are Useful: Model Selection with Limited Labels (blackhc.net)
6 months ago |
azhenley
| blackhc.net
|
newest
1
When is round-trip floating point radix conversion exact? (johndcook.com)
6 months ago |
azhenley
| johndcook.com
|
newest
4
Microsoft's Platform Engineering Guide (microsoft.com)
6 months ago |
azhenley
| microsoft.com
|
frontpage
1
Teach Scrum with Minecraft (2022) (medium.com/agileinsider)
6 months ago |
azhenley
| medium.com
|
newest
2
"All Roads Lead to ChatGPT": How AI Is Eroding Social Interactions (arxiv.org)
6 months ago |
azhenley
| arxiv.org
|
newest
1
Avoiding and Exploiting JavaScript's Warts (might.net)
6 months ago |
azhenley
| might.net
|
newest
2
Three Years of Investing in Games (robin-guo.com)
6 months ago |
azhenley
| robin-guo.com
|
newest
3
All Databases Are Just Files (tselai.com)
6 months ago |
azhenley
| tselai.com
|
frontpage
1
The Aspire Compiler (medium.com/davidfowl)
6 months ago |
azhenley
| medium.com
|
newest
1
What is Service-level Fault Injection Testing? (2021) (christophermeiklejohn.com)
6 months ago |
azhenley
| christophermeiklejohn.com
|
newest
2
Miscellaneous Mathematical Symbols (johndcook.com)
6 months ago |
azhenley
| johndcook.com
|
frontpage
26
Calypso: LLMs as Dungeon Masters' Assistants [pdf] (andrewhead.info)
6 months ago |
azhenley
| andrewhead.info
|
frontpage
2
We are not bits: AI and dehumanization (medium.com/bits-and-behavior)
6 months ago |
azhenley
| medium.com
|
newest
3
Why AI Still Struggles with What Isn't There (utk.edu)
6 months ago |
azhenley
| utk.edu
|
newest
1
Ivie: Lightweight Anchored Explanations of Just-Generated Code [pdf] (andrewhead.info)
6 months ago |
azhenley
| andrewhead.info
|
newest
3
Bespoke GUIs on the Fly (2023) (austinhenley.com)
6 months ago |
azhenley
| austinhenley.com
|
newest
2
Model Error (surfingcomplexity.blog)
6 months ago |
azhenley
| surfingcomplexity.blog
|
newest
4
Rust 1.86.0 (rust-lang.org)
6 months ago |
azhenley
| rust-lang.org
|
newest
3
Evaluating Agent-Based Program Repair at Google (arxiv.org)
6 months ago |
azhenley
| arxiv.org
|
frontpage
4
Intuiting TLS (kprotty.me)
6 months ago |
azhenley
| kprotty.me
|
frontpage
2
Models, models every where, so let's have a think (surfingcomplexity.blog)
6 months ago |
azhenley
| surfingcomplexity.blog
|
newest
1
What users know and want to know about an agentic chatbot [pdf] (acm.org)
7 months ago |
azhenley
| acm.org
|
newest
3
Inside Racket, Seminar (github.com/racket)
7 months ago |
azhenley
| github.com
|
newest
5
Locks, leases, fencing tokens, FizzBee (surfingcomplexity.blog)
7 months ago |
azhenley
| surfingcomplexity.blog
|
frontpage
2
The Wizard Engine: A WASM virtual machine for research and teaching (github.com/titzer)
7 months ago |
azhenley
| github.com
|
newest
2
AI and ML Study Notes (yaaang.notion.site)
7 months ago |
azhenley
| notion.site
|
newest
2
Racket's Math Library (racket-lang.org)
7 months ago |
azhenley
| racket-lang.org
|
newest
1
A solution to off-by-one errors in Racket based on XKCD (github.com/shriram)
7 months ago |
azhenley
| github.com
|
newest
3
How can we exploit domestic robots' idle time? [pdf] (adwaitsharma.com)
7 months ago |
azhenley
| adwaitsharma.com
|
newest
1
CMU Course: Software Engineering for Startups (cmu-17-356.github.io)
7 months ago |
azhenley
| github.io
|
newest
1
Scroll Buddy (scrollbuddy.com)
7 months ago |
azhenley
| scrollbuddy.com
|
newest
1
Distinguishing GUI Component States for Blind Users Using LLMs (acm.org)
7 months ago |
azhenley
| acm.org
|
newest
3
Our interfaces have lost their senses (wattenberger.com)
7 months ago |
azhenley
| wattenberger.com
|
newest
2
Wizards and Warriors (2015) (ericlippert.com)
7 months ago |
azhenley
| ericlippert.com
|
newest
1
A Platform for Dialogue-Based Computational Problem Solving with Generative AI (arxiv.org)
7 months ago |
azhenley
| arxiv.org
|
newest
1
The False Summit (jeremyaboyd.com)
7 months ago |
azhenley
| jeremyaboyd.com
|
newest
1
TableTalk: Scaffolding Spreadsheet Development with a Language Agent (arxiv.org)
7 months ago |
azhenley
| arxiv.org
|
newest
1
Why Android Gesture Navigation Sucks (unhexium.net)
7 months ago |
azhenley
| unhexium.net
|
newest
1
Racket v8.16 (racket-lang.org)
7 months ago |
azhenley
| racket-lang.org
|
newest
1
Measuring the Real Economic Impact of AI Agents (medium.com/sadasant)
7 months ago |
azhenley
| medium.com
|
newest
2
Cognitive Engagement Techniques with AI-Generated Code for Enhanced Learning [pdf] (austinhenley.com)
8 months ago |
azhenley
| austinhenley.com
|
newest
1
Program Merge: What's deep learning got to do with it? (acm.org)
8 months ago |
azhenley
| acm.org
|
newest
2
An Empirical Study of Date and Time Bugs in Open-Source Python Software [pdf] (padhye.org)
8 months ago |
azhenley
| padhye.org
|
newest
1
TableTalk: Scaffolding Spreadsheet Development with a Language Agent (arxiv.org)
8 months ago |
azhenley
| arxiv.org
|
newest
1
Startups, Impact, and the Search for Meaning (mdwdotla.medium.com)
8 months ago |
azhenley
| medium.com
|
newest
2
Clip: Copy glob files to the clipboard for easy context gathering for AI (github.com/jflam)
8 months ago |
azhenley
| github.com
|
newest
5
The Life of a Bytecode Language (medium.com/better-programming)
8 months ago |
azhenley
| medium.com
|
frontpage
1
Students' Use of GitHub Copilot for Working with Large Code Base (acm.org)
8 months ago |
azhenley
| acm.org
|
newest
3
UICopilot: Automating UI Synthesis via Code Generation from Webpage Designs (openreview.net)
8 months ago |
azhenley
| openreview.net
|
newest
2
AI-generated tools can make programming more fun (geoffreylitt.com)
8 months ago |
azhenley
| geoffreylitt.com
|
newest
31
Neut Programming Language (vekatze.github.io)
8 months ago |
azhenley
| github.io
|
best
5
My startup journey with BYBE (drewknight.com)
8 months ago |
azhenley
| drewknight.com
|
frontpage
3
Make It Happen (dubroy.com)
8 months ago |
azhenley
| dubroy.com
|
newest
3
Resilience: Some Key Ingredients (surfingcomplexity.blog)
8 months ago |
azhenley
| surfingcomplexity.blog
|
newest
1
NoLiMa: Long-Context Evaluation Beyond Literal Matching (arxiv.org)
8 months ago |
azhenley
| arxiv.org
|
newest
1
The JIT Calculator Challenge (ochagavia.nl)
8 months ago |
azhenley
| ochagavia.nl
|
frontpage
1
The JIT Calculator Challenge (ochagavia.nl)
8 months ago |
azhenley
| ochagavia.nl
|
newest
1
I started and sold an alcohol rebates tech company (drewknight.com)
8 months ago |
azhenley
| drewknight.com
|
newest
1
NoLiMa: Long-Context Evaluation Beyond Literal Matching (arxiv.org)
8 months ago |
azhenley
| arxiv.org
|
newest
1
Xodot: Share Your Godot Games on iOS (la-terminal.net)
8 months ago |
azhenley
| la-terminal.net
|
newest
1
AI Markup: From Syntax to Execution Graphs in Agentic Workflows (medium.com/sadasant)
8 months ago |
azhenley
| medium.com
|
newest
2
I started and sold an alcohol rebates company (drewknight.com)
8 months ago |
azhenley
| drewknight.com
|
newest
2
Xodot: Share Your Godot Games on iOS (la-terminal.net)
8 months ago |
azhenley
| la-terminal.net
|
newest
31
What Makes a Great Software Engineer (Dissertation) (2016) [pdf] (washington.edu)
8 months ago |
azhenley
| washington.edu
|
frontpage
3
Resilience: Some Key Ingredients (surfingcomplexity.blog)
8 months ago |
azhenley
| surfingcomplexity.blog
|
newest
1
NoLiMa: Long-Context Evaluation Beyond Literal Matching (arxiv.org)
8 months ago |
azhenley
| arxiv.org
|
newest
< Prev
Next >