Feeds to Scour
SubscribedAll
Scoured 135046 posts in 52.7 ms
SseRex: Practical Symbolic Execution of Solana Smart Contracts
arxiv.org·4d
🔍KLEE
Less-relevant results
When AI Writes the World's Software, Who Verifies It?
leodemoura.github.io·18h·
Discuss: Hacker News
🎭Program Synthesis
Domain-Independent Dynamic Programming with Constraint Propagation
arxiv.org·4d
📊Dynamic Programming
Proof Theory and Logic Programming
lix.polytechnique.fr·13h·
Discuss: Hacker News
📊Datalog
Semantic Kernel for Enterprise AI: Architecting Production-Grade LLM Integration in .NET
dev.to·1d·
Discuss: DEV
⏱️Temporal Workflow
Avoiding Overflow Bugs in Fixed-Point Arithmetic with Formal Verification
github.com·1d·
Discuss: Hacker News
💠Polyhedral Compilation
Starting Today: Kazhdan Sunday seminar: “Boolean Functions, Hypercontractivity, and Applications”
gilkalai.wordpress.com·12h
∘Category Theory
Trump's changing course on Strait of Hormuz strategy raises questions about US war preparation
the-journal.com·18m
🌍Geopolitics
Blackhawks prospect Anton Frondell set to make NHL debut
espn.com·19m
🧊Iced
New Drug Could Help Maintain Weight Loss After Ozempic and Wegovy
scitechdaily.com·21m
😴Sleep Science
Girl is bitten by a rattlesnake in California as dangerous encounters rise
nypost.com·24m
🦀rust
20 Tennessee companies land on Forbes 'America's Best' employers
finance.yahoo.com·29m
👥Engineering Management
Man City prove rebuild is complete as calamity Kepa costs Arsenal Carabao Cup
independent.co.uk·32m
📐Computational Geometry
I'm so old I remember when 3 holes was 2026-03-22 20:05:02.883836+01
flutterby.com·33m
🎯Lance
Poste Italiane Launches €10.8 Billion Telecom Italia Bid
bloomberg.com
·38m
📡MQTT
CJB Exposes the Canadian-Chinese Not-so-Professor Jiang
youtube.com·40m·
Discuss: r/conspiracy
✨Gleam
Utah State coach touts massive NIL jump amid NCAA Tournament
zagsblog.com·44m
🗺️PostGIS
Statue of Ambedkar defaced in Pauri, Uttarakhand; investigation launched
rediff.com·44m
🔍Digital Forensics
A Beginner’s Guide to Bird Photography: Essential Gear and Basic Settings
petapixel.com·45m
📷Analog Photography
Here’s When ‘Ready Or Not 2: Here I Come’ Is Likely Coming To Streaming
forbes.com
·47m
✨Gleam

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