Show HN: We used LZMA to encode data into a URL
standardsapplied.com·1d·
Discuss: Hacker News
🌀Differential Geometry
A new breed of analyzers
daniel.haxx.se·2d·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
Cold Calculation
kae3g.codeberg.page·1d·
Discuss: Hacker News
⚡Incremental Computation
Clarity
robinsloan.com·3d
🧠Intelligence Compression
The Trillion Dollar AI Software Development Stack
a16z.com·2d·
Discuss: Hacker News
⚡Proof Automation
From RNNs to ChatGPT: The Paper That Changed How AI Thinks 🤖
dev.to·2d·
Discuss: DEV
🎧Learned Audio
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·18h·
Discuss: DEV
📊Multi-vector RAG
11+ Best All-in-One AI Platforms in 2025
dev.to·4d·
Discuss: DEV
🤖AI Curation
Revealing Interconnections between Diseases: from Statistical Methods to Large Language Models
arxiv.org·6d
🧠Machine Learning
Augmented data and neural networks for robust epidemic forecasting: application to COVID-19 in Italy
arxiv.org·4h
🧠Machine Learning
Everyone's Searching for Agentic AI. Here's What 94% Get Wrong.
dev.to·3h·
Discuss: DEV
⚡Proof Automation
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·3d·
Discuss: DEV
📊Multi-vector RAG
Improving Temporal Understanding Logic Consistency in Video-Language Models via Attention Enhancement
arxiv.org·3d
📊Learned Metrics
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·14h·
Discuss: DEV
⚡Circuit Design
Google Opal is not a “degraded Dify”. Its strategic positioning and optimal utilisation methods revealed through actual use
dev.to·16h·
Discuss: DEV
🦋Format Metamorphosis
Title: How I built a lightweight runtime stability layer for AI agents
dev.to·1d·
Discuss: DEV
👁️System Observability
TaTToo: Tool-Grounded Thinking PRM for Test-Time Scaling in Tabular Reasoning
arxiv.org·5d
🎯Performance Proofs
StruSR: Structure-Aware Symbolic Regression with Physics-Informed Taylor Guidance
arxiv.org·4d
🧠Machine Learning
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·3d
⚙️Compression Benchmarking
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
⚙️Proof Engineering