Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·1d
🧮Combinator Calculus
Why do CPUs have multiple cache levels?
fgiesen.wordpress.com·26m·
Discuss: Hacker News
⚡Cache Optimization
Eon – An Effects-Based OCaml Nameserver
ryan.freumh.org·8h·
Discuss: Lobsters, Hacker News
📡Network Serialization
Learning Typst
sumnerevans.com·5h
🎮Language Ergonomics
The Custom Conveyor: Building Your Own Iterators
dev.to·13h·
Discuss: DEV
🪢Rope Data Structures
In this small thread, I'll break down how you can create full-length movies or anime with Grok 4 Imagine.
threadreaderapp.com·5h
🌱Forth Kernels
How Google Translate & ChatGPT Work: The Transformer, Unboxed
proceedings.neurips.cc·2d·
Discuss: DEV
🌊Streaming Lexers
Why don't I ever hear about C frameworks?
reddit.com·2h·
Discuss: r/C_Programming
🪄C Metaprogramming
Three Solutions to Nondeterminism in AI
blog.hellas.ai·3d·
Discuss: Hacker News
✅Type Checking
Vibing a Non-Trivial Ghostty Feature
simonwillison.net·1h
🌈Gradual Languages
Item Patterns and Struct Await
noratrieb.dev·1d·
Discuss: Hacker News
🛡️Error Handling
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·1d
📋JSON Parsing
Memgoose – An In-Memory Mongoose Impersonator
github.com·8h·
Discuss: Hacker News
📡Protocol Buffers
IASC: Interactive Agentic System for ConLangs
arxiv.org·1d
🔄Incremental Lexing
Farewell-to-Framework-Bloat-How-I-Rediscovered-Simplicity-Without-Sacrificing-Performance
dev.to·2d·
Discuss: DEV
📦Monorepos
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·4d
🎭Staged Interpreters
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
📏Linear Haskell
Scaling LLM Multi-turn RL with End-to-end Summarization-based Context Management
arxiv.org·2d
💬Interactive REPLs
Active Confusion Expression in Large Language Models: Leveraging World Models toward Better Social Reasoning
arxiv.org·1d
🔍ML Language
A little update on my algorithm visualization project. Would love your feedback!
reddit.com·3h·
Discuss: r/webdev
🔗Graph Rewriting