Review: Solaris 10 – Coming Along Nicely (2005)
osnews.com·5h·
Discuss: Hacker News
🔧Unikernel Development
AI Quests: Bringing AI literacy to the classroom
blog.google·4d·
Discuss: Hacker News
🎮Verification Games
Performance Improvements in .NET 10
devblogs.microsoft.com·3d·
Discuss: Lobsters, Hacker News, r/programming
📊Runtime Verification
Trump's video about Charlie Kirk is being accused of using AI
dailydot.com·1d·
Discuss: Hacker News
🍎Apple
Richard Feynman – There's Plenty of Room at the Bottom
muonray.blogspot.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Sharing what I learned about Rust functions and closures
blog.cuongle.dev·3d·
Discuss: Hacker News, r/rust
🧮Lambda Calculus
The OSS code that powers Claude and the maintainer they didn't hire
agenticweb.nearestnabors.com·3d·
Discuss: Hacker News
🔬Unikernels
OCR and RAG for Tables
mrm1001.github.io·4d·
Discuss: Hacker News, Hacker News
🐫Embedded OCaml
Show HN: Robot MCP Server – Connect Any Language Model and ROS Robots Using MCP
github.com·3d·
Discuss: Hacker News
🏠HomeLab
Show HN: Oboe, a generalized AI-powered learning platform
news.ycombinator.com·3d·
Discuss: Hacker News
🎮Verification Games
Mind the Gap: Evaluating Model- and Agentic-Level Vulnerabilities in LLMs with Action Graphs
arxiv.org·5d
🛡️seL4
Refining Transcripts With TV Subtitles by Prompt-Based Weakly Supervised Training of ASR
arxiv.org·5d
🧩Parser Combinators
Network automation and design at the CCC Internetmanufaktur (mrmcd25)
cdn.media.ccc.de·4h
📡Network Protocol Design
Automated Hierarchical Graph Construction for Multi-source Electronic Health Records
arxiv.org·4d
🧠Automated Reasoning
Adventures in "Continuous AI"
elite-ai-assisted-coding.dev·4d·
Discuss: Hacker News
🤖Program Synthesis
The Great Domestication: How Artificial Intelligence Is Remaking Consciousness
philosophermaker.substack.com·4d·
Discuss: Substack
🩹Self-Healing Systems
Show HN: Open source, AI-enhanced Mailchimp alternative
github.com·17h·
Discuss: Hacker News
🖥Self-Hosting
Greener Deep Reinforcement Learning: Analysis of Energy and Carbon Efficiency Across Atari Benchmarks
arxiv.org·5d
🎮Verification Games
From Post To Personality: Harnessing LLMs for MBTI Prediction in Social Media
arxiv.org·5d
🧩Parser Combinators
Symmetry Interactive Transformer with CNN Framework for Diagnosis of Alzheimer's Disease Using Structural MRI
arxiv.org·2d
➡️Category Theory