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
The XINU Page
xinu.cs.purdue.edu·3d·
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·1d·
Discuss: Hacker News
🧪Property-Based Testing
Interview with John Bridges (PCPaint, Grasp, GL Pro)
ztoz.blog·2d·
Discuss: Hacker News
💾Retro Computing
How TimescaleDB helped us scale analytics and reporting
blog.cloudflare.com·5d·
Discuss: Hacker News
👁️System Observability
Exploiting Partial Compliance: The Redact-and-Recover Jailbreak
generalanalysis.com·5d·
Discuss: Hacker News
🧪Property-Based Testing
An InfoSec Architect's First Taste of Temporal
supasaf.com·5d·
Discuss: Hacker News
⚙️PL Implementation
Massively parallel and universal approximation of nonlinear functions using diffractive processors
arxiv.org·9h
🐫OCaml
PGD-based optimization of 3D bobsleigh track centerlines from 2D centerlines for simulation applications
arxiv.org·9h
🧗Climbing Tech
🔐 Secure Multi-language Code Execution API – One REST Call to Run Code in 14+ Languages
reddit.com·5d·
Discuss: r/programming
❄️Nixified Development
Kubernetes PV (pre-)provisioning/management with frequent infrastructure redeployment
reddit.com·2d·
Discuss: r/homelab
⎈Kubernetes
Intelligent Control of Spacecraft Reaction Wheel Attitude Using Deep Reinforcement Learning
arxiv.org·9h
✓Automated Theorem Proving
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
The human harbor: Navigating identity and meaning in the AI age
venturebeat.com·15h·
Discuss: Hacker News
🤖Program Synthesis
The Impact of Generative AI on Collaborative Open-Source Software Development: Evidence from GitHub Copilot
arxiv.org·4d
📦Unikernel Systems
AGI Is Mathematically Impossible (3): Kolmogorov Complexity
news.ycombinator.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
This Homebrew CPU Got Its Start in the 1990s
hackaday.com·3d
💾Retro Computing