A Security Model for Systemd
🔬Unikernels
Flag this post
Searles's Chinese Room: Case study in philosophy of mind and cognitive science
🔲Cellular Automata
Flag this post
Show HN: OpenHealth – AI health platform with RAG over 38M medical papers
📦Module Systems
Flag this post
[Tool] RE-Architect: Automated binary analysis with multiple decompilers + AI explanations
🔬Reverse Engineering
Flag this post
How Transformer Models Detect Anomalies in System Logs
hackernoon.com·3d
👁️Observability
Flag this post
Reinventing PostgreSQL for the Next Generation of Apps
thenewstack.io·58m
❄️NixOS
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·2d
🔀OCaml Multicore
Flag this post
Alpamayo-R1: Bridging Reasoning and Action Prediction for Generalizable Autonomous Driving in the Long Tail
arxiv.org·2d
🧩Separation Logic
Flag this post
Variational Data-Consistent Assimilation
arxiv.org·2d
📐Linear Algebra
Flag this post
Building Reliable AI Agents with MCP: What We Learned Moving Codegen to the Planning Phase
🔄Reproducible Builds
Flag this post
Active Noise Control Method Using Time Domain Neural Networks for Path Decoupling
arxiv.org·15h
🩹Self-Healing Systems
Flag this post
OSMGen: Highly Controllable Satellite Image Synthesis using OpenStreetMap Data
arxiv.org·2d
📦OPAM
Flag this post
Isotropic Curvature Model for Understanding Deep Learning Optimization: Is Gradient Orthogonalization Optimal?
arxiv.org·2d
📐Linear Algebra
Flag this post
STACKFEED: Structured Textual Actor-Critic Knowledge Base Editing with FeedBack
arxiv.org·2d
🧩Parser Combinators
Flag this post
Causal Graph Neural Networks for Healthcare
arxiv.org·1d
🔁Fixpoint Theory
Flag this post
Loading...Loading more...