Family Computing Interviews Jack Tramiel after Atari Purchase (1985)
computeradsfromthepast.substack.com·1d·
Discuss: Substack
💾Retro Computing
Flag this post
Show HN: I gamified passwords to make them easier to remember
passwordgame.apps.benthayer.com·21h·
Discuss: Hacker News
🎮Verification Games
Flag this post
Patching 68K Software – SimpleText
tinkerdifferent.com·2h·
Discuss: Hacker News
📺Vintage Apple
Flag this post
I Let AI Vote for Me in the Nix SC Election
jackson.dev·2d·
Discuss: Hacker News
❄️NixOS
Flag this post
CRA – The First Horizontal Regulation of the Software Industry [video]
redmonk.com·10h·
Discuss: Hacker News
❄️NixOS
Flag this post
Portable documents host new file formats
preludes.eu·1d·
Discuss: Hacker News
🔤Typography
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·10h·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
Do I want Coders to Code?
yeikoff.xyz·1d·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Ask HN: What made you improve your logical reasoning?
news.ycombinator.com·3h·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
Told myself I'd switch back to Windows after I get my RAM back... Now I don't think I'm ever going back to Windows
reddit.com·1d·
Discuss: r/linux
🔬Unikernels
Flag this post
[Tool] RE-Architect: Automated binary analysis with multiple decompilers + AI explanations
github.com·2h·
Discuss: r/programming
🔬Reverse Engineering
Flag this post
Wanted to say hello.
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Flag this post
Decoding Kiroween
dev.to·11h·
Discuss: DEV
⚙️Compiler Design
Flag this post
Generating Application Specific Go Documentation Using Go AST and Antora
dev.to·12h·
Discuss: DEV
🔧ppx
Flag this post
Secure Distributed Consensus Estimation under False Data Injection Attacks: A Defense Strategy Based on Partial Channel Coding
arxiv.org·20h
👁️Observability
Flag this post
Dusty, new HTTP server using async I/O and coroutines
github.com·2d·
Discuss: r/Zig
🌐Network Protocols
Flag this post
Planning my first homelab — need advice on storage & workflow setup
reddit.com·4h·
Discuss: r/homelab
🏠HomeLab
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·20h
🧩Parser Combinators
Flag this post
A portable picokernel for async I/O
ryansepassi.com·3d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Using FreeBSD to make self-hosting fun again
dev.to·1d·
Discuss: DEV
🖥Self-Hosting
Flag this post