LLM DNA: Tracing Model Evolution via Functional Representations
arxiv.org·4h
💻Programming languages
Using an LLM on the Advent of Code
funcall.blogspot.com·15h·
⚔️Lean Tactics
Is sound gradual typing dead? Performance problems in Typed Racket
dl.acm.org·2d·
Discuss: Hacker News
🎯Gradual Typing
A Puzzling Performance Puzzle
kodewerk.com·3h·
Discuss: Hacker News
🧪Binary Fuzzing
Proving the Infinitude of Primes in Knuckledragger
philipzucker.com·2d
🧮Theorem Proving
Sguaba: Type-safe spatial math in Rust
youtube.com·18h
🦀Rust Borrowing
Discrete Fourier Transform
nima101.github.io·2h·
Discuss: Hacker News
📐Error Bounds
Design Patterns Emerging From Multi-Agent AI Systems
dev.to·3h·
Discuss: DEV
🎯Threat Hunting
blog.fsck.com·4h
⚔️Lean Tactics
Subtext Retrospective
subtext-lang.org·4h·
Effect Handlers
The Lowest Level PL
pramatias.github.io·2d·
🦀Rust Macros
Throwing Darts in Latent Space
guille.site·12h·
Discuss: Hacker News
🧠Machine Learning
AutoPrune: Each Complexity Deserves a Pruning Policy
arxiv.org·4h
💎Information Crystallography
From Ambiguity to Verdict: A Semiotic-Grounded Multi-Perspective Agent for LLM Logical Reasoning
arxiv.org·4h
🏛️Isabelle HOL
Brownian motion: Modeling random fields over arbitrary geometries
stopthrowingrocks.github.io·2h·
🕸️Tensor Networks
What Kind of Programming Is Natural Language Programming?
dsyme.net·5h·
Discuss: Hacker News
💻Programming languages
I Made My AI Model 84% Smaller and It Got Better, Not Worse
towardsdatascience.com·15h
🎙️Whisper
Decoding Rotations: Unveiling Hidden Structures in 3D Space by Arvind Sundararajan
dev.to·8h·
Discuss: DEV
📐Projective Geometry
The QMA Singularity
scottaaronson.blog·2d·
🔐Quantum Security
A tutorial for the Mercury programming language
sebastian.graphics·3d·
Discuss: Hacker News
🔗Concatenative Programming