Show HN: Yansu, Serious Coding
🔧DevOps
Flag this post
Teaching robots to map large environments
🤖Robotics
Flag this post
Share Your Projects: Imperfectionism
hackaday.com·4h
❄️Nixified Development
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·2d
⚡Process Calculi
Flag this post
Enhancing Channel Isolation in Multi-Stacked PCB Antennas via Adaptive Parasitic Element Tuning
🐫Embedded OCaml
Flag this post
Stability of mixed-state phases under weak decoherence
arxiv.org·1d
↔️Bisimilarity
Flag this post
AI Papers to Read in 2025
towardsdatascience.com·1d
📚Automata Learning
Flag this post
An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·22h
🔢Algebraic Data Types
Flag this post
Advanced Fatigue Life Prediction via Hybrid Bayesian Neural Network and Acoustic Emission Correlation
👁️Observability
Flag this post
Digital Twin-Driven Pavement Health Monitoring and Maintenance Optimization Using Graph Neural Networks
arxiv.org·17h
🕸️Graph Theory
Flag this post
A security model for systemd
🔬Unikernels
Flag this post
🔑 Own It or Lose It | The Real Power Behind “Not Your Keys, Not Your Coins”
🖥️Self-hosted Infrastructure
Flag this post
Dynamic Estimates of Displacement in Disaster Regions: A Policy-driven framework triangulating data
arxiv.org·1d
👁️Observability
Flag this post
Causal Graph Neural Networks for Healthcare
arxiv.org·1d
🔁Fixpoint Theory
Flag this post
Loading...Loading more...