Michael Kohn - tin can phone modem
mikekohn.net·1d
🧪Cassette Hacks
Satellite Navigation and Control using Physics-Informed Artificial Potential Field and Sliding Mode Controller
arxiv.org·1d
🎮Game Cartridge Emulation
Tools Amplify Culture – Platform Engineering
platformengineering.org·2h·
Discuss: Hacker News
❄️Nix Adoption
Experimenting with ACL2 and Claude Code
mikedodds.org·1d·
Discuss: Hacker News
👑Isabelle
Thinking on upgrade my "microlab"
preview.redd.it·3d·
Discuss: r/homelab
🖥Home Lab Setup
Building Luca: An AI Agent for Finance and Accounting Workflows
leapfin.com·7h·
Discuss: Hacker News
🔗Constraint Handling
State of Opinion – Programming Languages – Autumn 2025 Edition
xlii.space·12h·
Discuss: Hacker News
🔗Concatenative Languages
Making performant Python bindings to compiled code
kylebarron.dev·4d·
Discuss: Hacker News
🦀Rust Macros
Beating the L1 cache with value speculation (2021)
mazzo.li·5d·
Discuss: Lobsters, Hacker News, Hacker News
⚡CPU Microarchitecture
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·23h·
Discuss: Hacker News
🎧Learned Audio
Can an LLM Be a Black-Box Optimizer?
posgeo.wordpress.com·17h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Dynamic Levels of Detail in Evolve
evolvebenchmark.com·3d·
Discuss: Hacker News
🖥️Terminal Renaissance
The best 1TB microSD Express card for your Switch 2 is still 28% off — save $62 on the Lexar Play Pro 1TB
tomshardware.com·2d
🎮Cartridge Preservation
FEX 2510 Brings More Optimizations For x86_64 Binaries On AArch64
phoronix.com·2d
🎯Emulator Accuracy
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·1d·
Discuss: Hacker News
⬌Bidirectional Typing
Hosting a static site on an original Raspberry Pi [Alpine Linux "diskless" mode]
cablespaghetti.dev·3d·
Discuss: Hacker News
🔌Operating system internals
Letting Claude make art with code
nuudeli.com·2d·
Discuss: Hacker News
🌊Streaming Algorithms
Node.js vs Go in Practice: Performance Comparison of chaos-proxy and chaos-proxy-go
dev.to·3h·
Discuss: DEV
⚡gRPC
LLC Artificial Intelligence Trained to Lie by Omission
dev.to·11h·
Discuss: DEV
📏Code Metrics
Unlocking AI Efficiency: Harnessing Symmetry for Lightning-Fast Optimization
dev.to·2h·
Discuss: DEV
⚡Z3 Optimization