The C3 Programming Language
c3-lang.org·4d·
Discuss: Hacker News
🔬Static Analysis
Underused Techniques for Effective Emails
refactoringenglish.com·4d·
Discuss: Lobsters, Hacker News
🛡️seL4
Building Modular Rails Applications: A Deep Dive into Rails Engines
panasiti.me·6d·
Discuss: Hacker News, r/programming
📦Unikernel Systems
What's More Advanced Than AI? Quantum AI Is the Next Leap Forward
cnet.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
OpenAI Quietly Turns to Google to Stay Online
gizmodo.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Ask HN: Merge the branch into main before build/test in CI
news.ycombinator.com·3d·
Discuss: Hacker News
🧪Property-Based Testing
PHP License Update
wiki.php.net·5d·
Discuss: Lobsters, Hacker News, r/programming
❄️Nixified Development
Rethinking Prompt Optimization: Reinforcement, Diversification, and Migration in Blackbox LLMs
arxiv.org·5d
🎮Verification Games
Towards High Supervised Learning Utility Training Data Generation: Data Pruning and Column Reordering
arxiv.org·5d
🧪Property-Based Testing
What’s Happening With Entry-Level Development Jobs?
thenewstack.io·2d
💻CS
Home server setup living in a university dorm
reddit.com·5h·
Discuss: r/homelab
🏠HomeLab
Building my first rack. Trying to decide if kvm and between switch should go in rack or be mounted outside so that PC can also use it
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
I created a bridge to use Forgejo as a native source in Coolify (like GitHub integration!)
reddit.com·3d·
Discuss: r/homelab
📦Unikernel Systems
Smarter AI for Critical Operations: Why Data Matters
thenewstack.io·5d
👁️System Observability
Hardware/Tools I Find Most Useful In My Lab
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
PicoGUS adds CD-ROM Emulation to ISA Bus
hackaday.com·21h
💾Retro Computing
Beyond Single Models: Enhancing LLM Detection of Ambiguity in Requests through Debate
arxiv.org·3d
✓Automated Theorem Proving
Building a SFF nvme NAS with a Lenovo M920x
i.redd.it·3d·
Discuss: r/homelab
🏠HomeLab
From Corporate Grind to Home Server Grind: My Self-Hosting Adventure
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab