571
Leanstral 1.5: Proof abundance for all
The most powerful AI platform for enterprises. Customize, fine-tune, and deploy AI assistants, autonomous agents, and multimodal AI with open models.
New
The latest blog posts to take off on Hacker News. 1,421 posts.
572
Software, from First Principles
How electrons flowing through billions of microscopic switches etched into silicon become arithmetic, memory, and the software you use every day.
573
Clojure 1.13 adds support for checked keys
Clojure 1.13.0-alpha1 is now available! Find download and usage information on the Downloads page.
574
575
No LLM Code in Dependencies
I've spent about 100 hours of work over the past month to make sure git-annex can build without dependencies that contain LLM generated code. At least so far.
576
Kimi K2.7 Code is generally available in GitHub Copilot
Kimi K2.7 Code, an open-weight model, is now generally available in GitHub Copilot. This is the first open-weight model offered as a selectable option in the Copilot model picker, giving…
577
Qualcomm Linux 2.0
Unified code base. Upstream first. No fork. SoC agnostic. Learn how you can build with Qualcomm Linux 2.0
578
Learn Vim motions with an ice-cream van
A free browser game that teaches real Vim motions. The van is your cursor, the town is your text. Serve every customer under par.
579
Hanami 3.0: In Full Bloom
New mailers, i18n, and Minitest. Your apps faster by default. Our most complete Hanami yet!
580
I ported Kubernetes to the browser
Almost 100,000 lines of LLM-generated code in 2 months, and none of it is slop.
581
Looking Ahead to Postgres 19
Discover the top PostgreSQL 19 features, including built-in REPACK CONCURRENTLY, SQL property graph queries (SQL/PGQ), and logical replication updates.
582
Hunting a 16-year-old SQLite WAL bug with TLA+
This article was written by Marco Manino and Alberto Carretero, dqlite team at Canonical. 1. Anatomy of a SQLite bug Recently SQLite published a new version with a fix to a long-standing bug in the way that the Write Ahead Log (WAL) is checkpointed that leads to the corruption of the database. The important aspect […]
583
Parse, Don't Validate – In a Language That Doesn't Want You To
Applying Alexis King's parse-don't-validate principle in TypeScript, where the type system fights back just enough to be annoying.
584
Zluda 6 release (run unmodified CUDA applications on non-Nvidia GPUs)
Hi, and welcome to the latest ZLUDA update! Since I skipped the last update, this special issue covers all the developments made in ZLUDA since the start of the year. We now have two new major workloads: PhysX ( PhysX pre-alpha ) and Blender ( Textures support ). Much of this overlaps with Much improved Windows…
585
WATaBoy: JIT-Ing Game Boy Instructions to WASM Beats a Native Interpreter
A Game Boy emulator runs faster than a native interpreter by dynamically recompiling SM83 to WebAssembly, effectively making JIT possible on iOS.
586
Building Principia for Windows XP
Back in the day when Principia originally released for Windows in 2014, the game would run on versions as far back as Windows XP. Given that Principia 1.4 was released while Windows XP still had mainstream support, this of course made sense at the time, and there was no real reason not to support it given that the…
587
Ante: A new way to blend borrow checking and reference counting
Ante has taken the first step towards something we all thought was impossible: blending reference counting and borrow checking without run-time crashes. 0
588
The cost YAGNI was never about
If you think YAGNI is about saving effort, cheap generation should retire it. It doesn't. Here's why.
589
Reflections on software engineering in the age of AI
For those of you who don’t know, when I’m not writing novels, I spend my days as a software engineer, writing code. The software industry these days relies heavily on artificial intelligence. Because it has studied trillions of lines of publicly accessible source code, because code solves problems with testable right…
590
DLL that was not present in memory despite not being formally unloaded
Figuring out how it went missing.
591
WAL-RUS: a Rust Rewrite of WAL-G for PostgreSQL Backups
How we built WAL-RUS, an open-source Rust-based Postgres backup tool that reduces virtual memory usage by over 70% compared to WAL-G while maintaining full compatibility.
592
Stroustrup's Rule (2024)
Beginners need explicit syntax, experts want terse syntax.
593
Factorio 2.1 Experimental Release
Hello, we hope your week has been pleasant.
594
595
Engineering for Bounded Cognition
The mind that builds software is far smaller than the software it builds, and almost everything good in engineering is a way of living with that gap.
596
Parallel Parentheses Matching
The parallel parentheses matching problem can be parallelized in different manners depending on the use case and is a good example of how stacks map to parallel hardware.
597
Deno 2.9
`deno desktop` for building native desktop apps from web tech, first-class migration from npm/pnpm/yarn/Bun, CSS module imports, snapshot and parameterized testing, smaller `deno compile --bundle` binaries, and Node.js 26 compatibility.
598
Model Training as Code
Model training has grown complex enough to require many specialised stages and teams, and manual coordination between them doesn’t scale. At Aleph Alpha, we’ve built Savanna, a model factory that implements the entire training pipeline in code.
599
Regular expressions that work “everywhere”
What regular expression features work everywhere. Very few unless you relax your definition of "everywhere."
600
Dolphin Emulator Progress Release 2606
Welcome to the Progress Report for Dolphin Release 2606. We usually prefer to launch toward the beginning of the month, but a slew of important, large, and technically challenging changes had us working overtime. Strap in, because we have a lot to cover! For April Fool's we teased that Dolphin now had support for the…