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
82246
posts in
691.5
ms
Paths
of
MySQL
, vector search edition
theconsensus.dev
·
21h
🔧
MLIR
The
Auth
Platform Native to Go. Built for Any
Stack
.
go-better-auth.vercel.app
·
1d
·
Discuss:
r/golang
📜
Smart Contracts
ERC-8004
: A
Trustless
Agent Standard for On-Chain AI in Avalanche C-Chain
medium.com
·
20h
📜
Smart Contracts
Logic for
Programmers
[
Leanpub
PDF/iPad/Kindle]
leanpub.com
·
5d
✅
Formal Verification
Observed
programming behavior. After getting something complicated working, you figure it's all
downhill
from there, only to realize there's another big...
daveverse.org
·
1d
🛡️
AI Safety
I Built a
Context7
Local-First
Alternative
With Claude Code
dev.to
·
3h
·
Discuss:
DEV
🤖
AI
ReAct
Pattern
dev.to
·
8h
·
Discuss:
DEV
🤖
AI
Tip
of the Week #148:
Overload
Sets
abseil.io
·
23h
🔒
Hardware Security
My 'Move Fast'
Stack
for 2026
david.coffee
·
3d
🔧
MLIR
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
16h
·
Discuss:
Lobsters
,
Hacker News
🔧
MLIR
Tip of the Week #94:
Callsite
Readability and
bool
Parameters
abseil.io
·
23h
✅
Formal Verification
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
·
3d
·
Discuss:
Hacker News
✅
Formal Verification
Running
Pydantic
’s Monty Rust
sandboxed
Python subset in WebAssembly
simonwillison.net
·
1d
·
Discuss:
Hacker News
🔗
Crypto
How I
squeezed
a
BERT
sentiment analyzer into 1GB RAM on a $5 VPS
mohammedeabdelaziz.github.io
·
1d
·
Discuss:
Hacker News
🤖
AI
Built a tiny fast library for catching
obvious
prompt
injections
reddit.com
·
2d
·
Discuss:
r/golang
🔒
Hardware Security
On the
Reachability
Problem for One-Dimensional Thin
Grammar
Vector Addition Systems
arxiv.org
·
2d
🔧
MLIR
Code only says what it does
brooker.co.za
·
19h
·
Discuss:
Hacker News
✅
Formal Verification
The Adventures of a
Pythonista
in
Schemeland/28
artima.com
·
23h
🛡️
AI Safety
MiquelNasarre/chaotic
: Chaotic ― 3D renderer for your crazy math projects in C++. Minimal bloat, minimal complexity,
maximal
fun!
github.com
·
4h
·
Discuss:
Hacker News
🔧
MLIR
The
Kubernetes
Effect
yamlscript.org
·
1d
🧮
Homomorphic Encryption
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