Feeds to Scour
SubscribedAll
Scoured 7351 posts in 18.7 ms
Soppo: Golang, with the features it's missing 聽馃摝Module Systems
soppolang.dev路3d路Hacker News
hyperscript 0.9.90 has been released! 聽馃敜Language Design
hyperscript.org路1d路Lobsters, Hacker News, r/htmx
A typed functional language that compiles to JavaScript 聽位Functional Programming
peat-lang.fly.dev路12h路Hacker News
Layered Loops: Why 764 AI Agent Sessions Still Needed 21 Human Interventions 聽馃敳Cellular Automata
augmentedcode.dev路4d路Hacker News
Japanese Article: https://zenn.dev/saqula/articles/2361ce8de47570, for explaining https://github.com/aluqas/typelude project. 聽馃惈OCaml
gist.github.com路1d路Hacker News
Show HN: Google Antigravity and Firebase MCP: In 12 Minutes [video] 聽馃Apple Neural Engine
youtube.com路6d路Hacker News
PHP: rfc:closure-optimizations 聽位Functional Programming
wiki.php.net路13h路Hacker News
APL: Evaluator for a Subset of Scheme 聽馃惈OCaml
dfns.dyalog.com路2d路Hacker News
Circuit Transformations, Loop Fusion, and Inductive Proof 聽馃徆Effect Systems
natetyoung.github.io路1d路Hacker News
Which Relations Can Be Generalized Implicitly? 聽馃攣Fixed-Point Theory
lesswrong.com路1d
Incremental Lambda Calculus 聽位Functional Programming
inc-lc.github.io路4d路Hacker News
A Dumb Introduction to z3 聽馃МZ3 Solver
ar-ms.me路1d路Lobsters, Hacker News
Effect Without Effect-TS: Algebraic Thinking in Plain TypeScript 聽馃幆GADT
cekrem.github.io路1d路r/coding, r/functionalprogramming, r/programming, r/typescript, r/webdev
The Exception Butterfly 聽馃敡ppx
valhovey.github.io路3d路Hacker News
Everything Should Be Typed: Scalar Types Are Not Enough 聽馃幆GADT
sot.dev路2d路Lobsters, Hacker News, r/programming, r/rust
Munkres' General Topology Autoformalized in Isabelle/HOL 聽鉃★笍Category Theory
arxiv.org路4d
But what about K? 聽馃攢Brzozowski Derivatives
tony-zorman.com路5d路Lobsters, Hacker News
Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp 聽馃摑Nix Language
jointhefreeworld.org路4d路Lobsters, Hacker News
A Ruby program that generates a Rust program that generates a Scala program... 聽馃敤Compilers
github.com路4d路Hacker News
The Lean Programming Language and Theorem Prover 聽馃МLean4
leodemoura.github.io路3d路Hacker News

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
Save / unsave
s
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