Let’s Make a Tic-Tac-Deal!
thefiddler.substack.com·5h·
Discuss: Substack
🎯Proof Tactics
MeteoSaver LLM based software for the transcription of historical weather data
egusphere.copernicus.org·8h·
Discuss: Hacker News
📰Feed Readers
The Linus Method: How we simiplifed RFC reviews
devashish.me·30m·
Discuss: Hacker News
⚙️Proof Engineering
ALimiter
github.com·5h
🧠Memory Allocators
Enhanced Stellar Population Synthesis for Dwarf Spheroidal Galaxy Morphology Prediction
dev.to·1d·
Discuss: DEV
💎Information Crystallography
Effective Web Scraping with Python: Building a Robust Data Pipeline for Price Monitoring
dev.to·8h·
Discuss: DEV
🕵️Feed Discovery
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·3d·
Discuss: Hacker News
🔲Cellular Automata
The Hidden Oracle Inside Your AI: Unveiling Data Density with Latent Space Magic by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🧠Machine Learning
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com·17h·
Discuss: r/rust
🦀Rust Macros
h1: Bootstrapping LLMs to Reason over Longer Horizons via Reinforcement Learning
arxiv.org·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Aligning Large Language Models via Fully Self-Synthetic Data
arxiv.org·1d
🔗Monadic Parsing
Explaining Models under Multivariate Bernoulli Distribution via Hoeffding Decomposition
arxiv.org·1d
🧠Machine Learning
Causal Coordination for Distributed Decision-Making
arxiv.org·2d
📡Information theory
AI News and Releases: First Week of October 2025
dev.to·1h·
Discuss: DEV
🤖AI Curation
Reinforcement Learning from Probabilistic Forecasts for Safe Decision-Making via Conditional Value-at-Risk Planning
arxiv.org·13h
🧠Machine Learning
VideoMiner: Iteratively Grounding Key Frames of Hour-Long Videos via Tree-based Group Relative Policy Optimization
arxiv.org·2d
⧗Information Bottleneck
Conditional Denoising Diffusion Model-Based Robust MR Image Reconstruction from Highly Undersampled Data
arxiv.org·1d
⧗Information Bottleneck
Attention Sinks and Compression Valleys in LLMs are Two Sides of the Same Coin
arxiv.org·1d
🧠Neural Compression
ELMUR: External Layer Memory with Update/Rewrite for Long-Horizon RL
arxiv.org·1d
🔲Cellular Automata
How to Teach Large Multimodal Models New Skills
arxiv.org·13h
📊Learned Metrics