Feeds to Scour
SubscribedAll
Scoured 9580 posts in 1.91 s
JavaScript vs Go: A Deep Dive into Syntax and Philosophy
dev.to·4h·
Discuss: DEV
🔗Concatenative Programming
Preview
Report Post
GHC 9.12.3 is now available
haskell.org·22h
💧Liquidhaskell
Preview
Report Post
Horton persistence progress
terracrypt.net·10h
🦀Rust Macros
Preview
Report Post
Meeting Seed7
genodians.org·1d
🦀Rust Macros
Preview
Report Post
What F# Knows About Functors and What Comes Next
dev.to·1d·
Discuss: DEV
💻Programming languages
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.org·4h
💧Liquid Types
Preview
Report Post
How to Help Santa Claus Concurrently
wyounas.github.io·2d·
Discuss: Hacker News
⚖️Hoare Logic
Preview
Report Post
Issue 504
haskellweekly.news·2d
🔗Functional Compilers
Preview
Report Post
Mechanism-Based Intelligence (MBI): Differentiable Incentives for Rational Coordination and Guaranteed Alignment in Multi-Agent Systems
arxiv.org·2d
🔲Cellular Automata
Preview
Report Post
I'm looking for high-level evaluations for a private and unique heuristic logic engine.
reddit.com·1d·
Discuss: r/LLM
🔮Proof Search
Preview
Report Post
GNU Mes and the module system
ekaitz.elenq.tech·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Preview
Report Post
Writing an NES emulator in Haskell
arthi-chaud.github.io·2d·
Discuss: Lobsters, Hacker News
🎯Emulation Accuracy
Preview
Report Post
Why have lower bounds on generics?
blog.jez.io·4d
🧮Algebraic Datatypes
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.kr·11h
✅Formal Methods
Preview
Report Post
Optimizing Bracha's Reliable Broadcast: Shaving Rounds off a 37-Year-Old Algorithm
blog.can.ac·2d
🤝Paxos Consensus
Preview
Report Post
Learn TypeScript in Y Minutes
learnxinyminutes.com·3d
🎯Gradual Typing
Preview
Report Post
Cheney on the M.T.A.
plover.com·2d
⬆️Lambda Lifting
Preview
Report Post
jart/jtckdint: C23 Checked Arithmetic
github.com·1d
💧Liquid Types
Preview
Report Post
Java Janitor Jim – Augmenting Java's Ancient Enum with Proper Collections
javajanitorjim.substack.com·2d·
Discuss: Substack
🧮Algebraic Datatypes
Preview
Report Post
Profunctors, Arrows, & Static Analysis
elvishjerricco.github.io·5d·
Discuss: Hacker News
🧬Functional Programming
Preview
Report Post