Feeds to Scour
SubscribedAll
Scoured 11719 posts in 746.7 ms
Multi-clocked Guarded Recursion Beyond {\omega}
arxiv.org·14h
λLambda Encodings
Preview
Report Post
Tautological assertions are not always caused by aliasing
blog.ploeh.dk·3h
⚖️Hoare Logic
Preview
Report Post
Understanding Mathematics Through Lean
bytesauna.com·11h·
Discuss: Hacker News
🔬Lean
Preview
Report Post
Advent of Swift
leahneukirchen.org·1d
🔗Lisp
Preview
Report Post
Some Lean Syntax for Knuckledragger
philipzucker.com·19h
🧠Lisp Dialects
Preview
Report Post
A very unscientific guide to the security of various PQC algorithms
keymaterial.net·1d·
Discuss: Lobsters
🔲Lattice Cryptography
Preview
Report Post
Rust's v0 mangling scheme in a nutshell
purplesyringa.moe·4h·
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
What 30 Years of Python Reveal About Programming Language Design?
dev.to·4h·
Discuss: DEV
💻Programming languages
Preview
Report Post
Aliasing
xania.org·5h·
Discuss: Hacker News
🚀Compiler Optimizations
Preview
Report Post
How Transformers Think: The Information Flow That Makes Language Models Work
kdnuggets.com·4h
🌲Parse Trees
Preview
Report Post
The evolution of an extension language: a history of Lua
lua.org·1d
🔄Language Evolution
Preview
Report Post
Sign Relations • Definition
inquiryintoinquiry.com·1d
🔍Archive Semantics
Preview
Report Post
Polymorphism, but for Your Database
typedb.com·4d·
Discuss: Hacker News
🧮Algebraic Datatypes
Preview
Report Post
IsEven(int32_t) in O(1)
ceayo.neocities.org·2d·
Discuss: Hacker News
🧪Binary Fuzzing
Preview
Report Post
The cathedral, the bazaar, and statistical workflow
statmodeling.stat.columbia.edu·2d
📰RSS Archaeology
Preview
Report Post
REMODEL-LLM: Transforming C code to Java using LLMs
arxiv.org·14h
⬆️Lambda Lifting
Preview
Report Post
REshare Ramblings - Bad Vibes with IDA
scrapco.de·2d
🔧KAITAI
Preview
Report Post
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.com·6d
🧮Theorem Proving
Preview
Report Post
ClickHaskell 1.0.0 is out
github.com·1d·
Discuss: Lobsters
🔗Functional Compilers
Preview
Report Post