Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·9h·
Discuss: Hacker News
🦀Rust
Flag this post
Packers tight end Tucker Kraft has torn ACL: Source
nytimes.com·29m
💻programming
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·1d·
Discuss: Hacker News
🔧functional programming languages
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
github.com·3h·
Discuss: Hacker News
🦀Rust
Flag this post
How to Use Multimodal AI Models With Docker Model Runner
docker.com·4h
🔧Tooling
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·1d·
Discuss: Hacker News
📐Type Theory
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·23h·
Discuss: Hacker News
🦀Rust
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·6h
📐Type Theory
Flag this post
Writing Your First Compiler - Part 3: Lexical Analysis
dev.to·2h·
Discuss: DEV
⚠️Error Handling
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Weak-To-Strong Generalization
lesswrong.com·1d
📐Type Theory
Flag this post
OSS updates September and October 2025
blog.michielborkent.nl·17h
🦀Rust
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·12h
⚠️Error Handling
Flag this post
How I built an AI productivity assistant with Vercel AI Elements
blog.logrocket.com·2h
🔧functional programming languages
Flag this post
GSoC 2025: Introducing an ABI Lowering Library
blog.llvm.org·17h
🦀Rust
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·11h·
Discuss: Hacker News
🦀Rust
Flag this post
I'm a beginner at C and I would like feedback about the optimisation of my code
reddit.com·1d·
💻programming
Flag this post
A PERSONAL COMPUTING ENVIRONMENT THAT I CAN RELY ON?
logicgrimoire.wordpress.com·3h
🔧functional programming languages
Flag this post
Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
sebastianraschka.com·14h·
Discuss: r/LLM
🔧functional programming languages
Flag this post
Handbook of Satisfiability (2021)
iospress.com·1d·
Discuss: Hacker News
🔧functional programming languages
Flag this post