An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·1d
🤖Claude code
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·2d
🎮Game Development
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·6d·
Discuss: Hacker News
🔗Functional Programming
Flag this post
Exceptions in Cranelift and Wasmtime
cfallin.org·13h·
Discuss: Lobsters, Hacker News, r/rust
🔗Functional Programming
Flag this post
Cj: a tiny no-deps JIT in C for x86-64 and ARM64
reddit.com·1d·
Discuss: r/programming
🎮Game Development
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·15h·
Discuss: Hacker News
🔗Functional Programming
Flag this post
Facade Pattern — Catalog of Enterprise Application Architecture Patterns 🏢
dev.to·2h·
Discuss: DEV
🔗Functional Programming
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·3d·
Discuss: Hacker News, Hacker News
🔗Functional Programming
Flag this post
Using Coding Agents to Decompile Nintendo 64 Games
blog.chrislewis.au·1d·
Discuss: Hacker News
🎮Game Development
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·2d·
Discuss: Lobsters, Hacker News
🎮Game Development
Flag this post
Using the probabilistic method to bound the performance of toy transformers by Alex Gibson
greaterwrong.com·7h
🔗Functional Programming
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·2d·
Discuss: Hacker News
🔗Functional Programming
Flag this post
Detailed Technical Documentation on AI Implementation Logic (Taking Large Language Models as an Example )
nbtab.com·2d·
Discuss: DEV
🔗Functional Programming
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·2d
🔗Functional Programming
Flag this post
Improving Rust Compile Times by 71 Percent
elijahpotter.dev·1d·
Discuss: Hacker News
🎮Game Development
Flag this post
Lowering in Reverse
buttondown.com·3d·
Discuss: Hacker News
🔗Functional Programming
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·4d·
Discuss: Hacker News
🔗Functional Programming
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·1d·
Discuss: Lobsters, Hacker News, r/Zig, r/programming
🎮Game Development
Flag this post
Autark: Rethinking build systems – Integrate, Don’t Outsource
dev.to·1d·
Discuss: DEV
🎮Game Development
Flag this post
The 5 FREE Must-Read Books for Every LLM Engineer
kdnuggets.com·1d
🔗Functional Programming
Flag this post