Reinventing Assertions
beust.com·1d·
Discuss: Hacker News
🎮Verification Games
Flag this post
[R] Should I still write up my clinical ML project if the results aren’t “amazing”? Metrics in body!!
reddit.com·9h·
Discuss: r/MachineLearning
📐Linear Algebra
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·11h·
Discuss: Substack
🧩Parser Combinators
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
Writing an LLM from scratch, part 25 – instruction fine-tuning
gilesthomas.com·3d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·2d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Nonmonotonic Logic
cambridge.org·5d·
Discuss: Hacker News
🔁Fixpoint Theory
Flag this post
Genesis Code: Seed-Based 3D World Cloning
dev.to·5h·
Discuss: DEV
🔲Cellular Automata
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·10h·
Discuss: Lobsters, Hacker News
💻CLI Tools
Flag this post
Ajla Tutorial
ajla-lang.cz·2d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·1d·
Discuss: Hacker News
📚Automata Learning
Flag this post
How to Data Engineer the ETLFunnel Way
dev.to·18h·
Discuss: DEV
📊Runtime Verification
Flag this post
Show HN: Everything it took to run an LLM at 10k tok/s on H200s
relace.ai·3d·
Discuss: Hacker News
🔧ppx
Flag this post
How to Use Zorn's Lemma
gowers.wordpress.com·6d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.com·2d
🔄Finite State Machines
Flag this post
Enhanced Selective Ligand Capture via Self-Assembling Molecular Imprinting Polymers and Machine Learning Optimization
dev.to·6h·
Discuss: DEV
🐫OCaml
Flag this post
Linear Causal Discovery with Interventional Constraints
arxiv.org·2d
📐Linear Algebra
Flag this post
The LLM-First Manifesto: From Prose to Programs
dev.to·1d·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Evidence on language model consciousness
lesswrong.com·1d
📚Automata Learning
Flag this post
Quantum-Resistant Federated Learning with Homomorphic Encryption for Medical Imaging Diagnostics
dev.to·1h·
Discuss: DEV
🧮Lambda Calculus
Flag this post