Feeds to Scour
SubscribedAll
Scoured 9708 posts in 385.7 ms
Towards Weak Stratification for Logics of Definitions
arxiv.org·11h
📝Term Rewriting
LLMs versus the Halting Problem: Revisiting Program Termination Prediction
orensultan.com·1d·
Discuss: Hacker News
🔍CBMC
I Am Not a Functional Programmer
blog.daniel-beskin.com·2h·
Discuss: r/programming
λFunctional Programming
A Complexity Bound for Determinisation of Min-Plus Weighted Automata
arxiv.org·1d
🔀Brzozowski Derivatives
Logic for Programmers New Release and Next Steps
buttondown.com·2h
🔬Static Analysis
Lambda cube
en.wikipedia.org·2d·
Discuss: Lobsters
🧮Lambda Calculus
Mastering Slow Query Optimization in Legacy Go Codebases
dev.to·8h·
Discuss: DEV
🏃Escape Analysis
clojure.spec - Rationale and Overview
clojure.org·2d·
Discuss: Hacker News
📦Module Systems
Formally Verifying PBS Kids with Lean4
shadaj.me·2d·
Discuss: Hacker News
🎮Verification Games
Beta Release: Predicated Recursive Descent for Rust
wareya.wordpress.com·3d·
Discuss: Hacker News
🧩Parser Combinators
How not to program in Dyalog APL
toolofthought.com·5h·
Discuss: Lobsters, Hacker News
📝Nix Language
Show HN: 32KB deductive engine that catches LLM hallucinations
news.ycombinator.com·6h·
Discuss: Hacker News
🧮Z3
Millets: A practical memory-safety and thread-safety experiment
eagledot.xyz·1d·
Discuss: Lobsters, Hacker News
🏃Escape Analysis
The Gumbel-Max Trick
blog.quipu-strands.com·22h·
Discuss: Hacker News
⏱️Computational Complexity
Wirth's Revenge
jmoiron.net·3h·
Discuss: Lobsters, Hacker News
λFunctional Programming
impl Rust: Avro IDL tool in Rust via ANTLR
youtube.com·1d
🧩Parser Combinators
java sucks (2000)
jwz.org·22h·
Discuss: Lobsters
📝Nix Language
Do Transformers Really Perform Bad for Graph Representation?
dev.to·15h·
Discuss: DEV
🕸️Graph Theory
"Five-Point Haskell": Total Depravity (and Defensive Typing)
blog.jle.im·2d·
Discuss: Lobsters, Hacker News, r/programming
🎯GADT
Functional Programming Bits in Python
martynassubonis.substack.com·1d·
Discuss: Substack, r/programming, r/webdev
λFunctional Programming

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help