Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·4h·
Discuss: Hacker News
🧠Computer Architecture
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·1h·
Discuss: Hacker News
🦀Rust
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·1d·
Discuss: Hacker News
✅Formal Verification
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·2d·
Discuss: Hacker News
📦WebAssembly
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·18h·
Discuss: Hacker News
✅Formal Verification
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
github.com·21h·
Discuss: r/compsci, r/programming
⚡Performance Engineering
Flag this post
A Practitioner's Guide to Kolmogorov-Arnold Networks
arxiviq.substack.com·16h·
Discuss: Substack
📡Distributed Systems
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·16h·
Discuss: Hacker News
✅Formal Verification
Flag this post
My First Multi-GPU Kernel: Writing All-to-All for AMD MI300X
gau-nernst.github.io·9h·
Discuss: Hacker News
⚡Performance Engineering
Flag this post
LangChain Might Be the New WordPress of AI
designveloper.com·18h·
Discuss: r/programming
📦WebAssembly
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust
Flag this post
Scala vs. F#
alexn.org·7h·
Discuss: Hacker News
📦WebAssembly
Flag this post
Machine Scheduler in LLVM – Part II
myhsu.xyz·1d·
Discuss: Hacker News, Hacker News
⚡Performance Engineering
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·15h·
Discuss: Hacker News
🦀Rust
Flag this post
Writing FreeDOS Programs in C
freedos.org·20h·
Discuss: Hacker News
🔌Network Programming
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·3d·
Discuss: Lobsters, Hacker News
✅Formal Verification
Flag this post
Handbook of Satisfiability (2021)
iospress.com·22h·
Discuss: Hacker News
✅Formal Verification
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·15h·
Discuss: Hacker News
🦀Rust
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·18h·
Discuss: Hacker News
🦀Rust
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·23h·
Discuss: Substack
⚡Performance Engineering
Flag this post