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
Rackintosh Plus
identity4.com·5d·
Discuss: Hacker News
💾Retro Computing
The future is open: Answering the most common tech writing worries
passo.uno·1d·
Discuss: Hacker News
🔬Static Analysis
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·18h·
Discuss: Substack
🩹Self-Healing Systems
486Tang – 486 on a credit-card-sized FPGA board
nand2mario.github.io·2d·
Discuss: Hacker News
💾Retro Computing
Lots of people asked about power usage on my post from yesterday, so I overnighted a wattage meter.
reddit.com·20h·
Discuss: r/homelab
🏠HomeLab
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·19h
🤖Program Synthesis
Homelab Update!
i.redd.it·3d·
Discuss: r/homelab
🏠HomeLab
LLM introspection might imply qualia that mirror human ones
lesswrong.com·13h
📚Automata Learning
iPhone Air offers a new feature never seen in a single-camera iPhone
9to5mac.com·3d
📺Vintage Apple
CoDiCodec: Unifying Continuous and Discrete Compressed Representations of Audio
arxiv.org·1d
💻CS
TUNI: Real-time RGB-T Semantic Segmentation with Unified Multi-Modal Feature Extraction and Cross-Modal Feature Fusion
arxiv.org·1d
📐Denotational Semantics
The $10 Payment That Cost Me $43.95 – The Madness of SaaS Chargebacks
medium.com·1d·
Discuss: Hacker News
🧠Automated Reasoning
The Role of Follow Networks and Twitter's Content Recommender on Partisan Skew and Rumor Exposure during the 2022 U.S. Midterm Election
arxiv.org·1d
🧩Parser Combinators
A Review of Nina Panickssery’s Review of Scott Alexander’s Review of “If Anyone Builds It, Everyone Dies”
lesswrong.com·16h
🛡️seL4