A prvalue is not a temporary
blog.knatten.org·1d·
Discuss: Hacker News, r/cpp
🎯GADT
Flag this post
Horror Coding Stories: Therac-25
read.thecoder.cafe·17h·
Discuss: r/programming
🎯GADT
Flag this post
Introducing gpt-oss-safeguard
openai.com·3d·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·1d·
Discuss: Hacker News
🔁Fixed-Point Theory
Flag this post
The Oversight Game: Learning to Cooperatively Balance an AI Agent's Safety and Autonomy
arxiv.org·1d
🩹Self-Healing Systems
Flag this post
Rust's std and parking_lot mutexes – who wins?
blog.cuongle.dev·1d·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Automated Semantic Validation of Modular Software Architectures via Hyper-Graph Resonance
dev.to·17h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·15h
🧪Property-Based Testing
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·1d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Durable execution workflow system based on Postgres
github.com·18h·
Discuss: Hacker News
🧱Immutable Infrastructure
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·15h·
Discuss: Hacker News
💬Mach Messages
Flag this post
Oops, My UUIDs Collided
alexsci.com·13h·
Discuss: Hacker News
🎯GADT
Flag this post
A portable picokernel for async I/O
ryansepassi.com·5h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Nim 2.2.6
nim-lang.org·18h·
Discuss: Hacker News
📦Opam
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
dev.to·1d·
Discuss: DEV
Existential Types
Flag this post
Let's Poison Your LLM Application: A Security Wake-Up Call
dev.to·1d·
Discuss: DEV
🛡️seL4
Flag this post
Unlock Peak Performance: Refining MCTS with Action-Aware State Grouping
dev.to·1d·
Discuss: DEV
🔄Finite State Machines
Flag this post
The Backbone Breaker Benchmark: Testing the Real Security of AI Agents
lakera.ai·1d·
Discuss: Hacker News
🛡️seL4
Flag this post
Dynamic Adaptive Traffic Signal Control via Hybrid Reinforcement Learning and Bayesian Optimization
dev.to·21h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
Silent Sabotage: When Hardware Flaws Poison Medical AI by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🩹Self-Healing Systems
Flag this post