Family Computing Interviews Jack Tramiel after Atari Purchase (1985)
computeradsfromthepast.substack.com·1d·
Discuss: Substack
💾Retro Computing
Flag this post
Prefer boring technology
itwont.work·1d·
Discuss: Lobsters, Hacker News
📵Digital Minimalism
Flag this post
Continuous Architecture: A decade of designing for change
continuousarchitecture.com·11h·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
Show HN: I gamified passwords to make them easier to remember
passwordgame.apps.benthayer.com·18h·
Discuss: Hacker News
🎮Verification Games
Flag this post
I Let AI Vote for Me in the Nix SC Election
jackson.dev·2d·
Discuss: Hacker News
❄️NixOS
Flag this post
Portable documents host new file formats
preludes.eu·1d·
Discuss: Hacker News
🔤Typography
Flag this post
Think Weirder TOC
compellingsciencefiction.com·5h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.tech·2d·
Discuss: Lobsters, Hacker News
🛡️macOS Security
Flag this post
Parsing Validation
lesswrong.com·1h
🔀Brzozowski Derivatives
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
github.com·1d·
Discuss: Hacker News
🐫OCaml
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
gilesthomas.com·21h·
Discuss: Hacker News
🎯Hindley-Milner
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·17h
🔍CBMC
Flag this post
Document-Driven Development in Next.js: How I Stopped Losing My Mind Managing Requirements
danielkliewer.com·1d·
Discuss: Hacker News, r/reactjs
🤖Program Synthesis
Flag this post
DiscoBSD
github.com·2d·
Discuss: Hacker News
🔧Microcontrollers
Flag this post
Hopping from Ubuntu to Debian
reddit.com·19h·
Discuss: r/linux
💻QEMU
Flag this post
Weak-To-Strong Generalization
lesswrong.com·2d
🔤Kleene Algebra
Flag this post
NASA releases robotic / flight app generation tool Ogma under Apache license
github.com·3h·
Discuss: Hacker News
📦Opam
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·2d·
Discuss: Hacker News
⚙️PL Implementation
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·7h·
Discuss: Hacker News
✓Automated Theorem Proving
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