azhenley's submissions

61.		"This is not vis" (niklaselmqvist.medium.com)
		1 point by azhenley 89 days ago \| past
62.		Subtype Inference by Example (polybdenum.com)
		27 points by azhenley 3 months ago \| past \| 10 comments
63.		Lightweight Diagramming for Lightweight Formal Methods (brownplt.org)
		24 points by azhenley 3 months ago \| past
64.		AI at Amazon: A case study of brittleness (surfingcomplexity.blog)
		4 points by azhenley 3 months ago \| past
65.		105 Vibe-Coded Tools (simonwillison.net)
		25 points by azhenley 3 months ago \| past \| 3 comments
66.		Mapping latitude and longitude to country, state, or city (austinhenley.com)
		115 points by azhenley 3 months ago \| past \| 48 comments
67.		Dijkstra never took a biology course (surfingcomplexity.blog)
		2 points by azhenley 3 months ago \| past \| 2 comments
68.		Securing a Form on the Internet: Still Pretty Difficult (serverascode.com)
		6 points by azhenley 3 months ago \| past
69.		What works (and doesn't) selling formal methods (galois.com)
		144 points by azhenley 3 months ago \| past \| 75 comments
70.		GitHub Copilot Spaces (github.blog)
		2 points by azhenley 3 months ago \| past
71.		What Works (and Doesn't) Selling Formal Methods (galois.com)
		3 points by azhenley 3 months ago \| past
72.		The Zen of Polymorphism [video] (youtube.com)
		1 point by azhenley 3 months ago \| past
73.		How React server components work: an in-depth guide (plasmic.app)
		1 point by azhenley 3 months ago \| past
74.		Use VS Code to build AI apps and agents [video] (youtube.com)
		2 points by azhenley 3 months ago \| past
75.		Error Messages as Rationale Reconstructions [Dissertation] [pdf] (barik.net)
		1 point by azhenley 3 months ago \| past
76.		Why I Use WebAssembly (nasso.dev)
		2 points by azhenley 3 months ago \| past
77.		A Garbage Collection Strategy (irreal.org)
		2 points by azhenley 3 months ago \| past
78.		Hyper Typing (pscanf.com)
		104 points by azhenley 3 months ago \| past \| 78 comments
79.		Labeling a root cause is predicting the future, poorly (surfingcomplexity.blog)
		2 points by azhenley 3 months ago \| past
80.		Hyper Typing (pscanf.com)
		1 point by azhenley 3 months ago \| past
81.		When a bad analysis is worse than none at all (surfingcomplexity.blog)
		2 points by azhenley 4 months ago \| past
82.		Python Internals (2010) (thegreenplace.net)
		1 point by azhenley 4 months ago \| past
83.		Taking Learning Seriously (dubroy.com)
		2 points by azhenley 4 months ago \| past
84.		PEG Parsing Series by Guido von Rossum (2019) (medium.com/gvanrossum_83706)
		7 points by azhenley 4 months ago \| past
85.		Where are the proactive AI coding tools? (austinhenley.com)
		1 point by azhenley 4 months ago \| past
86.		Discovery Agent: Agentic Setup, Build, and Testing of Repositories (githubnext.com)
		2 points by azhenley 4 months ago \| past
87.		Progressive Dehancement (dbushell.com)
		1 point by azhenley 4 months ago \| past
88.		You can't prevent your last outage, no matter how hard you try (surfingcomplexity.blog)
		3 points by azhenley 4 months ago \| past
89.		My first experience using Swift, SwiftUI, and Xcode (2023) (austinhenley.com)
		1 point by azhenley 4 months ago \| past
90.		Agentic Bug Reproduction for Effective Automated Program Repair at Google (arxiv.org)
		2 points by azhenley 4 months ago \| past
		More