Microsoft wants to fix ‘slow or sluggish’ performance in Windows 11
theverge.com·12h·
Discuss: Hacker News
👁️System Observability
How much harm can wage-fixing cartels do?
promarket.org·1h·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: The only privacy focused digital business card platform
getcardova.com·1d·
Discuss: Hacker News
🍎Apple
Blender Addon: Bonsai, a Building Information Model Authoring Platform Using IFC
extensions.blender.org·2d·
Discuss: Hacker News
🔄Reproducible Builds
Yeri: JavaScript library for graphing timeseries data into an SVG
code.lag.net·11h·
Discuss: Hacker News
🔄Finite State Machines
The Finance of Alchemy
thediff.co·7h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Cresting the 0Caml Al Humps
anil.recoil.org·3d·
Discuss: Hacker News
🐫Embedded OCaml
FAQ: What's a KevlinHenney?
kevlinhenney.medium.com·2d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Show HN: Flowchart AI – Write English, get a flowchart
flowchartai.org·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Losing Money Is the Point
zachholman.com·5h·
Discuss: Hacker News
✓Automated Theorem Proving
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Agent DB
agentdb.dev·4d·
Discuss: Hacker News
🔤DSLs
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·6d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
H-Nets – The Future
goombalab.github.io·3d·
Discuss: Hacker News
🏹Effect Systems
Ask HN: Thoughts on combining static analysis and AI for system understanding?
news.ycombinator.com·3d·
Discuss: Hacker News
🔬Static Analysis
Acoustic Index: A Novel AI-Driven Parameter for Cardiac Disease Risk Stratification Using Echocardiography
arxiv.org·19h
🤖Program Synthesis
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
SIOF (Scheme in One File) – A Minimal R7RS Scheme System
github.com·2d·
Discuss: Hacker News
🐫OCaml
The Boom Is in Data
medium.com·3d·
Discuss: Hacker News
👁️System Observability
AWS slaps usage caps on Kiro as AI editor preview proves too popular for its own good
theregister.com·7h·
Discuss: Hacker News
⎈Kubernetes