Feeds to Scour
SubscribedAll
Scoured 23696 posts in 366.0 ms
No Good Men | 2026 Berlin Intl. Film Festival Review
ioncinema.com·59m
❄️Nordic Minimalism
South Africa will deploy troops to fight illegal mining and gang violence, president says
the-independent.com·59m
🔐Systems Hardening
PG&E Corporation 2025 Q4 - Results - Earnings Call Presentation (NYSE:PCG) 2026-02-12
seekingalpha.com
·58m
⏱️SMPTE Timecode
Exploring Homebrew for the Pokémon Mini
hackaday.com·59m
🎮Game Cartridge Dumps
Automatic WS2812 Characterization
cpldcpu.com·4d
👁️System Observability
Iveco Group N.V. 2025 Q4 - Results - Earnings Call Presentation (OTCMKTS:IVCGF) 2026-02-12
seekingalpha.com
·56m
📈Time Series
Differential Logic • 2
inquiryintoinquiry.com·6d
⚖️Constraint Logic
Best-Part Python Program: Smart To-Do List (Beginner Pro Friendly)
dev.to·4d·
Discuss: DEV
🔗Concatenative Programming
Function Calling & Tool Schemas
dev.to·4d·
Discuss: DEV
🦀Rust Macros
**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
See, Plan, Snap: Evaluating Multimodal GUI Agents in Scratch
arxiv.org·15h
📟CLI Design
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4
arxiv.org·2d
✅Formal Methods
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·6d·
Discuss: Hacker News
🔗Functional Compilers
Show HN: PolyMCP – Run MCP Python Tools in WASM via Pyodide
news.ycombinator.com·57m·
Discuss: Hacker News
🌐WASI
How to set up Claude Code: a context-first approach
dhirajtourani.com·4d·
Discuss: Hacker News, r/programming
⚡Effectful Programming
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
Show HN: Self-healing data pipeline for F1 telemetry (Python and Type Inference)
news.ycombinator.com·3d·
Discuss: Hacker News
🎯Gradual Typing

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