Next >
1
The AI Remote Has Arrived: Let Go of the Knob (rahulpandita.me)
3 days ago | azhenley | rahulpandita.me | newest
2
Ask HN: What happened to W3C's PROV initiative to add provenance to the Web?
4 days ago | azhenley | ycombinator.com | newest
1
Why Your Open Source Startup Is Going to Fail (2023) (scarf.sh)
4 days ago | azhenley | scarf.sh | newest
2
Usability barriers for liquid types [pdf] (catarinagamboa.github.io)
5 days ago | azhenley | github.io | frontpage
4
What a $500k grants looks like (2022) (austinhenley.com)
6 days ago | azhenley | austinhenley.com | frontpage
3
Gameboy Camera Photography (ekeler.com)
a week ago | azhenley | ekeler.com | newest
2
Migrating Code at Scale with LLMs at Google (arxiv.org)
2 weeks ago | azhenley | arxiv.org | newest
1
YAML Tool Calls (jeremyaboyd.com)
2 weeks ago | azhenley | jeremyaboyd.com | newest
1
Gamer Games for Non-Gamers (hillelwayne.com)
2 weeks ago | azhenley | hillelwayne.com | newest
1
What do professional so ware developers need to know to succeed in an age of AI? (arxiv.org)
2 weeks ago | azhenley | arxiv.org | newest
1
Casio F-91W (wikipedia.org)
2 weeks ago | azhenley | wikipedia.org | newest
3
Stanford CS336: Language Modeling from Scratch [video] (youtube.com)
3 weeks ago | azhenley | youtube.com | newest
2
LLMs: The Missing Compiler for Unix Tools (tselai.com)
3 weeks ago | azhenley | tselai.com | newest
2
"What went well" is more than just a pat on the back (surfingcomplexity.blog)
3 weeks ago | azhenley | surfingcomplexity.blog | newest
2
What makes a good side project? (austinhenley.com)
3 weeks ago | azhenley | austinhenley.com | newest
1
Ohm.js Grammar Generator (gcrois.github.io)
4 weeks ago | azhenley | github.io | newest
2
It must be worth it even if it doesn't work (2021) (world.hey.com)
4 weeks ago | azhenley | hey.com | newest
6
Python 3.13.5 is now available (python.org)
4 weeks ago | azhenley | python.org | frontpage
41
Solving LinkedIn Queens with SMT (buttondown.com/hillelwayne)
4 weeks ago | azhenley | buttondown.com | best
1
Continuous AI from GitHub Next (githubnext.com)
4 weeks ago | azhenley | githubnext.com | newest
63
AI at Amazon: A case study of brittleness (surfingcomplexity.blog)
a month ago | azhenley | surfingcomplexity.blog | best
1
"This is not vis" (niklaselmqvist.medium.com)
a month ago | azhenley | medium.com | newest
3
Subtype Inference by Example (polybdenum.com)
a month ago | azhenley | polybdenum.com | frontpage
4
Lightweight Diagramming for Lightweight Formal Methods (brownplt.org)
a month ago | azhenley | brownplt.org | frontpage
3
AI at Amazon: A case study of brittleness (surfingcomplexity.blog)
a month ago | azhenley | surfingcomplexity.blog | newest
4
105 Vibe-Coded Tools (simonwillison.net)
a month ago | azhenley | simonwillison.net | frontpage
33
Mapping latitude and longitude to country, state, or city (austinhenley.com)
a month ago | azhenley | austinhenley.com | best
2
Dijkstra never took a biology course (surfingcomplexity.blog)
a month ago | azhenley | surfingcomplexity.blog | newest
1
Securing a Form on the Internet: Still Pretty Difficult (serverascode.com)
a month ago | azhenley | serverascode.com | newest
19
What works (and doesn't) selling formal methods (galois.com)
a month ago | azhenley | galois.com | best
2
GitHub Copilot Spaces (github.blog)
a month ago | azhenley | github.blog | newest
2
What Works (and Doesn't) Selling Formal Methods (galois.com)
a month ago | azhenley | galois.com | newest
1
The Zen of Polymorphism [video] (youtube.com)
a month ago | azhenley | youtube.com | newest
1
How React server components work: an in-depth guide (plasmic.app)
a month ago | azhenley | plasmic.app | newest
1
Use VS Code to build AI apps and agents [video] (youtube.com)
a month ago | azhenley | youtube.com | newest
1
Error Messages as Rationale Reconstructions [Dissertation] [pdf] (barik.net)
a month ago | azhenley | barik.net | newest
1
Why I Use WebAssembly (nasso.dev)
a month ago | azhenley | nasso.dev | newest
1
A Garbage Collection Strategy (irreal.org)
a month ago | azhenley | irreal.org | newest
43
Hyper Typing (pscanf.com)
a month ago | azhenley | pscanf.com | best
1
Labeling a root cause is predicting the future, poorly (surfingcomplexity.blog)
a month ago | azhenley | surfingcomplexity.blog | newest
1
Hyper Typing (pscanf.com)
a month ago | azhenley | pscanf.com | newest
1
When a bad analysis is worse than none at all (surfingcomplexity.blog)
2 months ago | azhenley | surfingcomplexity.blog | newest
1
Python Internals (2010) (thegreenplace.net)
2 months ago | azhenley | thegreenplace.net | newest
2
Taking Learning Seriously (dubroy.com)
2 months ago | azhenley | dubroy.com | newest
3
PEG Parsing Series by Guido von Rossum (2019) (medium.com/gvanrossum_83706)
2 months ago | azhenley | medium.com | frontpage
1
Where are the proactive AI coding tools? (austinhenley.com)
2 months ago | azhenley | austinhenley.com | newest
2
Discovery Agent: Agentic Setup, Build, and Testing of Repositories (githubnext.com)
2 months ago | azhenley | githubnext.com | newest
1
Progressive Dehancement (dbushell.com)
2 months ago | azhenley | dbushell.com | newest
1
You can't prevent your last outage, no matter how hard you try (surfingcomplexity.blog)
2 months ago | azhenley | surfingcomplexity.blog | newest
2
My first experience using Swift, SwiftUI, and Xcode (2023) (austinhenley.com)
2 months ago | azhenley | austinhenley.com | newest
2
Agentic Bug Reproduction for Effective Automated Program Repair at Google (arxiv.org)
2 months ago | azhenley | arxiv.org | newest
3
Good models protect us from bad models (surfingcomplexity.blog)
2 months ago | azhenley | surfingcomplexity.blog | newest
2
The design of software engineering course projects (austinhenley.com)
2 months ago | azhenley | austinhenley.com | newest
3
Machine Learning in Production: From Models to Products (Free Textbook) (mlip-cmu.github.io)
2 months ago | azhenley | github.io | newest
1
The world of compiler backends (medium.com/packt-hub)
3 months ago | azhenley | medium.com | newest
90
Programming languages should have a tree traversal primitive (tylerglaiel.com)
3 months ago | azhenley | tylerglaiel.com | best
18
Requirements change until they don't (buttondown.com/hillelwayne)
3 months ago | azhenley | buttondown.com | frontpage
2
The design of software engineering course projects (austinhenley.com)
3 months ago | azhenley | austinhenley.com | newest
1
Prompts Are Programs Too: How Developers Build Software Containing Prompts (arxiv.org)
3 months ago | azhenley | arxiv.org | newest
3
Requirements change until they don't (buttondown.com/hillelwayne)
3 months ago | azhenley | buttondown.com | newest
3
Microsoft's Platform Engineering Guide (microsoft.com)
3 months ago | azhenley | microsoft.com | newest
2
A Comprehensive Benchmark for C-to-Safe-Rust Transpilation (arxiv.org)
3 months ago | azhenley | arxiv.org | newest
1
Assistance or Disruption? Evaluating the Design of Proactive AI Programming (arxiv.org)
3 months ago | azhenley | arxiv.org | newest
1
All Models Are Wrong, Some Are Useful: Model Selection with Limited Labels (blackhc.net)
3 months ago | azhenley | blackhc.net | newest
1
When is round-trip floating point radix conversion exact? (johndcook.com)
3 months ago | azhenley | johndcook.com | newest
4
Microsoft's Platform Engineering Guide (microsoft.com)
3 months ago | azhenley | microsoft.com | frontpage
1
Teach Scrum with Minecraft (2022) (medium.com/agileinsider)
3 months ago | azhenley | medium.com | newest
2
"All Roads Lead to ChatGPT": How AI Is Eroding Social Interactions (arxiv.org)
3 months ago | azhenley | arxiv.org | newest
1
Avoiding and Exploiting JavaScript's Warts (might.net)
3 months ago | azhenley | might.net | newest
2
Three Years of Investing in Games (robin-guo.com)
3 months ago | azhenley | robin-guo.com | newest
3
All Databases Are Just Files (tselai.com)
3 months ago | azhenley | tselai.com | frontpage
1
The Aspire Compiler (medium.com/davidfowl)
3 months ago | azhenley | medium.com | newest
1
What is Service-level Fault Injection Testing? (2021) (christophermeiklejohn.com)
3 months ago | azhenley | christophermeiklejohn.com | newest
2
Miscellaneous Mathematical Symbols (johndcook.com)
3 months ago | azhenley | johndcook.com | frontpage
26
Calypso: LLMs as Dungeon Masters' Assistants [pdf] (andrewhead.info)
3 months ago | azhenley | andrewhead.info | frontpage
2
We are not bits: AI and dehumanization (medium.com/bits-and-behavior)
3 months ago | azhenley | medium.com | newest
3
Why AI Still Struggles with What Isn't There (utk.edu)
3 months ago | azhenley | utk.edu | newest
1
Ivie: Lightweight Anchored Explanations of Just-Generated Code [pdf] (andrewhead.info)
3 months ago | azhenley | andrewhead.info | newest
3
Bespoke GUIs on the Fly (2023) (austinhenley.com)
3 months ago | azhenley | austinhenley.com | newest
2
Model Error (surfingcomplexity.blog)
3 months ago | azhenley | surfingcomplexity.blog | newest
4
Rust 1.86.0 (rust-lang.org)
3 months ago | azhenley | rust-lang.org | newest
3
Evaluating Agent-Based Program Repair at Google (arxiv.org)
3 months ago | azhenley | arxiv.org | frontpage
4
Intuiting TLS (kprotty.me)
3 months ago | azhenley | kprotty.me | frontpage
2
Models, models every where, so let's have a think (surfingcomplexity.blog)
3 months ago | azhenley | surfingcomplexity.blog | newest
1
What users know and want to know about an agentic chatbot [pdf] (acm.org)
4 months ago | azhenley | acm.org | newest
3
Inside Racket, Seminar (github.com/racket)
4 months ago | azhenley | github.com | newest
5
Locks, leases, fencing tokens, FizzBee (surfingcomplexity.blog)
4 months ago | azhenley | surfingcomplexity.blog | frontpage
2
The Wizard Engine: A WASM virtual machine for research and teaching (github.com/titzer)
4 months ago | azhenley | github.com | newest
2
AI and ML Study Notes (yaaang.notion.site)
4 months ago | azhenley | notion.site | newest
2
Racket's Math Library (racket-lang.org)
4 months ago | azhenley | racket-lang.org | newest
1
A solution to off-by-one errors in Racket based on XKCD (github.com/shriram)
4 months ago | azhenley | github.com | newest
3
How can we exploit domestic robots' idle time? [pdf] (adwaitsharma.com)
4 months ago | azhenley | adwaitsharma.com | newest
1
CMU Course: Software Engineering for Startups (cmu-17-356.github.io)
4 months ago | azhenley | github.io | newest
1
Scroll Buddy (scrollbuddy.com)
4 months ago | azhenley | scrollbuddy.com | newest
1
Distinguishing GUI Component States for Blind Users Using LLMs (acm.org)
4 months ago | azhenley | acm.org | newest
3
Our interfaces have lost their senses (wattenberger.com)
4 months ago | azhenley | wattenberger.com | newest
2
Wizards and Warriors (2015) (ericlippert.com)
4 months ago | azhenley | ericlippert.com | newest
1
A Platform for Dialogue-Based Computational Problem Solving with Generative AI (arxiv.org)
4 months ago | azhenley | arxiv.org | newest
1
The False Summit (jeremyaboyd.com)
4 months ago | azhenley | jeremyaboyd.com | newest
1
TableTalk: Scaffolding Spreadsheet Development with a Language Agent (arxiv.org)
4 months ago | azhenley | arxiv.org | newest
Next >