Scientists detect lithium in Mercury's exosphere using magnetic wave analysis
phys.org·5h·
Discuss: Hacker News
🧗Climbing Tech
Debugging Bash Like a Sire
blog.brujordet.no·1d·
Discuss: Hacker News
🛡️seL4
Quick notes from the GStreamer Spring Hackfest 2025
collabora.com·3d·
Discuss: Hacker News
🔬Unikernels
John Wheeler and the "It from Bit" (2023)
johnhorgan.org·19h·
Discuss: Hacker News
❄️Nix
Haiku Activity & Contract Report, June 2025
haiku-os.org·5d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Announcing Full Cross-Platform Support for the mssql-python Driver
devblogs.microsoft.com·4d·
Discuss: Hacker News
👁️System Observability
Blender HDR and the reference white issue
blog.sebastianwick.net·4d·
Discuss: Lobsters, Hacker News, r/linux
🔬Unikernels
A major AI training data set contains millions of examples of personal data
technologyreview.com·20h·
Discuss: Hacker News, r/technews
🖥️Self-hosted Infrastructure
Neural Network-Guided Symbolic Regression for Interpretable Descriptor Discovery in Perovskite Catalysts
arxiv.org·1d
✓Automated Theorem Proving
First real homelab setup a few backup questions
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
On the Limitations of Large Language Models (LLMs): False Attribution
arxiv.org·16h
🔠Type-Level Programming
Data-Driven Meta-Analysis and Public-Dataset Evaluation for Sensor-Based Gait Age Estimation
arxiv.org·1d
🔬Unikernels
Setting Up OpenTelemetry on the Frontend Because I Hate Myself
thenewstack.io·4d
👁️System Observability
Claude Code Unleashed
ymichael.com·3d·
Discuss: Hacker News
🤖Program Synthesis
REACT: Real-time Entanglement-Aware Coverage Path Planning for Tethered Underwater Vehicles
arxiv.org·3d
👁️System Observability
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·4d
🔍Formal Verification
Show HN: Portia – A stateful Crew AI alternative, with auth and 1000 tools
github.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
MCP: A Practical Security Blueprint for Developers
thenewstack.io·3d
🛡️seL4
Unpythonic: Supercharge your Python with parts of Lisp and Haskell
github.com·5d·
Discuss: Hacker News
🐫OCaml
WebAssembly binding for llama.cpp – Enabling on-browser LLM inference
github.com·3d·
Discuss: Hacker News
🐫Embedded OCaml