Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Student projects in complex function theory – The Prime Number Theorem and Riemann’s paper
noncommutativeanalysis.wordpress.com·21h
⚔️Lean Theorem
Flag this post
Set theory with types
🔤Type Theory
Flag this post
What To Know Before Building Fluent Bit Plugins With Go
thenewstack.io·1d
💧Liquid Types
Flag this post
The Secret Life of Go
🎯Gradual Typing
Flag this post
Pitch Multiplication (2017)
🎼Audio Lambda Calculus
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
⚙️ABNF Mining
Flag this post
Show HN: Wolfrominoes
🔲Cellular Automata
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🌀Brotli Internals
Flag this post
[D] Looking for resources on “problem framing + operational thinking” for ML ?
🎵Audio ML
Flag this post
Incorporating Self-Rewriting into Large Language Model Reasoning Reinforcement
arxiv.org·2d
💻Programming languages
Flag this post
Evolution Strategies at the Hyperscale
🔲Cellular Automata
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
🦀Rust Macros
Flag this post
Zig in 30 Minutes
🔗Concatenative Programming
Flag this post
Taming the Beast: The Move To Declarative API Validation in Kubernetes - Yongrui Lin, Google
youtube.com·1d
✅Format Validation
Flag this post
LLM on AWS with Bedrock and Understanding Non-Determinism in Generative Models
💻Local LLMs
Flag this post
Where "Simulation" Came From
🔤Type Theory
Flag this post
Loading...Loading more...