azhenley

18 ms·

451.
by azhenley 1y ago
Discussed heavily 25 days ago: https://news.ycombinator.com/item?id=43957010
452.
by azhenley 1y ago
Good thinking. I discuss population density, cities near borders, and narrow borders in the last section.
453.
Mapping latitude and longitude to country, state, or city(austinhenley.com)
115 points by azhenley 1y ago|48 comments
454.
by azhenley 1y ago
> The post got linked by Hackernews and Reddit. As is usual the majority of comments did not talk about the actual content but instead were focused on two tangential things. Too true, and this is too good. Start with part 1 (and the co
455.
Dijkstra never took a biology course(surfingcomplexity.blog)
2 points by azhenley 1y ago|2 comments
456.
Securing a Form on the Internet: Still Pretty Difficult(serverascode.com)
6 points by azhenley 1y ago|0 comments
457.
What works (and doesn't) selling formal methods(galois.com)
144 points by azhenley 1y ago|75 comments
458.
GitHub Copilot Spaces(github.blog)
2 points by azhenley 1y ago|0 comments
459.
What Works (and Doesn't) Selling Formal Methods(galois.com)
3 points by azhenley 1y ago|0 comments
460.
The Zen of Polymorphism [video](youtube.com)
1 points by azhenley 1y ago|0 comments
461.
How React server components work: an in-depth guide(plasmic.app)
1 points by azhenley 1y ago|0 comments
462.
Use VS Code to build AI apps and agents [video](youtube.com)
2 points by azhenley 1y ago|0 comments
463.
by azhenley 1y ago
You should try Mirror. The LLM-powered programming-by-example programming language I made: signature is_even(x: number) -> bool example is_even(0) -> true example is_even(1) -> false example is_even(222) -> true example is_even(
464.
by azhenley 1y ago
So many agent tools now. What is the special sauce of each?
465.
by azhenley 1y ago
Looks like their GitHub Copilot Workspace. https://githubnext.com/projects/copilot-workspace
466.
by azhenley 1y ago
This is beautiful. I think I'll add a similar page to my website. Side projects are what I look forward to! Right now, I just have my blog + github as a messy portfolio of personal projects, but I like this much better.
467.
Error Messages as Rationale Reconstructions [Dissertation] [pdf](static.barik.net)
1 points by azhenley 1y ago|0 comments
468.
Why I Use WebAssembly(nasso.dev)
2 points by azhenley 1y ago|0 comments
469.
A Garbage Collection Strategy(irreal.org)
2 points by azhenley 1y ago|0 comments
470.
Hyper Typing(pscanf.com)
104 points by azhenley 1y ago|78 comments
471.
Labeling a root cause is predicting the future, poorly(surfingcomplexity.blog)
2 points by azhenley 1y ago|0 comments
472.
Hyper Typing(pscanf.com)
1 points by azhenley 1y ago|0 comments
473.
by azhenley 1y ago
If you had a blog or YouTube channel where you just went around to open source projects optimizing them down, I’d be very interested.
474.
When a bad analysis is worse than none at all(surfingcomplexity.blog)
2 points by azhenley 1y ago|0 comments
475.
Python Internals (2010)(eli.thegreenplace.net)
1 points by azhenley 1y ago|0 comments
476.
Taking Learning Seriously(dubroy.com)
2 points by azhenley 1y ago|0 comments
477.
PEG Parsing Series by Guido von Rossum (2019)(medium.com)
7 points by azhenley 1y ago|0 comments
478.
Where are the proactive AI coding tools?(austinhenley.com)
1 points by azhenley 1y ago|0 comments
479.
Discovery Agent: Agentic Setup, Build, and Testing of Repositories(githubnext.com)
2 points by azhenley 1y ago|0 comments
480.
Progressive Dehancement(dbushell.com)
1 points by azhenley 1y ago|0 comments

More ›