๐ŸŽฒ Python to Bootstrap OpenShift Gitops
stephennimmo.comยท2h
๐Ÿš‚Cranelift Backend
Death of a lens(man)
dev.toยท2dยท
Discuss: DEV
๐Ÿ”—Lexical Scoping
Coco โ€“ Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.deยท5dยท
Discuss: Hacker News
๐Ÿ”ฎType Inference Visualization
Asynchronous Exceptions in Practice (2017)
simonmar.github.ioยท21hยท
Discuss: Hacker News
๐Ÿ”—Concurrency Primitives
A formal proof of CโˆžISRT
bsky.appยท2dยท
โ™พ๏ธCodata Types
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.orgยท12h
๐ŸงชTesting Compilers
From Spaghetti to Simplicity
koolcodez.comยท16hยท
Discuss: Hacker News
๐Ÿ“ฆMonorepos
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.comยท1dยท
Discuss: Hacker News
๐ŸŒฑMinimal Lisps
Publishing to PyPI: My ML Preprocessing Package for Newbies
dev.toยท1hยท
Discuss: DEV
๐Ÿ”ML Language
Status Week 37
blogs.gnome.orgยท21h
โš™๏ธTOML Parsers
Devlog - whats, whys and hows.
mama666.itch.ioยท2h
๐ŸŒ™Lua
Mastering JavaScript Booleans: A Complete Guide with Examples & Best Practices
dev.toยท7hยท
Discuss: DEV
๐Ÿ“Rope Editors
Combating headcrabs in the Source SDK codebase
dev.toยท4hยท
Discuss: DEV
๐Ÿฆ€MIR Optimization
Optimization makes AI fluent, but does it kill meaning?
reddit.comยท15hยท
Discuss: r/LLM
๐ŸชœRecursive Descent
Show HN: Semlib โ€“ Semantic Data Processing
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”ML Language
Swiftide 0.31 ships graph like workflows, langfuse integration, prep for multi-modal pipelines
reddit.comยท2hยท
Discuss: r/rust
๐Ÿš‚Cranelift Backend
Greyscale-box test-driven development
blog.ploeh.dkยท21h
๐ŸงชCompiler Testing
Caffeinated Commits- Day 3
dev.toยท23hยท
Discuss: DEV
๐ŸŽ“Teaching Compilers
Functional Patterns Don't Fit JavaScript, Embracing Model View Controller
bonaroo.nlยท1dยท
Discuss: Hacker News
๐Ÿ›๏ธElm Architecture