How to Build an Origami Computer
quantamagazine.org·16h·
Discuss: Hacker News
🎞️Tape Combinatorics
Flag this post
Formalising external APIs
gleam.run·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Small Fine-Tuned Models Are All You Need
blog.oumi.ai·4h·
Discuss: Hacker News
💻Local LLMs
Flag this post
Arrows to Arrows, Categories to Queries
reasonablypolymorphic.com·3d·
Discuss: Hacker News
🧮Algebraic Datatypes
Flag this post
What is PL research and how is it useful?
pl-enthusiast.net·1d·
Discuss: Hacker News
💻Programming languages
Flag this post
Optimizing Text Offset Calculations
beeb.li·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Modeling Identity Types
bartoszmilewski.com·1d·
Discuss: Hacker News, Hacker News
🔶Cubical Type Theory
Flag this post
Python 3.14 and the End of the GIL
towardsdatascience.com·1d
🌳Incremental Parsing
Flag this post
The future of Python web services looks GIL-free
blog.baro.dev·14h·
Discuss: Lobsters, Hacker News
🌊Stream Processing
Flag this post
High-Performance Tiered Memory Pool for Go with Weak References and Smart Buffer Splitting
github.com·1d
🧠Memory Allocators
Flag this post
Gemini and I Wrote a Book: Introduction to Computational Linguistics
dubovik.eu·17h·
Discuss: Hacker News
📝Concrete Syntax
Flag this post
ShinkaEvolve in Action: How a Human-AI Partnership Conquered a Coding Challenge
sakana.ai·3d·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
Conversational Architecture with LLM Intelligence — SemanticCue v1
dev.to·13h·
Discuss: DEV
🌀Brotli Internals
Flag this post
Why formalize mathematics – more than catching errors
rkirov.github.io·1d·
Discuss: Lobsters, Hacker News
🔬Lean
Flag this post
Solving the NYTimes Pips puzzle with a constraint solver
righto.com·1d·
Discuss: Hacker News
🧮Z3 Solver
Flag this post
Rocks, minds, and Turing machines – what does it mean to compute?
thefriendlyghost.nl·1d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
[D] Found error at published Neurips paper
reddit.com·1d·
Discuss: r/MachineLearning
🎯Performance Proofs
Flag this post
Skia: Exposing Shadow Branches
dl.acm.org·3d·
Discuss: Hacker News
⚡CPU Microarchitecture
Flag this post
Visualizing the C++ Object Memory Layout Part 1: Single Inheritance
sofiabelen.github.io·7h·
Discuss: r/cpp, r/programming
🦀Rust Borrowing
Flag this post
The Best Way to Learn Might Be Starting at the End
interjectedfuture.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post