Delimited Continuations in Lone Lisp
matheusmoreira.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🔮Lisp Interpreters
AI Under the Hood Part I: Understanding the Machine
kennethwolters.com·2d·
Discuss: Hacker News
⚡Tokenizer Optimization
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·9h·
Discuss: r/programming
🧠Memory Models
Property-based testing of batch-invariant operations
mmaaz.ca·4h·
Discuss: Hacker News
🎲Property Testing
LLMs are badly misaligned
lesswrong.com·13h
✅Type Checking
Functional Threading “Macros”
aartaka.me·21h
🪄Syntax Macros
1GHz Renesas RA8T2 Cortex-M85 MCUs feature MRAM and EtherCAT for industrial motor control
cnx-software.com·2h
🔌Microcontrollers
Writing a Dictation Application
osada.blog·8h
📚Self-Documenting Code
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·16h·
Discuss: Hacker News
💬Interactive REPLs
Beyond Von Neumann: Toward a unified deterministic architecture
venturebeat.com·1d
🤝Cooperative Threading
why & how i learnt ML
abinesh-mathivanan.vercel.app·19h·
Discuss: r/programming
🔍ML Language
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·14h·
Discuss: DEV
🧮Theorem Provers
Generative AI finds antimicrobial peptides against multidrug-resistant bacteria
nature.com·1d·
Discuss: Hacker News
🗺️Region Inference
Four years, Five failures, One compiler
daymare.net·18h·
Discuss: Hacker News, r/programming
🌱Minimal Languages
XiangShan Vector Floating-Point Unit Design
docs.xiangshan.cc·1d·
Discuss: Hacker News
🎯Bit Vectors
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·8h·
Discuss: Hacker News
🔢Algebraic Datatypes
Stochastic Activations
gonzoml.substack.com·1d·
Discuss: Substack
🗺️Region Inference
[Tool] Ollama Bench - Parallel benchmark tool with real-time TUI, multi-model comparison, and comprehensive performance metrics
reddit.com·7h·
Discuss: r/LocalLLaMA
🏁Language Benchmarks
Sampling at Negative Temperature
cavendishlabs.org·7h·
Discuss: Hacker News
🔗Lexical Scoping
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
Discuss: Lobsters, Hacker News
⚡functional programming