How to make Android notifications 100% reliable
nek12.dev·36m·
Discuss: r/programming
🏠Home Manager Modules
Flag this post
Do you trust the people above you?
defenderofthebasic.substack.com·6h·
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·5h·
Discuss: Lobsters, Hacker News
💾Classic Mac OS
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
Jeff Su: 4 Next-Level ChatGPT Techniques
future.forem.com·1d·
Discuss: DEV
📚Automata Learning
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·6d
🧠Automated Reasoning
Flag this post
AI Native Architecture: Intelligence by Design
sumant.bearblog.dev·19h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
The Collapse of Centralized AI Discovery
aivojournal.org·3d·
Discuss: Hacker News
👁️Observability
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
Maestro – The orchestration engine that replicates human judgment
news.ycombinator.com·2d·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
3 Experiments That Reveal the Shocking Inner Life of AI Introduction: Is Anybody Home?
hackernoon.com·3d
🔬Unikernels
Flag this post
You may not need pg_vector, sqlite-vss, etc.
dev.to·21h·
Discuss: DEV
🔢Algebraic Data Types
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
Between Rules and Meaning: Building a Website That Understands Language
dev.to·1d·
Discuss: DEV
🧩Parser Combinators
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
Composer-1 vs SWE-1.5: A detailed Comparison
dev.to·1d·
Discuss: DEV
⚙️Abstract Machines
Flag this post
Realistic pedestrian-driver interaction modelling using multi-agent RL with human perceptual-motor constraints
arxiv.org·3d
🔲Cellular Automata
Flag this post
Large Language Models as Information Sources: Distinctive Characteristics and Types of Low-Quality Information
arxiv.org·18h
❓Existential Types
Flag this post