Waabi's Mixed Reality Testing Pushes the Boundaries of AV Safety
waabi.ai·21h·
Discuss: Hacker News
🧪Property-Based Testing
The Error Project: Estimating the Reliability and Robustness of Research
error.reviews·30m·
Discuss: Hacker News
🔬Static Analysis
Unmoved mover
en.wikipedia.org·18h·
Discuss: Hacker News
➡️Category Theory
Clear Thinking
read.perspectiveship.com·2h·
Discuss: Hacker News
✓Automated Theorem Proving
Ilion Framework: A Public Layer for Semantic Alignment with Truth
zenodo.org·3d·
Discuss: Hacker News
🐫OCaml
eSIM Hack Allows for Cloning, Spying
securityweek.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
DHH: Future of Programming, AI, Ruby on Rails, Productivity and Parenting
lexfridman.com·1d·
Discuss: Hacker News
💾Retro Computing
Zig's new I/O: function coloring is inevitable?
blog.ivnj.org·2d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Building Modular Rails Applications: A Deep Dive into Rails Engines
panasiti.me·2d·
Discuss: Hacker News, r/programming
📦Unikernel Systems
Future-Proof Programming Languages
log.schemescape.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Perfetto: Debugging scheduling blockages with tracing and callstack sampling
perfetto.dev·5d·
Discuss: Hacker News
👁️System Observability
My reality: Decades of experience, seeking one team that believes in it
news.ycombinator.com·56m·
Discuss: Hacker News
🧗Climbing Tech
LRMR: LLM-Driven Relational Multi-node Ranking for Lymph Node Metastasis Assessment in Rectal Cancer
arxiv.org·11h
🐫OCaml
Incomplete Multiview Learning via Wyner Common Information
arxiv.org·1d
🔠Type-Level Programming
MCP + SQL: The Secret Weapon To Connect AI to Enterprise Systems
thenewstack.io·1d
👁️System Observability
Hazel: A live functional programming environment with typed holes
github.com·20h·
Discuss: Lobsters, Hacker News
🐫OCaml
Canonical Bayesian Linear System Identification
arxiv.org·11h
➡️Category Theory
Measuring the Impact of Early-2025 AI on Experienced Open-Source Developer Productivity
arxiv.org·1d
🏹Effect Systems
AWS launches Kiro, an agentic AI IDE, to end the chaos of vibe coding
techradar.com·19h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
HKGAI-V1: Towards Regional Sovereign Large Language Model for Hong Kong
arxiv.org·11h
🐫OCaml