azhenley

9 ms·

181.
What every CS major should know(matt.might.net)
3 points by azhenley 8mo ago|0 comments
182.
Guido van Rossum Interviews Thomas Wouters (Python Core Dev)(gvanrossum.github.io)
98 points by azhenley 8mo ago|11 comments
183.
ACM's Expression of Concern on a 2024 paper(cacm.acm.org)
2 points by azhenley 8mo ago|0 comments
184.
Coding Agents Wrote a Chess Engine in Pure TeX(blog.mathieuacher.com)
2 points by azhenley 8mo ago|1 comments
185.
Edge Case Poisoning(buttondown.com)
2 points by azhenley 8mo ago|0 comments
186.
QED in Context: An Observation Study of Proof Assistant Users [pdf](andrewhead.info)
1 points by azhenley 8mo ago|0 comments
187.
by azhenley 8mo ago
It was a convention to denote a variation or version. Not sure how the trend started though.
188.
Racket v9.1(blog.racket-lang.org)
159 points by azhenley 8mo ago|15 comments
189.
Compiler Education Deserves a Revolution(thunderseethe.dev)
6 points by azhenley 8mo ago|0 comments
190.
Claude for Government(claude.com)
6 points by azhenley 8mo ago|0 comments
191.
Some silly Z3 scripts I wrote(hillelwayne.com)
46 points by azhenley 8mo ago|9 comments
192.
Ohm v18(ohmjs.org)
1 points by azhenley 8mo ago|0 comments
193.
Metabolism (Architecture)(en.wikipedia.org)
2 points by azhenley 8mo ago|0 comments
194.
Code City: A visualization of large codebases that you can explore(wettel.github.io)
2 points by azhenley 8mo ago|0 comments
195.
PEP 747 – Annotating Type Forms(peps.python.org)
2 points by azhenley 8mo ago|0 comments
196.
PEP 814 – Add frozendict built-in type(peps.python.org)
2 points by azhenley 8mo ago|0 comments
197.
by azhenley 8mo ago
A few of my games from 2009 are on here! Very cool.
198.
Lots of AI SRE, no AI incident management(twitter.com)
2 points by azhenley 8mo ago|0 comments
199.
Generative Agents: Interactive Simulacra of Human Behavior (2023) [pdf](dl.acm.org)
2 points by azhenley 8mo ago|0 comments
200.
by azhenley 8mo ago
You deduct the expenses you paid, not the income you hoped to earn.
201.
Nobody knows how the whole system works(surfingcomplexity.blog)
361 points by azhenley 8mo ago|219 comments
202.
Rewriting Pycparser with the Help of an LLM(eli.thegreenplace.net)
3 points by azhenley 9mo ago|0 comments
203.
AgentBuilder: Scaffolds for Prototyping User Experiences of Interface Agents(arxiv.org)
4 points by azhenley 9mo ago|0 comments
204.
by azhenley 9mo ago
> we use 256-bit integers in our hot paths and go up to 564 bits for certain edge cases. Why 564 bits? That’s 70.5 bytes.
205.
Ashby taught us we have to fight fire with fire(surfingcomplexity.blog)
3 points by azhenley 9mo ago|0 comments
206.
by azhenley 9mo ago
Several years ago, I did write that every programmer should attempt to write a browser: https://austinhenley.com/blog/morechallengingprojects.html :)
207.
Because Coordination Is Expensive(surfingcomplexity.blog)
4 points by azhenley 9mo ago|0 comments
208.
What's New in Python 3.15(docs.python.org)
2 points by azhenley 9mo ago|0 comments
209.
Fighter Mafia(en.wikipedia.org)
2 points by azhenley 9mo ago|0 comments
210.
Building a JavaScript runtime in one month(themackabu.dev)
5 points by azhenley 9mo ago|2 comments

More ›