Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📜 Smart Contracts
Solidity, Auditing, Formal Verification, DeFi Protocols
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
121091
posts in
316.9
ms
Smart Data
Donation
Service
sdds.ac.uk
·
20h
🔗
Crypto
AuthBridge
partners with
Vibrium
AI to develop AI-powered verification solutions
theheadandtale.com
·
2d
🛡️
AI Safety
LoanFi
– "Buy Now, Pay Later" for Crypto Using
Aave/Compound
defi-loan-aggregator.vercel.app
·
1d
·
Discuss:
Hacker News
🔗
Crypto
Bitsum
. Real-time
CPU
Optimization and Automation
bitsum.com
·
12h
🔒
Hardware Security
Self-Referential
Quantum Barriers for AGI
Containment
redact-app.com
·
17h
·
Discuss:
Hacker News
🧮
Homomorphic Encryption
Polygon,
Ethena
, and
Nethermind
Join the Enterprise Ethereum Alliance as Institutional Ethereum Takes Shape
prnewswire.com
·
16h
🌐
Decentralized AI
Crypto’s Infrastructure
Pivot
: Inside
BeInCrypto
’s Executive Council
finance.yahoo.com
·
1d
🔗
Crypto
Securing
the Digital
Nerve
System: A Practical Guide to Implementing Zero Trust API Security
hackernoon.com
·
2d
🏥
Medical Privacy
HTTP/2
From
Scratch
: Part 1
kmcd.dev
·
22h
🔗
Crypto
Langfuse
- Open Source LLM Engineering Platform
langfuse.com
·
1d
🤖
AI
Manufacturing
QMS
Software
samrian.com
·
2d
·
Discuss:
Hacker News
✅
Formal Verification
The middle ground between
canonical
models and data
mesh
frederickvanbrabant.com
·
1d
·
Discuss:
r/programming
🧮
Homomorphic Encryption
Why I Spent 5 Hours Finding a 20-Minute Fix: A Case for
Structured
Logging
nandishdave.world
·
2d
·
Discuss:
DEV
🔄
Protocol Design
Introducing new token
formats
and secret
scanning
vercel.com
·
2d
🔗
Crypto
Your infrastructure is
evolving
, but is your
operational
framework still stuck in the past?
thenewstack.io
·
17h
🛡️
AI Safety
Custom
ESLint
rules as AI guardrails: turning repeated mistakes into structural
impossibilities
jw.hn
·
1d
·
Discuss:
Hacker News
,
r/SoftwareEngineering
,
r/coding
,
r/node
,
r/typescript
🛡️
AI Safety
From a Free
TryHackMe
Subscription to a Free
OSCP
Certification
infosecwriteups.com
·
4h
🔗
Crypto
Tokenization
still at start of hype cycle, but needs more use cases,
specialists
say
coindesk.com
·
1d
💧
Ripple
AI Coding Agents: A
Practical
Guide to AI Developer Tools for Software
Developers
devtoolsacademy.com
·
16h
·
Discuss:
Hacker News
🤖
AI
Global Protocols under
Rendezvous
Synchrony: From
Realizability
to Type Checking
arxiv.org
·
1d
🔄
Protocol Design
Loading...
Loading more...
« Page 6
•
Page 8 »
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