1261
Graphics livecoding in Common Lisp
Developing a Boids program from scratch without restarting it.
New
The latest blog posts to take off on Hacker News. 1,748 posts.
1262
MCP on AWS Lambda with MCPEngine
A virtual feature store for the modern AI stack
1263
How a 20 year old bug in GTA San Andreas surfaced in Windows 11 24H2
After over two decades, players are now forbidden from flying a seaplane, all thanks to undefined code behavior.
1264
How I blog with Obsidian, Hugo, GitHub, and Cloudflare
I’ve been using Obsidian for all my writing lately, and it’s been a game changer. The local-first model means everything lives as plain text on my machine, and with the Minimal theme, the interface stays clean and distraction-free. My vault lives in iCloud (Dropbox or Google Drive work too), so notes sync seamlessly…
1265
Advanced Python Features
A collection of advanced Python features that I've found interesting, underrated, or unique - as someone who's seen a lot of Python code.
1266
Pixel is a unit of length and area
When measuring the size of a two-dimensional digital picture, the unit pixel is used in a weird overloaded way. Sometimes, it is used as a unit of linear length. For example, each frame of an animation is 1920 pixels wide and 1080 pixels tall. The Cascading Style Sheets (CSS) web standard has px as a unit of length…
1267
Atuin Desktop: Runbooks That Run
Atuin Desktop looks like a doc, but runs like your terminal. Script blocks, embedded terminals, database clients and prometheus charts - all in one place.
1268
π0.5: A VLA with open-world generalization
Our latest generalist policy, π0.5, extends π0 and enables open-world generalization. Our new model can control a mobile manipulator to clean up an entirely new kitchen or bedroom.
1269
Algebraic Semantics for Machine Knitting
As programming languages researchers, we’re entitled to a certain level of mathematical rigor behind the languages we write and analyze. Programming languages have semantics , which are definitions of what statements in the language mean. We can use those semantics to do all sorts of useful things, like error…
1270
Cheating the Reaper in Go
Even though I am a C++ programmer at heart, Go fascinates me for none of the reasons you think. Go has made several interesting design decisions:
1271
LLM-powered tools amplify developer capabilities rather than replacing them
How LLM-powered programming tools amplify developer capabilities rather than replace them
1272
Tabular Programming: A New Paradigm for Expressive Computing
I've been exploring the m8 Dirtywave tracker for a few months now, and it's been a fascinating experience. If you're not familiar with it, the m8 is a portable music sequencer built on the Teensy platform that combines a minimal 8-button interface with a powerful tabular workflow. What makes it special isn't just its…
1273
Python’s new t-strings
Dave Peck's home on the web. Dave is an independent software developer, investor, and civic technologist.
1274
How I use Kate editor
I love the Kate Text editor. I use it for pretty much all the programming projects I do.…
1275
Things Zig comptime won't do
Es el disco de Odín. Tiene un solo lado. En la tierra no hay otra cosa que tenga un solo lado.
1276
Pretty State Machine Patterns in Rust (2016)
A computer scientist working in open source towards a more hopeful future.
1277
Layered Design in Go
This post will describe how I design my programs in Go. I needed this for work, and while I searched for a link, nothing quite fits my coding practices out there. The word “Layered” can pull up some fairly close descriptions, but I want to lay out what I do.
1278
Ultrathink is a Claude Code magic word
Extensive new documentation from Anthropic on how to get the best results out of their Claude Code CLI coding agent tool, which includes this fascinating tip: We recommend using the …
1279
1280
Claude Code: Best practices for agentic coding
Get more out of Claude Code: tell Claude what it can't see, give it a check to run, and enforce the rules that can't have exceptions.
1281
15,000 lines of verified cryptography now in Python
In November 2022, I opened issue 99108 on Python’s GitHub repository, arguing that after a recent CVE in its implementation of SHA3, Python should embrace verified code for all of its hash-related infrastructure.
1282
A New ASN.1 API for Python
We’re working on integrating an ASN.1 API into PyCA Cryptography, built on top of the same Rust ASN.1 implementation already used by Cryptography’s X.509 APIs.
1283
Haskelling My Python
Reimplementing Haskell lazy infinite lists using Python generators
1284
What do I think about Lua after shipping a project with 60k lines of code?
Lead programmer talks Lua’s flexibility, challenges, and integration with Defold game engine after 60k lines of code in Craftomation 101.
1285
SQLite transactions and virtual tables
In my previous post I introduced SQL virtual tables and how to use them in Go—registering modules per connection, defining schemas, and querying external sources as regular tables.
1286
Milwaukee M18 Battery Reverse Engineering
2023-01-01: This project has been ongoing for a while... now its time to post some of this info and see what comes of it. I have access to several junk Milwaukee M18 batteries. Age varies a little. I thought it would be 'fun' to reverse engineer a battery just to see how it functions... That is until I actually opened
1287
Cutting down Rust compile times from 30 to 2 minutes with one thousand crates
How we split Feldera into a thousand crates to use every core rustc can get, cutting compile times from 30 minutes to 2.
1288
The Halting Problem is a terrible example of NP-Harder
It's a justifiable copout, but it's still a copout.
1289
1290
Marching Events: What does iCalendar have to do with ray marching?
... and why signed distance functions are cool!