Democratic PR Firm to Run Bot Army for Israel
readsludge.com·4h·
Discuss: Hacker News
✓Automated Theorem Proving
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
✓Automated Theorem Proving
Text Files > Complex Tools: A Minimalist Snippet Manager
quarters.captaintouch.com·2d·
Discuss: Lobsters, Hacker News
🐳Containerization
Norfolk County Council beats Apple in -L-385M battle (2024)
edp24.co.uk·4d·
Discuss: Hacker News
📺Vintage Apple
486Tang – 486 on a credit-card-sized FPGA board
nand2mario.github.io·2d·
Discuss: Hacker News
💾Retro Computing
Lobsters Interview with Susam
lobste.rs·3d·
Discuss: Lobsters
💾Retro Computing
The future is open: Answering the most common tech writing worries
passo.uno·1d·
Discuss: Hacker News
🔬Static Analysis
Rackintosh Plus
identity4.com·5d·
Discuss: Hacker News
💾Retro Computing
BSD-user-4-Linux project
freebsd.org·2d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Awesome Accelerated Schooling
github.com·2d·
Discuss: Hacker News
🔬Unikernels
Melanie Mitchell: Magical Thinking on AI
aiguide.substack.com·7h·
Discuss: Substack
🩹Self-Healing Systems
Building a Simple Stack-Based Virtual Machine in Go
blog.phakorn.com·20h·
Discuss: Hacker News, r/golang, r/programming
⚙️Operating System Design
iPhone 17 pre-order shipping times start slipping to October
9to5mac.com·3d
📺Vintage Apple
Wildcard suggestion of ‘iPhone Air’ name, with claimed warranty leaflet
9to5mac.com·6d
📺Vintage Apple
iPhone 17 Pro Has Toggle to Disable Screen Flickering (PWM)
macrumors.com·6d·
Discuss: Hacker News, r/hardware
📺Vintage Apple
Apple is finally a carmaker
sixcolors.com·4d·
Discuss: Hacker News
📺Vintage Apple
Solving 3 Enterprise AI Problems Developers Face
thenewstack.io·8h
🤖Program Synthesis
Homelab Update!
i.redd.it·3d·
Discuss: r/homelab
🏠HomeLab
LLM introspection might imply qualia that mirror human ones
lesswrong.com·2h
📚Automata Learning
A Review of Nina Panickssery’s Review of Scott Alexander’s Review of “If Anyone Builds It, Everyone Dies”
lesswrong.com·6h
🛡️seL4