RSS Readers
irreal.org·8h
📰RSS Reading Practices
Cactus Language • Semantics 3
inquiryintoinquiry.com·2d
🔢Denotational Semantics
Physical Warp Drives
arxiv.org·1d·
Discuss: Hacker News
🌡️Preservation Physics
Job Displacement with AI — Software Engineers → Conductors
kau.sh·1d
Proof Automation
w3c/xslt30-test
github.com·3d
🔀XSLT
A/B-testing LLM meta descriptions for e-commerce CTR
lightcapai.medium.com·12h·
Discuss: Hacker News
📈Search Quality
Mind the Gap: Quantifying Vocabulary Mismatch in E-Commerce Site Search
searchhub.io·3d·
Discuss: Hacker News
📈Search Quality
RND1: Simple, Scalable AR-to-Diffusion Conversion
radicalnumerics.ai·3d·
Discuss: Hacker News
💻Local LLMs
Self-Extracting F3
buttondown.com·6d·
Discuss: Hacker News
Format Verification
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·17h·
Discuss: DEV
📊Multi-vector RAG
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·15h·
Discuss: DEV
📊Multi-vector RAG
Estimating Fair Graphs from Graph-Stationary Data
arxiv.org·2d
🌈Spectral Methods
A Manifesto for the Programming Desperado
github.com·2d·
Discuss: Hacker News
💻Programming languages
Gemini3
dev.to·8h·
Discuss: DEV
🌀Brotli Internals
Valid Stopping for LLM Generation via Empirical Dynamic Formal Lift
arxiv.org·3d
💻Programming languages
Dynamic Adaptive Redundancy Allocation via Hierarchical Bayesian Optimization
dev.to·2d·
Discuss: DEV
💾Storage Replication
(FULLY OPEN SOURCE) open-computer-use: Computer agents working on their own VMs
github.com·19h·
Discuss: Hacker News
🏠Homelab Orchestration
Beyond Vector Search: Building a RAG That *Actually* Understands Your Data
dev.to·3d·
Discuss: DEV
🗂️Vector Databases
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·5d
Proof Automation