I just wanted to teach my kid to code — ended up building a full AI app.
vibelf.com·1d·
Discuss: r/programming
🎮Verification Games
Bcachefs Lands Fixes In Linux 6.16 For Some "High Severity" Regressions
phoronix.com·1d·
Discuss: Hacker News
❄️Nixified Development
Investigate your dependencies with Deptective
blog.trailofbits.com·5d·
Discuss: Hacker News
📦Unikernel Systems
Perfetto: Debugging scheduling blockages with tracing and callstack sampling
perfetto.dev·2d·
Discuss: Hacker News
👁️System Observability
Show HN: SparkYard – Your personal brand is the one asset AI can't replace
sparkyard.io·22h·
Discuss: Hacker News
🧪Property-Based Testing
SSPL is BAD
ssplisbad.com·2d·
Discuss: Hacker News
🛡️seL4
The zero-day that could've compromised every Cursor and Windsurf user
bleepingcomputer.com·2d·
Discuss: Hacker News
📦Unikernel Systems
OpenCL 3.0.19 Released With SPIR-V Queries & Android Hardware Buffer Extensions
phoronix.com·3d·
Discuss: Hacker News
⚙️PL Implementation
Using AI for Data Modeling in Dbt
mikkeldengsoe.substack.com·3d·
Discuss: Substack
🔬Static Analysis
The Small Data Showdown '25: Is It Time to Ditch Spark Yet?
milescole.dev·5d·
Discuss: Hacker News, Hacker News
👁️System Observability
Polaris: A Post-training recipe for scaling RL on Advanced Reasoning models
hkunlp.github.io·5d·
Discuss: Hacker News
🏹Effect Systems
Self-Review Framework for Enhancing Instruction Following Capability of LLM
arxiv.org·5d
✓Automated Theorem Proving
Understanding Everything as Code: A Taxonomy and Conceptual Model
arxiv.org·6d
🔬Static Analysis
🔐 Secure Multi-language Code Execution API – One REST Call to Run Code in 14+ Languages
reddit.com·5d·
Discuss: r/programming
❄️Nixified Development
The Impact of Generative AI on Collaborative Open-Source Software Development: Evidence from GitHub Copilot
arxiv.org·4d
📦Unikernel Systems
Passive-Agressive Office Simulator Slack Bot
github.com·16h·
Discuss: Hacker News
🎮Verification Games
The human harbor: Navigating identity and meaning in the AI age
venturebeat.com·11h·
Discuss: Hacker News
🤖Program Synthesis
AGI Is Mathematically Impossible (3): Kolmogorov Complexity
news.ycombinator.com·23h·
Discuss: Hacker News
✓Automated Theorem Proving
This Homebrew CPU Got Its Start in the 1990s
hackaday.com·2d
💾Retro Computing
Entity-Specific Cyber Risk Assessment using InsurTech Empowered Risk Factors
arxiv.org·4h
🖥️Self-hosted Infrastructure