Opportunistically Parallel Lambda Calculus
dl.acm.org·3d·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·4h·
Discuss: Hacker News
🏗️Compiler Design
Flag this post
Building Yantra: A Visual Workflow Automation Engine
patali.dev·7h·
Discuss: Hacker News
⚡Systems Performance
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·1d·
Discuss: Hacker News
🔬PLT
Flag this post
My First Multi-GPU Kernel: Writing All-to-All for AMD MI300X
gau-nernst.github.io·9h·
Discuss: Hacker News
🖥️Computer Architecture
Flag this post
Absurd Workflows: Durable Execution With Just Postgres
lucumr.pocoo.org·10h·
Discuss: Lobsters, Hacker News
🌳Tree-sitter
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·3d·
Discuss: Lobsters, Hacker News
⚡Systems Performance
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·2d·
Discuss: Hacker News
🏗️Compiler Design
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·18h·
Discuss: Hacker News
🚀JIT Compilation
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·16h·
Discuss: Hacker News
🏗️Compiler Design
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
🔌RISC-V
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·15h·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·1d·
Discuss: Substack
💻Programming
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.net·11h·
Discuss: Hacker News
🚀JIT Compilation
Flag this post
Java's Agentic Framework Boom Is a Code Smell
gnanaguru.com·1d·
Discuss: Hacker News
🔓Open Source
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·2d·
Discuss: Hacker News
🔌RISC-V
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·18h·
Discuss: Hacker News
🔤Text Algorithms
Flag this post
A Practitioner's Guide to Kolmogorov-Arnold Networks
arxiviq.substack.com·16h·
Discuss: Substack
🏗️Compiler Design
Flag this post
Programming for Computations: Matlab/Octave
link.springer.com·5h·
Discuss: Hacker News
🔬PLT
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.org·19h·
Discuss: Hacker News
🔬PLT
Flag this post