A Function Generator From The Past
hackaday.com·23h
🔌Microcontrollers
Let's Write a Macro in Rust
hackeryarn.com·1d·
Discuss: Hacker News
🦀Rust Macros
Monument Engine: Jx
monument.ai·2h·
Discuss: Lobsters
⚡Interpreter Optimization
Three ways formally verified code can go wrong in practice
buttondown.com·1d
📜Proof Languages
Working on Hard Problems
danvk.org·2d
🤐Zipper Structures
Is GRPO Broken?
neelsomaniblog.com·16h·
Discuss: Hacker News
⚡Partial Evaluation
Operable Software
ferd.ca·1d·
Discuss: Hacker News
✅Configuration Validation
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🔍ML Language
Experimenting with ACL2 and Claude Code
mikedodds.org·1d·
Discuss: Hacker News
💬Interactive REPLs
Vibing a Non-Trivial Ghostty Feature
simonwillison.net·1h
🌈Gradual Languages
Generalized Orders of Magnitude (GOOMs)
github.com·2h·
Discuss: Hacker News
🧮Linear Algebra
Estimating Fair Graphs from Graph-Stationary Data
arxiv.org·1d
🗺️Region Inference
A Gaussian Leftover Hash Lemma for Modules over Number Fields
eprint.iacr.org·4d
🔗Borrowing Extensions
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.com·1d·
Discuss: r/rust
⚡Partial Evaluation
Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges
arxiv.org·2d
🎨Graph Coloring
Data-Error Scaling Laws in Machine Learning on Combinatorial Mutation-prone Sets: Proteins and Small Molecules
arxiv.org·1d
✨Effect Inference
Item Patterns and Struct Await
noratrieb.dev·1d·
Discuss: Hacker News
🛡️Error Handling
Nearly Instance-Optimal Parameter Recovery from Many Trajectories via Hellinger Localization
arxiv.org·2d
🪜Recursive Descent
Generalised fractional Rabi problem
arxiv.org·1d
📡Binary Protocols
Emergent Coordination in Heterogeneous Multi-Agent Systems Through Differentiable Communication
dev.to·8h·
Discuss: DEV
📡Erlang