Feeds to Scour
SubscribedAll
Scoured 13826 posts in 146.7 ms
Java Generics and Collections • Maurice Naftalin & Stuart Marks
youtube.com·1d
🔬Refinement Types
Preview
Report Post
Halting Problem
en.wikipedia.org·2h·
Discuss: Hacker News
🔍Type Inference
Preview
Report Post
**Master Python Type Hints: 8 Advanced Techniques for Cleaner, Error-Free Code**
dev.to·1h·
Discuss: DEV
🔤Type Theory
Preview
Report Post
LLM's and Smaller, Less Popular Programming Languages
scottarbeit.com·1d·
Discuss: Hacker News
💻Programming languages
Preview
Report Post
Issue 506
haskellweekly.news·2d
🔗Functional Compilers
Preview
Report Post
Automated Theorem Proving for Prolog Verification
arxiv.org·2d
🧮Theorem Proving
Preview
Report Post
Java gives a status update about new language features -- Constant Patterns and Pattern Assignment!
mail.openjdk.org·21h·
Format Verification
Preview
Report Post
The Monospace Web
owickstrom.github.io·1d
🔤Font Archaeology
Preview
Report Post
The Rustonomicon – The Dark Arts of Advanced and Unsafe Rust Programming
doc.rust-lang.org·1h·
Discuss: Hacker News
🦀Rust Borrowing
Preview
Report Post
Beyond Python: Why LLMs Need More Stable, Open Source Code
thenewstack.io·5h
🔄Language Evolution
Preview
Report Post
Type inference of all constructs and the next 15 months
elixir-lang.org·1d·
🏛️Agda
Preview
Report Post
A Zeckendorf table
leancrew.com·5h
🎞️Tape Combinatorics
Preview
Report Post
BASIC Programming With No Strings Attached
hackaday.com·15h
🔗Concatenative Programming
Preview
Report Post
Alex-Ozun/swift-effect: Algebraic Effects and Effect Handlers for Swift
github.com·1d
Effect Handlers
Preview
Report Post
research!rsc: Pulling a New Proof from Knuth’s Fixed-Point Printer
research.swtch.com·7h·
📐Interval Arithmetic
Preview
Report Post
The Emperor Has No Clothes: How to Code Claude Code in 200 Lines of Code
mihaileric.com·2d·
Proof Automation
Preview
Report Post
Submitting Haskell functions to Z3
newartisans.com·5d
🔗Functional Compilers
Preview
Report Post
Data Science Spotlight: Selected Problems from Advent of Code 2025
towardsdatascience.com·1d
🌳Trie Structures
Preview
Report Post
Automatic async to sync code conversion
psycopg.org·9h·
Discuss: Hacker News
🌳Incremental Parsing
Preview
Report Post
Limited Math: Aligning Mathematical Semantics with Finite Computation
arxiv.org·1d
λLambda Encodings
Preview
Report Post

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