Feeds to Scour
SubscribedAll
Scoured 23709 posts in 1.15 s
EPA ends credits for automatic start-stop vehicle ignition, a feature Zeldin says 'everyone hates'
the-independent.com·59m
🛡️eBPF Programs
Sony Pictures Animation Bosses on ‘KPop’ Netflix Plans, ‘Spider-Verse’ Pressure and Betting on ‘GOAT’
hollywoodreporter.com
·57m
🎬Video Codecs
Vecima Networks Inc. (VCM:CA) Q2 2026 Earnings Call Transcript
seekingalpha.com·57m
📰Feed Readers
Automatic WS2812 Characterization
cpldcpu.com·4d
👁️System Observability
Differential Logic • 2
inquiryintoinquiry.com·6d
⚖️Constraint Logic
The Secret Life of Python: The Safety Net ('try' and 'except')
dev.to·4d·
Discuss: DEV
🧪Binary Fuzzing
Best-Part Python Program: Smart To-Do List (Beginner Pro Friendly)
dev.to·4d·
Discuss: DEV
🔗Concatenative Programming
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·6d
🤝Consensus Protocols
Performance Tip of the Week #62: Identifying and reducing memory bandwidth needs
abseil.io·4d
💨Cache Analysis
Revisiting Regular Types
abseil.io·4d
λLambda Encodings
See, Plan, Snap: Evaluating Multimodal GUI Agents in Scratch
arxiv.org·16h
📟CLI Design
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4
arxiv.org·2d
✅Formal Methods
Vercel-like development setup for Django using Caddy
mliezun.com·58m·
Discuss: Hacker News
🪟Awesome windows command-line
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·6d·
Discuss: Hacker News
🔗Functional Compilers
How to set up Claude Code: a context-first approach
dhirajtourani.com·4d·
Discuss: Hacker News, r/programming
⚡Effectful Programming
Oatmeal - Constraint propagation for fun
eli.li·4d·
Discuss: Lobsters, Hacker News
🧮Z3 Solver
Context Is Part of the Game
joy.pm·4d·
Discuss: Hacker News
✨Effect Handlers
The Next Big Language (2007) by Steve Yegge
steve-yegge.blogspot.com·4d·
Discuss: Hacker News
💻Programming languages
Opus 4.5 really changed things
kylerush.org·3d·
Discuss: Hacker News
📚MARC Evolution
Circumstantial Complexity, LLMs and Large Scale Architecture
datagubbe.se·4d·
Discuss: Lobsters, Hacker News
⚙️Proof Engineering

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