A thesis week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮SMT Solvers
Reading List 08/09/2025
construction-physics.com·1d
🌡️Preservation Physics
Debian 13 “Trixie” Released, This Is What’s New
linuxiac.com·1d
❄️Nix Flakes
Deep linear networks
danmackinlay.name·3d
🧠Machine Learning
Van Westendorp's Price Sensitivity Meter
en.wikipedia.org·1d·
Discuss: Hacker News
🧠Query Planners
The US Court Records System Has Been Hacked
wired.com·1d
🔓Hacking
Lessons from Amazon S3 Vector Store and the Nuances of Hybrid Vector Storage
caylent.com·6d·
Discuss: Hacker News
🗂️Vector Databases
Show HN: Belgian parliamentary data, scraped and published
github.com·4d·
Discuss: Hacker News
📋PREMIS Events
Announcing Ropey 2.0 Beta
reddit.com·1d·
Discuss: r/rust
🦀Rust Borrowing
Built Updo, a CLI website monitoring tool because I got tired of web dashboards
reddit.com·1d·
Discuss: r/linux
🔍eBPF
When a journalist uses AI to interview a dead child, isn’t it time to ask what the boundaries should be? | Gaby Hinsliff
theguardian.com·3d·
Discuss: Hacker News
🧲Magnetic Philosophy
An Introduction to Ruby on Rails – From someone with a frontend background New to Rails? Let's skim over the basics of the framework!
blog.codeminer42.com·3d
🔌Interface Evolution
DeepSeek AI 2025: Unveiling the Breakthroughs That Redefine AI Innovation
dev.to·22h·
Discuss: DEV
🌀Brotli Internals
ViFP: A Framework for Visual False Positive Detection to Enhance Reasoning Reliability in VLMs
arxiv.org·4d
👁️OCR Verification
REINA: Regularized Entropy Information-Based Loss for Efficient Simultaneous Speech Translation
arxiv.org·3d
🎧Learned Audio
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·5d·
Discuss: www.blogger.com
🌳Persistent Data Structures
Toward Cycle Detection in AI automation workflows
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Top 10 Public APIs Every Developer Should Know in 2025
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
I just rewrote llama.cpp server in Rust (most of it at least), and made it scalable
reddit.com·2d·
Discuss: r/rust
🔒Linear Types
SocialPulse: An On-Smartwatch System for Detecting Real-World Social Interactions
arxiv.org·4d
🎛️Feed Filtering