Do I want Coders to Code?
🦀Rust
Flag this post
Free Functions Don't Change Performance (Much)
🦀Rust
Flag this post
Low-Level Hacks
🦀Rust
Flag this post
How I built an AI productivity assistant with Vercel AI Elements
blog.logrocket.com·2d
🐪ocaml
Flag this post
I am torn about using Lo
📐Type Theory
Flag this post
Some thoughts on AI and coding
infoworld.com·7h
💻programming
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·1d
⚠️Error Handling
Flag this post
Reversal Invariance in Autoregressive Language Models
arxiv.org·1d
📐Type Theory
Flag this post
Legible vs. Illegible AI Safety Problems
lesswrong.com·19h
🦀Rust
Flag this post
NOWS: Neural Operator Warm Starts for Accelerating Iterative Solvers
arxiv.org·11h
🐪ocaml
Flag this post
Can LLMs subtract numbers?
🐪ocaml
Flag this post
What Is Lua Used for in Programming in 2025?
💻programming
Flag this post
Sable and Able: A Tale of Two ASIs
lesswrong.com·10h
🦀Rust
Flag this post
Loading...Loading more...