Feeds to Scour
SubscribedAll
Scoured 23929 posts in 598.0 ms
Blake Lively and Justin Baldoni Fail to Reach a Deal in Court-Mandated Mediation
variety.com·12m
📋PREMIS Events
Chaos and confusion in El Paso after airspace closed and quickly reopened
theguardian.com·11m
🛡Cybersecurity
Alex Oxlade-Chamberlain makes instant Celtic impact as Rangers drop points in title race
the-independent.com·17m
🗃️Database Forensics
PT Bank Mandiri (Persero) Tbk 2025 Q4 - Results - Earnings Call Presentation (OTCMKTS:PPERY) 2026-02-11
seekingalpha.com
·18m
📐Linear Algebra
In Cambodia, thousands flood out of 'scam compounds' and find increasingly little help
the-independent.com·17m
🎫Kerberos Attacks
James Van Der Beek died at 48 after being diagnosed with colorectal cancer. Here's what to know about common symptoms, which can be subtle.
businessinsider.com
·18m
🎯Content Recommendation
Pfizer: A Great Opportunity Post Earnings (NYSE:PFE)
seekingalpha.com
·19m
🔍BitFunnel
How I Built a Random Number Generator (Sort Of)
dev.to·4d·
Discuss: DEV
🔢Bitwise Algorithms
Quark's Outlines: Python Code Blocks
dev.to·4d·
Discuss: DEV
🦀Rust Macros
Craig Interpolation in Program Verification
arxiv.org·1d
⚖️Verification Calculi
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4
arxiv.org·1d
✅Formal Methods
(Early Stage) Heterodox Analytical Processing Engine Utilizing Tinygrad
github.com·3d·
Discuss: Hacker News
🧮Datalog Engines
FrancescoStabile/numasec: Fully autonomous AI Pentester, finds actual vulnerabilities & writes reports. Defining Vibe Security.
github.com·2d·
Discuss: Hacker News
⚡Proof Automation
Show HN: The Control and Memory Layer for AI Agents
news.ycombinator.com·1d·
Discuss: Hacker News
✨Effect Handlers
My Experience at the North American Haskell Hackathon AmeriHac
thedeveloper101.github.io·2d·
Discuss: Hacker News
🔗Functional Compilers
Programming Aphorisms
matklad.github.io·23h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Rust Memory Management: The Playroom Analogy
adacore.com·1d·
Discuss: Hacker News
🦀Rust Borrowing
Structure Beats Prose: Specs for Coding Agents That Actually Work
medium.com·1d·
Discuss: Hacker News
⚡Proof Automation
Show HN: PolyMCP – AI-Callable Python and TS Tools with Inspector and Apps
news.ycombinator.com·1d·
Discuss: Hacker News
🎙️Whisper
Python's Dynamic Typing Problem
whileforloop.com·1d·
Discuss: Hacker News, r/programming
🎯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