How to make Android notifications 100% reliable
nek12.dev·3h·
Discuss: r/programming
🏠Home Manager Modules
Flag this post
The Gibraltar Fallacy: How LLM Dashboards Distort Reality
oblsk.com·2d·
Discuss: Hacker News
🛡️seL4
Flag this post
Do you trust the people above you?
defenderofthebasic.substack.com·9h·
Discuss: Substack
🎮Verification Games
Flag this post
Improving Structured Outputs in the Gemini API
blog.google·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Man Pages (Part 1)
abochannek.github.io·7h·
💾Classic Mac OS
Flag this post
Jeff Su: 4 Next-Level ChatGPT Techniques
future.forem.com·1d·
Discuss: DEV
📚Automata Learning
Flag this post
The Means of Prediction: How AI Works (and Who Benefits)
hks.harvard.edu·1d·
Discuss: Hacker News
🛡️Privacy Engineering
Flag this post
AI Native Architecture: Intelligence by Design
sumant.bearblog.dev·22h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Real-time stock volatility prediction with deep learning on a time-series DB
medium.com·2d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
ML Library Comparison: Burn vs Candle
reddit.com·1d·
Discuss: r/rust
📦Module Systems
Flag this post
Maestro – The orchestration engine that replicates human judgment
news.ycombinator.com·2d·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
You may not need pg_vector, sqlite-vss, etc.
dev.to·1d·
Discuss: DEV
🔢Algebraic Data Types
Flag this post
Distributed Media Inferencing with Kafka
dev.to·6h·
Discuss: DEV
🐳Containerization
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
github.com·2d·
Discuss: Hacker News
💎Refinement Types
Flag this post
Leakage-abuse Attack Against Substring-SSE with Partially Known Dataset
arxiv.org·2d
Existential Types
Flag this post
Q-Sat AI: Machine Learning-Based Decision Support for Data Saturation in Qualitative Studies
arxiv.org·1d
📝Term Rewriting
Flag this post
Becoming a monster at 26 years old
reddit.com·19h·
Discuss: r/homelab
💾Retro Computing
Flag this post