Feeds to Scour
SubscribedAll
Scoured 23657 posts in 844.8 ms
Gold medalist Breezy Johnson’s latest Olympic bling? A sapphire engagement ring
mercurynews.com
·12m
☕Coffee
Popular shopping network in talks to file for bankruptcy
the-independent.com·8m
📡RSS
Nancy Guthrie abduction clues: Retired homicide sergeant weighs in
mercurynews.com
·6m
🚨Incident Response
'We believe the people responsible for defending the country should have access to the best tools available': OpenAI is giving the US military access to ChatGPT
techradar.com
·21m
🏺Kerberos Archaeology
Automatic WS2812 Characterization
cpldcpu.com·4d
👁️System Observability
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·14h
📟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
How to set up Claude Code: a context-first approach
dhirajtourani.com·4d·
Discuss: Hacker News, r/programming
⚡Effectful Programming
Software Factories and the Agentic Moment
factory.strongdm.ai·5d·
Discuss: Hacker News
🔐Capability Systems
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
An attempt at a First-Proof AI challenge
abhvio.us·4d·
Discuss: Hacker News
🎯Performance Proofs
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