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
∀ 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
6753
posts in
11.8
ms
Claude Code Skill to write better
Lean4
proofs
spec.workers.io
·
6d
·
Discuss:
Hacker News
⚙️
Alloy
1flei/PythoC
:
PythoC
is a Python DSL compiler that compiles statically-typed Python to LLVM IR, providing C-equivalent runtime capabilities with Python syntax and compile-time metaprogramming.
github.com
·
13h
·
Discuss:
Hacker News
⚙️
LLVM
Less-relevant results
Price-Checking
Zerocopy
's Zero Cost
Abstractions
jack.wrenn.fyi
·
4d
·
Discuss:
Lobsters
,
r/rust
📋
Zero-Copy
Chip Industry Technical Paper
Roundup
:
Mar
. 9
semiengineering.com
·
3d
⚡
Hardware Acceleration
Readme
Human
mathbook.cafe
·
1h
🤖
AI Coding Tools
Don't
Vibe
—
Prove
ngrislain.github.io
·
3h
·
Discuss:
Hacker News
λ
Functional Programming
QORA-LLM-2B
– Pure Rust
ternary
inference, no multiplication needed
huggingface.co
·
1d
·
Discuss:
Hacker News
☁️
Serverless Rust
Rare discount
knocks
40% off this
Wyze
2.5K wireless security camera
xda-developers.com
·
1h
🔌
Microcontrollers
Issue 515
haskellweekly.news
·
17h
🔗
Dependent Types
A new
LLM-friendly
library for Model-Based Testing
quint-lang.org
·
2d
·
Discuss:
Lobsters
⚙️
Alloy
EveryInc/proof-sdk
: Proof SDK: open-source collaborative editor,
provenance
model, and agent HTTP bridge
github.com
·
3h
·
Discuss:
Hacker News
⚙️
DataFusion
Re: Doctors should
admit
they
dont
know
apricotart.bearblog.dev
·
1h
📡
Information Theory
Build an AI Code Review
Bot
with Semantic
Kernel
in C#
devleader.ca
·
6h
🤖
AI Coding Tools
AI
Slop
Proof
eliocapella.com
·
1d
·
Discuss:
Hacker News
🤖
AI Coding Tools
Human-Centered
Agentic AI Comes To
RTL
Verification
semiengineering.com
·
20h
🧩
Low-code
slowing
down
mikesthoughts.blog
·
1h
⏱️
productivity
This 28-port
PoE
+ switch is an
absolute
beast, and it's now 40% off
xda-developers.com
·
58m
🔌
Microcontrollers
Formalizing
Data
Structures
and Algorithms with Agents
risemsr.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
⚙️
Alloy
Pros and
Cons
:
Experiments
with AI-Driven Development and Claude Code
spin.atomicobject.com
·
15h
🤖
AI Coding Tools
Build
Resilient
LLM Applications on
Vertex
AI and Reduce 429 Errors
cloud.google.com
·
11h
🏗️
AI Infrastructure
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