New cybersecurity rules land for Defense Department contractors
theregister.com·10h·
Discuss: Hacker News
🛡️seL4
Moving to a new house, how does this homelab configuration look?
preview.redd.it·13h·
Discuss: r/homelab
🏠HomeLab
How We Built Our lakeFS Iceberg Catalog
lakefs.io·3d·
Discuss: Hacker News
🔄Reproducible Builds
The world has a running Rational R1000/400 computer again (2019)
datamuseum.dk·3d·
Discuss: Hacker News
🔧Unikernel Development
Microsoft's analog optical computer cracks 2 practical problems,shows AI promise
news.microsoft.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
The risks of cognitive offloading [to AI]
siliconangle.com·17h·
Discuss: Hacker News
🩹Self-Healing Systems
The (sometimes rocky) road to a paper
lmao.bearblog.dev·5d·
Discuss: Hacker News
🧮Lambda Calculus
Benchmarking GPT-5 for biomedical natural language processing
arxiv.org·2d
🧩Parser Combinators
62 Comprehensive Programming Tutorials: Master AI, Databases, DevOps & More
github.com·5d·
Discuss: Hacker News, r/programming, r/webdev
🔬Static Analysis
Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle Violations
arxiv.org·6d
🎮Verification Games
FC-PINO: High Precision Physics-Informed Neural Operators via Fourier Continuation
arxiv.org·2d
🐫OCaml
LLMs, Quantum Measurement, and a Primitive of Consciousness
understoryai.substack.com·4d·
Discuss: Substack
📚Automata Learning
I built an ultra-fast, open-source Go web service for generating PDFs from HTML/JSON templates.
reddit.com·23h·
Discuss: r/programming
🔄Reproducible Builds
Deploying AI to the Balkans
hapseer.com·17h·
Discuss: Hacker News
🩹Self-Healing Systems
From Post To Personality: Harnessing LLMs for MBTI Prediction in Social Media
arxiv.org·2d
🧩Parser Combinators
Kwil: The Database for Web3
github.com·1d·
Discuss: Hacker News
⎈Kubernetes
Ask HN: How do you manage docs for AI coding agents without bloating repos?
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️seL4
Stability Analysis for Stochastic Hybrid Inclusions
arxiv.org·2d
🩹Self-Healing Systems
When LLMs Grow Hands and Feet, How to Design Our Agentic RL Systems?
amberljc.github.io·4d·
Discuss: Hacker News
⚙️PL Implementation
Drivel-ology: Challenging LLMs with Interpreting Nonsense with Depth
arxiv.org·5d
🧩Parser Combinators