My first fifteen compilers (2019)
blog.sigplan.orgยท18hยท
Discuss: Hacker News
๐Ÿ”ฌNanopasses
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.comยท35mยท
Discuss: Substack
๐Ÿ“กAsync Channels
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท1dยท
Discuss: Hacker News
๐ŸŒฑMinimal Languages
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comยท1d
๐Ÿ›ก๏ธError Handling
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.comยท7mยท
Discuss: Hacker News
โฑ๏ธReal-Time GC
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.comยท2dยท
Discuss: Substack
๐ŸŒˆGradual Languages
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.skยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ“กErlang BEAM
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท1dยท
Discuss: Lobsters, Hacker News
โœ…Type Checking
Flag this post
About writing control systems in C
reddit.comยท20hยท
Discuss: r/embedded
๐Ÿ”€Control Structures
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgยท1d
๐Ÿ“ŠLog Parsers
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.orgยท13hยท
Discuss: Hacker News
๐ŸŒณB+ Trees
Flag this post
Opportunistic Mutation in Roc
roc-lang.orgยท3dยท
Discuss: Hacker News
๐Ÿš‚Error Propagation
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.comยท13hยท
Discuss: Hacker News
๐Ÿช†Embedded DSLs
Flag this post
Scalable Static Analysis Framework โ€“ hardening large C++ codebases (LLVM/Apple)
discourse.llvm.orgยท2dยท
Discuss: Hacker News
๐Ÿ”ชProgram Slicing
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.comยท3dยท
Discuss: Hacker News
๐ŸงชCompiler Testing
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.meยท3dยท
Discuss: r/javascript, r/programming
ฮปLambda Calculus
Flag this post
Web Developer Travis McCracken on Async Queues in Rust vs Python
dev.toยท2hยท
Discuss: DEV
๐Ÿ”งAPI Design
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ—‚๏ธType Indexing
Flag this post
Borrow checker says โ€œNoโ€! An error that scares me every single time!
polymonster.co.ukยท1d
๐Ÿ”’Rust Borrowing
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท1d
๐Ÿ”—Category Theory
Flag this post