Proving that every program halts
ntietz.com·3d
👑Isabelle
Gemini CLI
simonwillison.net·16h·
Discuss: Hacker News
📟Terminals
Abusing copyright strings to trick software into thinking it’s running on your competitor’s PC
devblogs.microsoft.com·1d·
Discuss: Lobsters, Hacker News
🏺Kerberos Archaeology
A computer worth 7k$ and the question if it had internet
berti92.github.io·19h·
Discuss: Hacker News
🔓Hacking
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·1d
📝Concrete Syntax
Apps Script MCP Server
dev.to·14h·
Discuss: DEV
🔐CBOR
An in-depth look at the implementation of an Undo/Redo system in a large complex visual application
mlacast.com·2d·
Discuss: Hacker News, r/programming
💾Persistence Strategies
🧠 Solving LeetCode Until I Become Top 1% — Day `31`
dev.to·2h·
Discuss: DEV
🔢Bitwise Algorithms
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·2d·
Discuss: Lobsters, Hacker News, r/golang
⬆️Lambda Lifting
Explaining software and computational methods
blog.khinsen.net·1d·
Discuss: Hacker News
📝Concrete Syntax
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
From Zero to One: A Complete Guide to Implementing WeChat Sharing in HarmonyOS
dev.to·1d·
Discuss: DEV
⚡Modern Compression
Debugging memory leaks in Postgres, jemalloc edition
enterprisedb.com·2d·
Discuss: Hacker News
🗄️PostgreSQL WAL
Unity Game Optimization for Low-End Devices
dev.to·1d·
Discuss: DEV
🎯Emulator Accuracy
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1750830996145900）
dev.to·1d·
Discuss: DEV
🌐Network Protocols
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
I built a Swift GraphQL client that generates the query using macros
github.com·1h·
Discuss: Hacker News
✅Format Verification
Hong Mong 5 Development Treasure Case Sharing Cross-Thread Performance Optimization Guide
dev.to·12h·
Discuss: DEV
👁️System Observability
C++ Seeding Surprises (2015)
pcg-random.org·18h·
Discuss: Hacker News
🔢Bitwise Algorithms
Games run faster on SteamOS than Windows 11, Ars testing finds
arstechnica.com·14h·
Discuss: Hacker News
🎯Emulator Accuracy