Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.toยท21hยท
Discuss: DEV
๐ŸŒŠStream Processing
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.comยท21hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Song recommendations from F# combinators
blog.ploeh.dkยท2d
๐Ÿ”—Functional Compilers
Cactus Language โ€ข Syntax 12
inquiryintoinquiry.comยท6h
๐Ÿ“Concrete Syntax
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท16h
๐Ÿ“Concrete Syntax
Counting with Categories (Part 3)
golem.ph.utexas.eduยท1d
ฮปLambda Formalization
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.orgยท1d
๐ŸŽฏPerformance Proofs
Fixes for five Lix CVEs
lix.systemsยท1dยท
Discuss: Lobsters
โ„๏ธNix Adoption
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.meยท2dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Lisp
Donkey Kong Country 2 and Open Bus
jsgroth.devยท5h
๐ŸŽฎGameBoy Architecture
My AI Workflow for Understanding Any Codebase
steipete.meยท11h
โšกProof Automation
Mastering Malware Analysis: A SOC Analystโ€™s Guide to Dynamic Analysis with AnyRun
infosecwriteups.comยท14h
๐Ÿฆ Malware Analysis
Field Sensitive Escape Analysis in Golang?
reddit.comยท17hยท
Discuss: r/golang
๐Ÿง Lisp Dialects
LR(1) parse-tables generator
github.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”Z3 Parsing
HariSekhon/DevOps-Bash-tools
github.comยท20h
๐ŸšShell Automation
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.ioยท2d
ฮปLambda Encodings
Proving that every program halts
ntietz.comยท2d
๐Ÿ‘‘Isabelle
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.comยท14h
โฌ†๏ธLambda Lifting
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.devยท1dยท
Discuss: Hacker News, r/javascript, r/webdev
๐Ÿฆ€Rust Macros
Lessons from LangChain and Slack and MCP Integration
medium.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Topological Sorting