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
⚙️ Programming
Haskell, Rust, Functional languages
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
83080
posts in
1.12
s
06FEB26
xtoblog.bearblog.dev
·
22h
✅
Formal Verification
Learn Python, Data
Viz
, Pandas & More |
Tutorials
kaggle.com
·
1d
🤖
AI
Text classification with Python 3.14's
zstd
module • Max
Halford
maxhalford.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
🧮
Homomorphic Encryption
I
Haven
't
Written
Code by Hand for a Year. And I'm Not Going Back.
dev.to
·
20h
·
Discuss:
DEV
🛡️
AI Safety
GPT-5.3-Codex
dev.to
·
22h
·
Discuss:
DEV
🔧
MLIR
iczelia/kamilalisp
: a functional, flexible and concise lisp.
github.com
·
3d
🔧
MLIR
wkyleg/personal-genomics
: Analyze your DNA with
OpenClaw
github.com
·
11h
·
Discuss:
Hacker News
🧮
Homomorphic Encryption
Python
everywhere
—but are we there yet?
infoworld.com
·
1d
🔧
MLIR
Evaluating
and
mitigating
the growing risk of LLM-discovered 0-days
red.anthropic.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🔧
MLIR
The
JSNLV
Receptacle
jsnlxndrlv.neocities.org
·
23h
🔧
MLIR
CodeSOD
:
Brillant
Python Programmers
thedailywtf.com
·
2d
·
Discuss:
Hacker News
🔧
MLIR
Don’t look Behind The
Curtains
!
rodyne.com
·
1d
·
Discuss:
Hacker News
🔒
Hardware Security
GAMformer
: Bridging
Tabular
Foundation Models and Interpretable Machine Learning
arxiv.org
·
1d
🌐
Decentralized AI
GTK
hackfest
, 2026 edition
blogs.gnome.org
·
1d
🔧
MLIR
The
YeS
Express
yamlscript.org
·
8h
✅
Formal Verification
From Questions to
Insights
: Data Analysis with
LangChain
’s Built-In Tools
pub.towardsai.net
·
1d
🤖
AI
Automatic
Programming
notes.billmill.org
·
2d
🛡️
AI Safety
Programming
from the
Ground
Up
programminggroundup.blogspot.com
·
6d
🔧
MLIR
Programming Language
Implementation
: In Theory, We Understand. In Practice, We
Wish
We Would.
stefan-marr.de
·
4d
🔧
MLIR
An Equational
Axiomatization
of Dynamic Threads via Algebraic Effects:
Presheaves
on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
arxiv.org
·
1d
✅
Formal Verification
Loading...
Loading more...
« Page 10
•
Page 12 »
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