Knowledge Pillars and Certiport Global Partnership Announcement
knowledge-pillars.com·1d·
Discuss: Hacker News
🧗Climbing Tech
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·5d·
Discuss: Hacker News
🏹Effect Systems
MakeShift: Security Analysis of Shimano Di2 Wireless Gear Shifting in Bicycles
usenix.org·2d·
Discuss: Hacker News
👁️System Observability
Prove me wrong, earn money!
nintil.com·9h·
Discuss: Hacker News
✓Automated Theorem Proving
Democracy by the Book: Is data the last lingua franca?
hedgehogreview.com·1d·
Discuss: Hacker News
🔤DSLs
A Debate Over The Physics Of Time
quantamagazine.org·11h·
Discuss: Hacker News
➡️Category Theory
The Argument Against Quantum Computers (2018)
quantamagazine.org·13h·
Discuss: Hacker News
🏹Effect Systems
Open-source SEC EDGAR MCP server
github.com·7h·
Discuss: Hacker News
🛡️seL4
Software Defined Retro ROMs
hackaday.com·2d
💾Retro Computing
Show HN: Easy Python Time Parsing
github.com·20h·
Discuss: Hacker News
🔄Finite State Machines
Quantum Won't Replace Your Computer
medium.com·1d·
Discuss: Hacker News
💾Retro Computing
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·6d·
Discuss: Hacker News
🌐NetworkProtocols
Current Homelab Setup
reddit.com·4h·
Discuss: r/homelab
🏠HomeLab
Depthwise-Dilated Convolutional Adapters for Medical Object Tracking and Segmentation Using the Segment Anything Model 2
arxiv.org·2h
🐫Embedded OCaml
Conformal Contraction for Robust Nonlinear Control with Distribution-Free Uncertainty Quantification
arxiv.org·1d
🔄Finite State Machines
ReDiSC: A Reparameterized Masked Diffusion Model for Scalable Node Classification with Structured Predictions
arxiv.org·2h
➡️Category Theory
AI Agents Are Creating a New Security Nightmare for Enterprises and Startups
thenewstack.io·3d
🛡️seL4
Just built Wingman AI 🧠 a stealth assistant that gives you real-time prompts during interviews, meetings, and more. Like Cluely, but open-source please let me k...
github.com·2d·
Discuss: r/programming
📦Unikernel Systems
Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad
deepmind.google·13h·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Learning Nonlinear Causal Reductions to Explain Reinforcement Learning Policies
arxiv.org·2h
🎮Verification Games