Deciphering the Kelly Criterion
farhadg.com·17h·
Discuss: Hacker News
🧠Automated Reasoning
Wondered what it would look like to have an AI Copilot for Red Team Operator?
5iprojects.com·1d·
Discuss: Hacker News
👁️System Observability
Real-Time Solutions at the "Cosmic Edge"
windriver.com·1d·
Discuss: Hacker News, r/space
🔧Unikernel Development
Are automated retries of specs a good pattern?
automationpanda.com·9h·
Discuss: Hacker News
👁️System Observability
Phala GPU Tee Deep Dive: Securing AI at the Hardware Layer
phala.com·17h·
Discuss: Hacker News
📦Unikernel Systems
Stop Burning Money on Performance Firefighting
blog.platformatic.dev·1d·
Discuss: Hacker News, r/webdev
👁️System Observability
Show HN: BuildKit 2.0 – the shadcn for AI integrations
buildkit.picaos.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Everything About Bitflags
neg4n.dev·3d·
Discuss: Hacker News, r/javascript, r/node
🐫Embedded OCaml
Python has had async for 10 years – why isn't it more popular?
tonybaloney.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
Beyond OOP and the future of development experience
bennett.ink·3d·
Discuss: r/programming
📊Runtime Verification
Galactic Algorithm
en.wikipedia.org·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Counterfactual Sensitivity for Faithful Reasoning in Language Models
arxiv.org·2d
📚Automata Learning
VX-NOVA.Ω1: A Symbolic AI Engine That Patches Code Without Any Models
github.com·1d·
Discuss: Hacker News
🍎XNU Internals
Small Steps vs. Big Steps
lesswrong.com·3h
⚙Operational Semantics
AutoDetect: Designing an Autoencoder-based Detection Method for Poisoning Attacks on Object Detection Applications in the Military Domain
arxiv.org·1d
🧩Separation Logic
Warming Up for Zeroth-Order Federated Pre-Training with Low Resource Clients
arxiv.org·1d
🔠Type-Level Programming
Applying Functional Programming to a Complex Domain: A Practical Game Engine PoC
reddit.com·2d·
Discuss: r/programming
💎Refinement Types
AI Predictions for Agents
kumo.ai·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Treasure Hunt in Anonymous Graphs with Quantum Pebbles by Oblivious Agents
arxiv.org·1d
🧩Separation Logic
Single-seed generation of Brownian paths and integrals for adaptive and high order SDE solvers
arxiv.org·1d
🔧Unikernel Development