Reserve First
notes.billmill.org·1d
🎯Dependent Preservation
a word to my students
blog.ayjay.org·1d
⚡Proof Automation
A Complete Guide to Tagging for Personal Knowledge Management
fortelabs.com·1d·
Discuss: Hacker News
🌱Personal Wikis
I added a speaker view to my OCaml presentation tool
github.com·2d·
Discuss: Hacker News
⚔️Lean Tactics
Exploring Multimodal AI Reasoning for Meteorological Forecasting from Skew-T Diagrams
arxiv.org·1d
🔶Voronoi Diagrams
The Course Difficulty Analysis Cookbook
arxiv.org·21h
🧠Intelligence Compression
Apriel-Nemotron-15B-Thinker
arxiv.org·2d
💻Local LLMs
Simultaneously Inferring Protein Structure and Phylogeny with Graph Neural Networks and Bayesian Optimization
dev.to·4d·
Discuss: DEV
🧮Kolmogorov Bounds
X-Ray-CoT: Interpretable Chest X-ray Diagnosis with Vision-Language Models via Chain-of-Thought Reasoning
arxiv.org·1d
🧠Machine Learning
SimInterview: Transforming Business Education through Large Language Model-Based Simulated Multilingual Interview Training System
arxiv.org·1d
🌍Cultural Algorithms
I made a product called Prompt to save and optimize.
dev.to·1d·
Discuss: DEV
🎙️Whisper
Bandicoot: A Templated C++ Library for GPU Linear Algebra
arxiv.org·2d
⚡Parallel Computing
Automated Artifact Evaluation Through Multi-Modal Semantic Graph Analysis and Recursive Scoring
dev.to·4d·
Discuss: DEV
⚡Proof Automation
Mitigating Easy Option Bias in Multiple-Choice Question Answering
arxiv.org·21h
🗂️Vector Search
A Dual-Attention Graph Network for fMRI Data Classification
arxiv.org·21h
🌀Differential Geometry
Uncalibrated Reasoning: GRPO Induces Overconfidence for Stochastic Outcomes
arxiv.org·1d
🔲Proof Irrelevance
Nonparametric learning of stochastic differential equations from sparse and noisy data
arxiv.org·2d
🧠Machine Learning
Adaptive Autonomous Agent Calibration Via Dynamic Bayesian Meta-Learning
dev.to·1d·
Discuss: DEV
📊Quantization
How Causal Abstraction Underpins Computational Explanation
arxiv.org·2d
✨Effect Handlers
Automated Cloud Resource Allocation via Hybrid Reinforcement Learning and Bayesian Optimization
dev.to·9h·
Discuss: DEV
🌊Streaming Systems