Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
∀ Lean4
Specific
Lean theorem prover, Lean 4, formal verification, proof assistant
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
134
posts in
17.6
ms
[
Metal
] Stratovarius, Megadeth and HIM.
🔌
Embedded Rust
skald.bearblog.dev
·
5h
Billionaire Block founder Jack Dorsey suggests radically reshaping manager roles in the age of AI
🧠
AI
finance.yahoo.com
·
15h
I Swear I Know How to Write
✍️
Creative Writing
emersonwick.page
·
2d
Review: Mouthwashing
✍️
Prompt Engineering
kieranmcguire.uk
·
1d
A
deep-learning
framework reveals whole-body perturbations at cell level
🔬
Tumor Microenvironment
nature.com
·
7h
Ceremonial Matcha 40g by Noritual Lab
🧬
Precision Fermentation
emeraldsip.cafe
·
4d
Trump’s Cabinet dramatically changed American foreign policy while the president made noise – a scholar of presidential rhetoric explains
🌍
Geopolitics
theconversation.com
·
2d
Make boring choices.
✍️
Prompt Engineering
blog.alonso-canales.com
·
12h
So, I got laid off.
✨
vibe-coding
katexcellence.leaflet.pub
·
2d
Connection Without Algorithmic Participation
⚙️
Concurrency Models
davyrussell.com
·
5d
Township
Leader
Resigns in Tears Over OpenAI Data Center Death Threats
📂
open source
404media.co
·
15h
·
Hacker News
KimlikDAO/EvmScript: An EVM language embedded in
TypeScript
: write, test and deploy EVM programs from
TypeScript
🥖
Bun
github.com
·
1d
·
Hacker News
weeknotes 20/26
⏱️
productivity
pinewind.bearblog.dev
·
3d
Microsoft is quietly walking back Copilot+, but the Googlebook is
proof
that Google didn't get the memo
🖥
computers
xda-developers.com
·
1d
Pershing Square Backs Microsoft As AI Expansion Divides Major Investors
🧠
AI
finance.yahoo.com
·
4d
A prize-winning story published in Granta was (very likely) written by AI.
✍️
Creative Writing
lithub.com
·
1d
·
Hacker News
,
Hacker News
Don't Be Discouraged to Code by Hand
🤖
AI Coding Tools
seongminpark.com
·
6d
·
Hacker News
,
r/programming
Apple’s New Siri Could Auto-Delete Chats. Google Gemini Is Reportedly Under the Hood.
🎤
Voice Interfaces
firethering.com
·
2d
·
Hacker News
#5542: Smart Way Beef Flavor Ramen Noodle Soup
🍱
Meal Prep
theramenrater.com
·
6d
Together, Edera and Minimus Claim They Can Protect Your Software From AI Hackers
🔍
eBPF
cloudnativenow.com
·
2d
·
Hacker News
« Page 1
·
Page 3 »
Log in to enable infinite scrolling
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
Save / unsave
s
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