Feeds to Scour
SubscribedAll
Scoured 11640 posts in 1.23 s
Multi-clocked Guarded Recursion Beyond {\omega}
arxiv.org·15h
λLambda Encodings
Preview
Report Post
Some Lean Syntax for Knuckledragger
philipzucker.com·20h
🧠Lisp Dialects
Preview
Report Post
Indexed Reverse Polish Notation, an Alternative to AST
burakemir.ch·3d·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
Advent of Swift
leahneukirchen.org·1d
🔗Lisp
Preview
Report Post
Tautological assertions are not always caused by aliasing
blog.ploeh.dk·4h
⚖️Hoare Logic
Preview
Report Post
REshare Ramblings - Bad Vibes with IDA
scrapco.de·2d
🔧KAITAI
Preview
Report Post
REMODEL-LLM: Transforming C code to Java using LLMs
arxiv.org·15h
🔩Systems Programming
Preview
Report Post
TLA+ modeling tips
muratbuffalo.blogspot.com·1h·
Discuss: www.blogger.com
⚙️TLA+
Preview
Report Post
Rust's v0 mangling scheme in a nutshell
purplesyringa.moe·5h·
Discuss: Hacker News
🦀Rust Macros
Preview
Report Post
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·2d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
The evolution of an extension language: a history of Lua
lua.org·1d
🔄Language Evolution
Preview
Report Post
What 30 Years of Python Reveal About Programming Language Design?
dev.to·5h·
Discuss: DEV
💻Programming languages
Preview
Report Post
MCP Writing Code to Call MCP: MCPs All the Way Down
rouxbot.com·1d·
Discuss: Hacker News
🛡️WASM Sandboxing
Preview
Report Post
When LICM fails us
xania.org·1d·
Discuss: Hacker News
🎯Gradual Typing
Preview
Report Post
Surviving the RAM Squeeze: Efficiency Tips for JavaScript Developers
blog.codeminer42.com·4d
🧠Memory Allocators
Preview
Report Post
Writing a mockable Filesystem trait in Rust without RefCell
pyk.sh·8h·
Discuss: Hacker News
🦀Rust Verification
Preview
Report Post
Type Stripping with Zero Dependencies
termer.net·2d·
Discuss: Hacker News
🎯Gradual Typing
Preview
Report Post
Gist of Go: Concurrency is out!
antonz.org·3d
⚔️Lean Tactics
Preview
Report Post
ClickHaskell 1.0.0 is out
github.com·1d·
Discuss: Lobsters
🔗Functional Compilers
Preview
Report Post
Closures as Win32 window procedures
nullprogram.com·3d
🚀Compiler Optimizations
Preview
Report Post