Feeds to Scour
SubscribedAll
Scoured 11618 posts in 212.5 ms
Building an Interpreter in Rust: A Journey Through Lexical Analysis, Parsing, and Evaluation
dev.to·6d·
Discuss: DEV
📋Tokei
Preview
Report Post
Profunctors, Arrows, & Static Analysis
elvishjerricco.github.io·5d·
Discuss: Hacker News
🐻Polars
Preview
Report Post
Formally Verifying Peephole Optimisations in Lean
l-m.dev·5d·
Discuss: Hacker News
⚙️Query Compilers
Preview
Report Post
PhD Thesis An INFORMATION THEORETIC APPROACH TO THE EXPRESSIVENESS OF PROGRAMMING LANGUAGES by Joseph Ray Davidson July 2015
macs.hw.ac.uk·3d
🔄Concurrency
Preview
Report Post
What F# Knows About Functors and What Comes Next
dev.to·1d·
Discuss: DEV
⚙️Query Compilers
Preview
Report Post
Functional Equality (rewrite)
jonathanwarden.com·5d·
Discuss: r/programming
🛡️Memory Safety
Preview
Report Post
Learn TypeScript in Y Minutes
learnxinyminutes.com·3d
📋Tokei
Preview
Report Post
The Slice Type - The Rust Programming Language
doc.rust-lang.org·4d·
Discuss: DEV
🦀Rust Scientific
Preview
Report Post
SDSL : a new/old shader programming language
stride3d.net·3d·
Discuss: r/programming
⚙️Query Compilers
Preview
Report Post
Treating Functions as Vectors in Hilbert Space
hackaday.com·1d
🔢NumPy
Preview
Report Post
Favorite Compiler and Interpreter Resources
eatonphil.com·1d·
Discuss: Hacker News
⚙️Query Compilers
Preview
Report Post
Understanding Vibe Proving | Towards Data Science
towardsdatascience.com·5d
⚙️Query Compilers
Preview
Report Post
The history of Shen condensed in a few pages.
groups.google.com·5d·
Discuss: Hacker News
⚙️Query Compilers
Preview
Report Post
FASTRIC: Prompt Specification Language for Verifiable LLM Interactions
arxiv.org·4d
📋Tokei
Preview
Report Post
From Runtime Explosions to Compiler Checked Simplicity · paul-samuels.com
paul-samuels.com·5d·
Discuss: Hacker News
⚙️Query Compilers
Preview
Report Post
Big Project I'm making
dev.to·6d·
Discuss: DEV
📋Tokei
Preview
Report Post
Holiday Episode
corrode.dev·2d·
Discuss: r/rust
🦀Rust Scientific
Preview
Report Post
Rethinking Absence: A Gentle Introduction to the Option Type in TypeScript
npmjs.com·2d·
Discuss: DEV
🐻Polars
Preview
Report Post
Writing an NES emulator in Haskell
arthi-chaud.github.io·2d·
⚙️Query Compilers
Preview
Report Post
Port of Statistical Rethinking (2nd edition) code to Julia
shmuma.github.io·3h·
Discuss: Hacker News
🐍Scientific Python
Preview
Report Post