Feeds to Scour
SubscribedAll
Scoured 256131 posts in 1.32 s
JavaScript vs Go: A Deep Dive into Syntax and Philosophy
dev.toยท9hยท
Discuss: DEV
๐Ÿ”งNickel
Preview
Report Post
Postgres client in Standard ML
bsky.appยท12hยท
Discuss: Bluesky
๐Ÿ“Standard ML
Preview
Report Post
GNU Mes and the moduleย system
ekaitz.elenq.techยท1dยท
๐Ÿ”งScheme Macros
Preview
Report Post
Meeting Seed7
genodians.orgยท1d
๐ŸŒฑForth Kernels
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.orgยท1d
๐ŸงฎTheorem Provers
Preview
Report Post
Port of Statistical Rethinking (2nd edition) code to Julia
shmuma.github.ioยท6hยท
Discuss: Hacker News
๐Ÿ”ML Language
Preview
Report Post
GHC 9.12.3 is now available
haskell.orgยท1d
๐Ÿ“Linear Haskell
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.orgยท9h
โš™๏ธConfiguration Parsing
Preview
Report Post
TRUNAJOD: A text complexity library for text analysis built on spaCy โ€” TRUNAJOD 0.1.1 documentation
trunajod20.readthedocs.ioยท13h
๐Ÿ”คLanguage Tokenizers
Preview
Report Post
Cheney on the M.T.A.
plover.comยท2d
๐Ÿ”„Tail Recursion
Preview
Report Post
Software Architecture with C++: Designing robust C++ systems with modern architectural practices, Edition 2 by Andrey Gavrilin, Adrian Ostrowski, Piotr Gaczkowski
play.google.comยท2dยท
Discuss: r/cpp
๐Ÿ’ฌSmalltalk VMs
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.comยท1dยท
๐ŸŽฏSymbolic Execution
Preview
Report Post
Resolving Names Once and for All
thunderseethe.devยท1dยท
๐Ÿ”—Lexical Scoping
Preview
Report Post
Tackling Unmaintainable Complexity with Automation: Building a Multi-Tenant SaaS Solo
ko-chan.github.ioยท12hยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
Preview
Report Post
C Right-Left Rule (Rick Ord's CSE 30
cseweb.ucsd.eduยท1d
๐Ÿช„C Metaprogramming
Preview
Report Post
Self-Supervised Temporal Pattern Mining for circular manufacturing supply chains with embodied agent feedback loops
dev.toยท6hยท
Discuss: DEV
๐ŸŒŠDataflow Languages
Preview
Report Post
No, Small Models Are Not the "Budget Option" (English)
mostlylucid.netยท2h
๐Ÿš‚Error Propagation
Preview
Report Post
The Excellent Schemer
codemag.comยท4d
๐Ÿ”งScheme Macros
Preview
Report Post
Unlocking the value of C++20 - Alex Dathskovsky
youtube.comยท3hยท
Discuss: r/cpp
๐ŸŽ“Teaching Compilers
Preview
Report Post