are-dependent-types-actually-erased
chadnauseam.com·20h·
Discuss: Hacker News
🧠Ai
Flag this post
Why Your Observability Strategy Should Start With SLOs
thenewstack.io·15h
⚙System Design
Flag this post
The Noise and the Signal
russmiles.substack.com·2h·
Discuss: Substack
⚙System Design
Flag this post
Alonso: 'Matter of time' before Wirtz comes good
espn.com·12h
📊Monitoring
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·1d·
Discuss: Hacker News
🧠Ai
Flag this post
What does the ideal information environment look like?
defenderofthebasic.substack.com·14h·
Discuss: Substack
⚙System Design
Flag this post
I Built a One File Edge Probe to Tell Me When Time Is Lying
physical-ai.ghost.io·17h·
Discuss: Hacker News
📊Monitoring
Flag this post
Windows 11 is finally getting a handy Bluetooth headphone sharing feature for some – here's how it works
techradar.com·16h
🤖Kitchen Automation
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·3h·
Discuss: Hacker News
⚙System Design
Flag this post
Masked Softmax Layers in PyTorch
mcognetta.github.io·15h·
Discuss: Hacker News
🧠Ai
Flag this post
Magisterium
isaacbowen.com·3d·
Discuss: Hacker News
🧠Ai
Flag this post
The Constrained Application Protocol (CoAP)
datatracker.ietf.org·14h·
Discuss: Hacker News
⚙System Design
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
blog.dominikrudnik.pl·10h·
Discuss: Hacker News
🧠Ai
Flag this post
Going a Step Beyond Ultrasonic Sensors
aptiv.com·1d·
Discuss: Hacker News
🤖Kitchen Automation
Flag this post
Pain Points of OCaml
quamserena.com·2h·
Discuss: Hacker News
🧠Ai
Flag this post
The Collapse of Centralized AI Discovery
aivojournal.org·1d·
Discuss: Hacker News
⚙System Design
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·1d·
Discuss: Hacker News
⚙System Design
Flag this post
Norway Leads Global EV Adoption
oilprice.com·11h·
Discuss: Hacker News
🤖Kitchen Automation
Flag this post
A Practitioner's Guide to Kolmogorov-Arnold Networks
arxiviq.substack.com·1d·
Discuss: Substack
🧠Ai
Flag this post
LIGO's Dual Detectors
ligo.caltech.edu·4h·
Discuss: Hacker News
📈Time Series Analysis
Flag this post