Feeds to Scour
SubscribedAll
Scoured 124088 posts in 1.78 s
CSCI 49201 - Functional Programming in OCaml
a-nikolaev.github.io·6d·
Discuss: Hacker News
🔧PLT
Announcing TypeScript 6.0 Beta
devblogs.microsoft.com·3h·
Discuss: Hacker News, r/javascript, r/programming, r/typescript
🪜Scala
Graph algebra
en.wikipedia.org·1d
🔧PLT
wordchipper - my next-gen LLM tokenizer; looking for LTR release help
docs.rs·1d·
Discuss: r/rust
🔎Semantic Analysis
Eve-positional languages: putting order into B\"uchi automata
arxiv.org·17h
🔧PLT
Show HN: OCR Arena – A playground for OCR models
news.ycombinator.com·6h·
Discuss: Hacker News
🔎Semantic Analysis
Tuesday 17 February 2026 | IML
informatics.ed.ac.uk·10h
🔧PLT
LISP Prolog and Evolution
blog.samibadawi.com·5h
🔧PLT
LET vs ALLR: Same Drawer, Different Spin
ryortho.com
·7h
🔧PLT
Hyperbolic Functions
mathsisfun.com·3h
🔧PLT
What's up with Haskell's do notation?
slightknack.dev·2d
🪜Scala
Domain Specific Languages
martinfowler.com·1d
🔧PLT
Well-Typed.Com: hs-bindgen 0.1-alpha release
well-typed.com·1d·
Discuss: Lobsters, Hacker News
🪜Scala
Deep C Dives: Undefined Behavior
i-programmer.info·10h
🔍Static Analysis
Lean 4 and the Curry–Howard correspondence
wildonblog.wordpress.com·2d
🔧PLT
Large Language Models for Mortals book
andrewpwheeler.com·12h
🔧PLT
February 11, 2026 11:55
olly.world·10h
🦀Rust
2025 Q4 and 2026 Q1 Newsletter
odin-lang.org·22h
🔍Refinement Types
Using Generative AI tooling with Clojure
dev.solita.fi·22h
🪜Scala
Struggling Towards an Algebraic Theory of Music
reasonablypolymorphic.com·1d·
Discuss: Hacker News
🪜Scala

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