Mute-by-default is why your video calls suck
caseyavila.com·1d·
Discuss: Hacker News
👁️System Observability
You Can Use DuckDuckGo to Remove AI Images From Your Search Results
lifehacker.com·7h·
Discuss: Hacker News
🍎Apple
MIPS
thechipletter.substack.com·2d·
Discuss: Substack
⚙️Operating System Design
Manual vs. CNC machining as an analogy for manual vs. AI coding
actinium226.substack.com·5d·
Discuss: Substack
💻CS
Network interfaces for developers
owengage.com·3d·
Discuss: r/programming
🌐NetworkProtocols
Technical deep dive of how we built an AI to answer structured data questions
secoda.co·6d·
Discuss: Hacker News
✓Automated Theorem Proving
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·5d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
An example of drifting away in dev
mohas.bearblog.dev·4d·
Discuss: Hacker News
❄️Nixified Development
AI, Humans, and Data Science: Optimizing Roles Across Workflows and the Workforce
arxiv.org·4d
✓Automated Theorem Proving
Ask HN: Thinking About a Health Analytics Startup. Would Hospitals Even Use It?
news.ycombinator.com·1h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Vibe coding service Replit deleted user’s production database, faked data, told fibs galore
theregister.com·21h·
Discuss: Hacker News
💾Retro Computing
TransEvalnia: Reasoning-based Evaluation and Ranking of Translations
arxiv.org·3d
🐫OCaml
Urban Green Governance: IoT-Driven Management and Enhancement of Urban Green Spaces in Campobasso
arxiv.org·4d
🖥️Self-hosted Infrastructure
How to avoid that your post about AI helps the hype
hidde.blog·3d·
Discuss: Hacker News
👁️System Observability
Quantum Shadows: The Dining Information Brokers
arxiv.org·19h
🎮Verification Games
SIOF (Scheme in One File) – A Minimal R7RS Scheme System
github.com·2d·
Discuss: Hacker News
🐫OCaml
Learning Deblurring Texture Prior from Unpaired Data with Diffusion Model
arxiv.org·19h
🐫Embedded OCaml
Perfect is the enemy of good - Wikipedia
en.wikipedia.org·12h·
Discuss: Lobsters, Hacker News
🎮Verification Games
The UPS did its job.
reddit.com·8h·
Discuss: r/homelab
💾Retro Computing
Findings of MEGA: Maths Explanation with LLMs using the Socratic Method for Active Learning
arxiv.org·4d
🎮Verification Games