Sonos interim CEO Tom Conrad now made permanent [U]
9to5mac.com·10h
🍎Apple
Geany 2.1 is out (now with LSP)
geany.org·2d·
Discuss: Hacker News
🐫Embedded OCaml
Preventing Woke AI in the Federal Government
whitehouse.gov·50m·
Discuss: Hacker News
✓Automated Theorem Proving
Rampant Noncompliance (~50%) with California Privacy Laws (CCPA)
news.uci.edu·2h·
Discuss: Hacker News
📡Network Protocol Design
Engineering wisdom from a year of Talking Postgres
techcommunity.microsoft.com·1d·
Discuss: Hacker News
🎮Verification Games
Kiro Dev Tools – Download
kirodotdev.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
The Internet is a Series of Webs (2024)
aramzs.xyz·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Switchboard
switchboard-ai.com·2d·
Discuss: Hacker News
🎮Verification Games
Why I said "no" for a year: rethinking dev-to-prod environment promotion · Logto blog
blog.logto.io·6d·
Discuss: r/programming
🔄Reproducible Builds
We built a real-time service that handles 20k updates per second
trigger.dev·6d·
Discuss: Hacker News
🔄Reproducible Builds
The journey to create a new video codec
medium.com·1d·
Discuss: Hacker News
🤖Program Synthesis
How the Free Software Foundation Battles the LLM Bots
thenewstack.io·3d·
Discuss: Hacker News
📦Unikernel Systems
Navigating AI Dementia: Strategies for Safe Rollback
news.ycombinator.com·3d·
Discuss: Hacker News
💾Retro Computing
Is AI Turning Engineers into Managers?
7ynk3r.github.io·16h·
Discuss: Hacker News
🤖Program Synthesis
Urban Green Governance: IoT-Driven Management and Enhancement of Urban Green Spaces in Campobasso
arxiv.org·6d
🖥️Self-hosted Infrastructure
On the Inevitability of Left-Leaning Political Bias in Aligned Language Models
arxiv.org·1d
➡️Category Theory
Semi-off-Policy Reinforcement Learning for Vision-Language Slow-thinking Reasoning
arxiv.org·19h
🎮Verification Games
Bottom-up Domain-specific Superintelligence: A Reliable Knowledge Graph is What We Need
arxiv.org·2d
✓Automated Theorem Proving
Automated Design of Structured Variational Quantum Circuits with Reinforcement Learning
arxiv.org·19h
🏹Effect Systems
Artificial Intelligence for Green Hydrogen Yield Prediction and Site Suitability using SHAP-Based Composite Index: Focus on Oman
arxiv.org·1d
✓Automated Theorem Proving