How we incidentally uncovered a 7-year old bug in gentoo-ci
blogs.gentoo.org·11h
❄️Nix Flakes
How I interact with PDFs using Free software and Linux in 2025
neilzone.co.uk·12h
📄PDF Internals
Algorithmic Archive Project: Use Cases (1/3)
blogs.bodleian.ox.ac.uk·5d
📊Citation Graphs
Announcing coreboot 25.09 release
blogs.coreboot.org·1d
🔌Operating system internals
Cosy Writer’s Den in Bengaluru, India
makerstations.io·7h
⌨️Mechanical Keyboards
Rohan Paul on X: "New paper from @Google is a major memory breakthrough for AI agents. ReasoningBank helps an AI agent improve during use by learning from its w...
x.com·15h·
Discuss: X
🧮SMT Solvers
6 Best Carpet Cleaners (2025), Tested and Reviewed
wired.com·1d
📦Deflate
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·1d·
Discuss: Hacker News
⚡Proof Automation
A Proof of the Riemann Hypothesis
dev.to·3d·
Discuss: DEV
⚔️Lean Theorem
Why blockchain verification could eliminate Indonesia's $22 billion fake degree problem
hackernoon.com·2d
🔗Hash Chains
Cost Efficient Fairness Audit Under Partial Feedback
arxiv.org·5d
🌸Bloom Variants
Code Green: How Big Data and AI are Engineering a Sustainable Planet
dev.to·1d·
Discuss: DEV
🌊Stream Processing
JEPAs: Unveiling the Hidden Density Oracle Within by Arvind Sundararajan
dev.to·4d·
Discuss: DEV
🧠Machine Learning
Deep Learning-Driven Anomaly Detection in JEOL Transmission Electron Microscopy Image Analysis
dev.to·5h·
Discuss: DEV
🔍Vector Forensics
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Google Opal is not a “degraded Dify”. Its strategic positioning and optimal utilisation methods revealed through actual use
dev.to·4h·
Discuss: DEV
🦋Format Metamorphosis
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·3d
🔨Compilers
Relational Transformer: Toward Zero-Shot Foundation Models for Relational Data
arxiv.org·3d
🧠Learned Indexes
LinVideo: A Post-Training Framework towards O(n) Attention in Efficient Video Generation
arxiv.org·2d
🧠Learned Codecs
Unraveling LCRE-Mediated Chromatin Loops: A Predictive Model for Gene Expression Fine-Tuning in Desert Genomes
dev.to·1d·
Discuss: DEV
📥Feed Aggregation