Martian myrrh.
contravex.com·19h
🧮Algebraic Archives
Monday 13 October, 2025
memex.naughtons.org·9h
📰RSS Archaeology
Back to the Future for Taxation
amacad.org·15h·
Discuss: Hacker News
🧲Magnetic Philosophy
Show HN: Osmea – open-source Flutter Architecture for E-commerce Apps
osmea.masterfabric.co·11h·
Discuss: Hacker News
🔌Interface Evolution
Experiments With Sonnet 4.5's Fiction
lesswrong.com·1d·
Discuss: Hacker News
🔗Concatenative Languages
Let’s talk about LLM guardrails
blog.adnansiddiqi.me·1d·
Discuss: Hacker News
🎯Proof Tactics
Check out my Mini Homelab Build!
reddit.com·9h·
Discuss: r/homelab
🏠HomeLab
Rethinking PostgreSQL buffer mapping for modern hardware architectures
orioledb.com·19h·
Discuss: Hacker News
🗃️Database Storage
A Proof of the Riemann Hypothesis
dev.to·4d·
Discuss: DEV
⚔️Lean Theorem
Graph Neural Networks: A Reality Check on Verifying Readout by Arvind Sundararajan
dev.to·19h·
Discuss: DEV
🧠Machine Learning
Injecting Hallucinations in Autonomous Vehicles: A Component-Agnostic Safety Evaluation Framework
arxiv.org·3d
✨Effect Handlers
TaoSR-SHE: Stepwise Hybrid Examination Reinforcement Learning Framework for E-commerce Search Relevance
arxiv.org·3d
🔍Information Retrieval
Observation Matrix Design for Densifying MIMO Channel Estimation via 2D Ice Filling
arxiv.org·5h
⚽Sphere Packing
Bound-Preserving WENO Schemes for Temple-class systems
arxiv.org·6d
🎯Performance Proofs
The Custom Conveyor: Building Your Own Iterators
dev.to·2d·
Discuss: DEV
🔄Burrows-Wheeler
Off-Trajectory Reasoning: Can LLMs Collaborate on Reasoning Trajectory?
arxiv.org·4d
📏Linear Logic
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·12h·
Discuss: DEV
📊Multi-vector RAG
Automated Order Routing Optimization via Hierarchical Reinforcement Learning and Multi-Objective Score Fusion
dev.to·11h·
Discuss: DEV
🌊Stream Processing
The Boundaries of Fair AI in Medical Image Prognosis: A Causal Perspective
arxiv.org·5h
🧠Machine Learning
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·6d
⚡Proof Automation