Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔍 KLEE
Specific
Symbolic Execution, Program Analysis, Bug Finding, LLVM-Based
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
135042
posts in
102.1
ms
SseRex
: Practical
Symbolic
Execution of Solana Smart Contracts
arxiv.org
·
4d
🌲
CedarDB
Less-relevant results
Two Studies in
Compiler
Optimisations
hmpcabral.com
·
5h
·
Discuss:
Hacker News
🔧
LLVM IR Optimization
Semantic Kernel for Enterprise AI:
Architecting
Production-Grade
LLM Integration in .NET
dev.to
·
1d
·
Discuss:
DEV
⏱️
Temporal Workflow
Standard LLMs
hallucinate
on large C++ codebases. I built an open-source MCP server using
tree-sitter
to fix that.
github.com
·
1d
·
Discuss:
r/cpp
,
r/mcp
📦
Folly
Implementing
a New Memory Safety Approach, Part 1
verdagon.dev
·
1d
🦀
Rust
Ian
Wright
claims
Carabao
Cup defeat has ‘turned up’ the pressure on Arsenal in Premier League title race
independent.co.uk
·
20m
🦀
rust
S om Mohamssons
omval
: Nytt
läge
i svensk politik
svd.se
·
21m
🌍
Geopolitics
Doctor Doom’s MCU Victory
Depends
On 1 Dark Marvel
Villain
The Avengers Can’t Stop
screenrant.com
·
27m
⚡
LMAX Disruptor
Victor
Jara
’s Legacy And How Music in Response to Authoritarianism
Resonates
Today
rollingstone.com
·
27m
🔒
Digital Privacy
Aylin
Garcia-Solis
’ Portfolio
michigandaily.com
·
28m
🎨
Creative Coding
The Car That Started
Acura
’s Luxury
Empire
autoblog.com
·
28m
🧮
Algebraic Effects
Israeli
airstrike
destroys
key bridge in southern Lebanon
the-independent.com
·
29m
🌍
Geopolitics
Roger Froikin @
rlefraim
wrote, "
Misdirected
Jewish Nostalgia or something else.
threadreaderapp.com
·
30m
👻
Rust Phantom Data
Low
testosterone
levels may help flag high-risk
prostate
cancer early
earth.com
·
31m
🚀
MLOps
Billionaire
Christy
Walton
Appears To Take Out Ad Calling For ICE To Release 70% Of Detainees
forbes.com
·
36m
💳
Transactional Memory
Kyrgyzstan
records strong growth in
remittances
from U.S.
trend.az
·
39m
💧
Kafka Streams
Crossed Hearts'
Glam
Beat! Label for
Yuri
Works Licenses Afternoon Tea for Two Manga
animenewsnetwork.com
·
43m
📰
Zines
Senate advances
Mullin
nomination to lead DHS,
paving
way for confirmation
theguardian.com
·
45m
🦓
Zab Protocol
Ovechkin
joins
Gretzky
as only players to score 1,000 goals
espn.com
·
46m
📐
Linear Algebra
Iranian
dissident
journalist, police man shot in
Netherlands
in potential Iran-backed attack
jpost.com
·
46m
♟️
Economic Statecraft
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help