Bending Emacs – Episode 2
irreal.org·5h
🦀Rust Macros
Double Maths First Thing: Issue 39
aperiodical.com·1d
⚙️Proof Engineering
Birds Make an Alarm Call That Spans Species and Continents—and May Offer Insight Into the Evolution of Human Language
smithsonianmag.com·1d
🔲Cellular Automata
Quoting Simon Højberg
simonwillison.net·1d
🦀Rust Macros
LLM Poisoning [1/3] - Reading the Transformer's Thoughts
synacktiv.com·3d
💻Local LLMs
ASP.NET Core 9 Essentials • Albert Tanure & Rafael Herik de Carvalho • GOTO 2025
youtube.com·9h
🌐WASI
Modern Observability Is a Single Braid of Data
thenewstack.io·1d·
Discuss: Hacker News
👁️Observatory Systems
Reverse Engineering keyboard firmware with Ghidra
blog.usedbytes.com·1d·
Discuss: Hacker News
🔓Reverse engineering
Alias and references as localized macros
gustedt.wordpress.com·2d·
Discuss: Hacker News
🦀Rust Macros
Yes, Python is Slow, but it doesn't matter for AI SaaS
fastro.ai·11h·
Discuss: Hacker News
🌊Stream Processing
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·4d·
Discuss: Hacker News
🎯Interactive Provers
Seeing the Big Picture: Evaluating Multimodal LLMs' Ability to Interpret and Grade Handwritten Student Work
arxiv.org·1d
🤖Advanced OCR
Quantifying Data Contamination in Psychometric Evaluations of LLMs
arxiv.org·17h
🧠Intelligence Compression
TTRV: Test-Time Reinforcement Learning for Vision Language Models
arxiv.org·17h
📊Learned Metrics
The Markovian Thinker
arxiv.org·17h
🧠Intelligence Compression
Distilling Reasoning into Student LLMs: Local Naturalness for Selecting Teacher Data
arxiv.org·2d
💻Local LLMs
Context Length Alone Hurts LLM Performance Despite Perfect Retrieval
arxiv.org·1d
🧮Kolmogorov Complexity
Beneficial Reasoning Behaviors in Agentic Search and Effective Post-training to Obtain Them
arxiv.org·17h
🔍Semantic Search