Implicit `operator bool` participates in comparison
quuxplusone.github.io·1d
🦀Rust Verification
Experiments With Sonnet 4.5's Fiction
lesswrong.com·6h·
Discuss: Hacker News
🔗Concatenative Languages
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·20h·
Discuss: Hacker News
🎧Learned Audio
There will soon be AI agents working on our behalf
blog.cip.org·22h·
Discuss: Hacker News
🔲Cellular Automata
An enough week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
📈Linear programming
IKNet: Interpretable Stock Price Prediction via Keyword-Guided Integration of News and Technical Indicators
arxiv.org·1d
🧠Learned Indexing
Nicholas Renotte: I Spent 6 Weeks using Reinforcement Learning to Beat This GoDot Game
dev.to·9h·
Discuss: DEV
⚔️Lean Tactics
Title: The Complexity of ChatGPT's Model Picker: A Comprehensive Analysis
dev.to·1d·
Discuss: DEV
🌳Context free grammars
M\"obius transforms and Shapley values for vector-valued functions on weighted directed acyclic multigraphs
arxiv.org·3d
🕸️Graph Algorithms
Programmer in Wonderland
binaryigor.com·2d·
Discuss: Hacker News
🔩Systems Programming
Scriptable mutating admission hook?
reddit.com·1d·
Discuss: r/kubernetes
🎯Gradual Typing
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·1d
📼Cassette Combinators
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org·1d
💻Local LLMs
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🔄Language Evolution
Sorting encrypted data without decryption: a practical trick
dev.to·1d·
Discuss: DEV
🔐Hash Functions
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·1d
⚙️Compression Benchmarking
Announcing state-machines: Rust Port of Ruby's state_machines Gem
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Complete Guide to Audio Processing in Python: From Spectrograms to Real-Time Applications
dev.to·8h·
Discuss: DEV
📊Spectral Analysis
In-Depth Analysis: "Attention Is All You Need"
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression