The Three Laws of Humanics
pinchito.es·2h·
Discuss: Hacker News
🩹Self-Healing Systems
I decided to make it pretty
i.redd.it·3h·
Discuss: r/homelab
🔬Unikernels
How to Write a Crash Reporter
gamesbymason.com·1d·
Discuss: Hacker News
📊Runtime Verification
Thoughts on Visual Programming
btmc.substack.com·1d·
Discuss: Substack
🐫Embedded OCaml
Nimalyzer – Static code analyzer for Nim
github.com·1h·
Discuss: Hacker News
🔬Static Analysis
Mycroft: Tracing Dependencies in Collective Communication Towards Reliable LLM Training
arxiv.org·3d
📊Runtime Verification
AI Is Not a Technology, It's a Subscription Company
idiallo.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Information transmission: Inferring change area from change moment in time series remote sensing images
arxiv.org·3d
📚Automata Learning
Thoughts on Evals
raindrop.ai·1d·
Discuss: Hacker News
🧪Property-Based Testing
BlazingMQ: A modern, high-performance open message queuing system
github.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
SCOUT: Toward Sub-Quadratic Attention via Segment Compression for Optimized Utility in Transformers
arxiv.org·4d
🧩Parser Combinators
62 Comprehensive Programming Tutorials: Master AI, Databases, DevOps & More
github.com·2d·
Discuss: Hacker News, r/programming, r/webdev
🔬Static Analysis
GLM 4.5 with Claude Code is a killer combination
docs.z.ai·2d·
Discuss: Hacker News
🐫OCaml
DNA methylation influences human centromere positioning and function
nature.com·1d·
Discuss: Hacker News
🧮Lambda Calculus
ANNIE: Be Careful of Your Robots
arxiv.org·3d
🩹Self-Healing Systems
DGL-RSIS: Decoupling Global Spatial Context and Local Class Semantics for Training-Free Remote Sensing Image Segmentation
arxiv.org·4d
🧩Parser Combinators
Counterfactual Sensitivity for Faithful Reasoning in Language Models
arxiv.org·4d
📚Automata Learning
Formal Verification of Isothermal Chemical Reactors
arxiv.org·4d
🧠Automated Reasoning
Row Impartial Terminus
arxiv.org·3d
🎮Verification Games
Reverse Engineering a (Toy) Fire Engine
hackaday.com·1d
🩹Self-Healing Systems