Reserve First
notes.billmill.org·1d
🎯Dependent Preservation
a word to my students
blog.ayjay.org·1d
⚡Proof Automation
From Transcripts to Descriptions: Using Consumer AI Tools for Audio Collection Metadata
saaers.wordpress.com·1h
🔄Archival Workflows
A Complete Guide to Tagging for Personal Knowledge Management
fortelabs.com·20h·
Discuss: Hacker News
🌱Personal Wikis
Marshal madness: A brief history of Ruby deserialization exploits
blog.trailofbits.com·1d·
Discuss: Hacker News
🔒Linear Types
I added a speaker view to my OCaml presentation tool
github.com·2d·
Discuss: Hacker News
⚔️Lean Tactics
pyghidra-mcp: Headless Ghidra MCP Server for Project-Wide, Multi-Binary Analysis
medium.com·7h
👁️System Observability
The Course Difficulty Analysis Cookbook
arxiv.org·12h
🧠Intelligence Compression
GPU Costs Melting Your Budget
dev.to·2d·
Discuss: DEV
🌊Streaming Algorithms
Apriel-Nemotron-15B-Thinker
arxiv.org·2d
💻Local LLMs
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
Bandicoot: A Templated C++ Library for GPU Linear Algebra
arxiv.org·2d
⚡Parallel Computing
Mitigating Easy Option Bias in Multiple-Choice Question Answering
arxiv.org·12h
🗂️Vector Search
A Dual-Attention Graph Network for fMRI Data Classification
arxiv.org·12h
🌀Differential Geometry
Uncalibrated Reasoning: GRPO Induces Overconfidence for Stochastic Outcomes
arxiv.org·1d
🔲Proof Irrelevance
I made a product called Prompt to save and optimize.
dev.to·1d·
Discuss: DEV
🎙️Whisper
Automated Beam-On-Time Chipset Validation via Hyperdimensional Semantic Analysis
dev.to·7h·
Discuss: DEV
🔧Hardware Verification
Nonparametric learning of stochastic differential equations from sparse and noisy data
arxiv.org·2d
🧠Machine Learning
Automated Artifact Evaluation Through Multi-Modal Semantic Graph Analysis and Recursive Scoring
dev.to·4d·
Discuss: DEV
⚡Proof Automation