- 33You can't parse XML with regex. Let's do it anyways (sdomi.pl)
- 210ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com)
- 64Newton: physics simulation engine built upon NVIDIA Warp (github.com)
- 30Space Mission Options for Reconnaissance and Mitigation of Asteroid 2024 YR4 (arxiv.org)
- 210A comparison of Ada and Rust, using solutions to the Advent of Code (github.com)
- 116Blog Feeds (blogfeeds.net)
- 15Mod. 5140 - IBM's First Laptop Computer (richardsapperdesign.com)
- 43Matrix Core Programming on AMD GPUs (salykova.github.io)
- 9Parrot – type-safe SQL in Gleam, supports SQlite, PostgreSQL and MySQL (github.com)
- 32XiangShan Vector Floating-Point Unit Design (docs.xiangshan.cc)
- 15One Battle After Another: PTA and the Death of Revolutionary Cinema (letterboxd.com)
- 68Show HN: Run – a CLI universal code runner I built while learning Rust (github.com)
- 74How to inject knowledge efficiently? Knowledge infusion scaling law for LLMs (arxiv.org)
- 23Mathematical Models/Algorithms for Optimization of Lego Construction Problems [pdf] (backend.orbit.dtu.dk)
- 5Machine Learnability as a Measure of Order in Aperiodic Sequences (arxiv.org)
- 22AI-powered open-source code laundering (github.com)
- 39NSA and IETF: Can an attacker purchase standardization of weakened cryptography? (blog.cr.yp.to)
- 195Self-hosting email like it's 1984 (maxadamski.com)
- 208Earth was born dry until a cosmic collision made it a blue planet (sciencedaily.com)
- 67Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces (github.com)
- 22Borehole Oscillators (gregegan.net)
- 237Paged Out Issue #7 [pdf] (pagedout.institute)
- 135$912 energy independence without red tape (sunboxlabs.com)
- 144Thunderscan: A clever device transforms a printer into a scanner (2004) (folklore.org)
- 160The Buchstabenmuseum Berlin is closing (buchstabenmuseum.de)
- 136Show HN: Cobalt – a pixel-art painting studio for the Nintendo DS (benbridle.com)
- 284The UK is still trying to backdoor encryption for Apple users (eff.org)
- 60Baseball durations after the pitch clock (leancrew.com)
- 125Five years as a startup CTO: How, why, and was it worth it? (2024) (distinctplace.com)
- 281How I influence tech company politics as a staff software engineer (seangoedecke.com)