Proving that every program halts
ntietz.com·3d
👑Isabelle
Firefox 141 Beta Lowering RAM Use On Linux But Still Benchmarking Behind Chrome
phoronix.com·2h·
Discuss: Hacker News
🕸️WASM Archives
Abusing copyright strings to trick software into thinking it’s running on your competitor’s PC
devblogs.microsoft.com·2d·
Discuss: Lobsters, Hacker News
🏺Kerberos Archaeology
A computer worth 7k$ and the question if it had internet
berti92.github.io·1d·
Discuss: Hacker News
🔓Hacking
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
My Pygame Evolution: Embracing Asyncio and Immutability for Scalable Design
dev.to·1d·
Discuss: DEV
⚡Effectful Programming
An in-depth look at the implementation of an Undo/Redo system in a large complex visual application
mlacast.com·3d·
Discuss: Hacker News, r/programming
💾Persistence Strategies
Building a Real-World Context-Aware Movie Chatbot Using Amazon Bedrock - Nova Pro
dev.to·19h·
Discuss: DEV
🎙️Whisper
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
AMD demo shows procedural generation cutting VRAM usage from 35GB to 51KB
techspot.com·2h·
Discuss: r/technews
🎯Emulator Accuracy
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·1d
⬆️Lambda Lifting
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·6h·
Discuss: Hacker News
✅Format Verification
C++ Seeding Surprises (2015)
pcg-random.org·22h·
Discuss: Hacker News
🔢Bitwise Algorithms
Hong Mong 5 Development Treasure Case Sharing Cross-Thread Performance Optimization Guide
dev.to·17h·
Discuss: DEV
👁️System Observability
Games run faster on SteamOS than Windows 11, Ars testing finds
arstechnica.com·19h·
Discuss: Hacker News, r/gaming
🎯Emulator Accuracy
20+ Years in Tech: Things We Wish We Knew Sooner • Daniel Terhorst-North & Kevlin Henney • GOTO 2024
youtube.com·2h
🔌Interface Evolution
Explaining software and computational methods
blog.khinsen.net·1d·
Discuss: Hacker News
📝Concrete Syntax
Programming Entry Level: how to interpreter
dev.to·1d·
Discuss: DEV
🔗Lisp