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
83044
posts in
761.3
ms
Error
facebook.com
·
1d
🛡️
AI Safety
Revisiting
DSA
Through Mini Projects #2: HTML Syntax
Validator
amelia2802.github.io
·
1d
·
Discuss:
DEV
✅
Formal Verification
Learn
graphql.org
·
4d
📜
Smart Contracts
Dockyard
is a Faster
Lazydocker
, Written in Rust (Because Of Course It Is)
dev.to
·
2d
·
Discuss:
DEV
🔧
MLIR
Book notes: The
Pragmatic
Programmer
, 20th Anniversary Edition
dev.to
·
19h
·
Discuss:
DEV
✅
Formal Verification
I built a visual
drag-and-drop
studio to
automate
cybersecurity tasks (Open Source)
github.com
·
1d
·
Discuss:
r/SideProject
,
r/devops
🔧
MLIR
I spent 2 weeks playing god. My
learnings
from 597 genetic algorithm
lineages
blog.silennai.com
·
2d
·
Discuss:
Hacker News
🛡️
AI Safety
Pascal-J/type-system-j
: adds an
optional
type system to J language
github.com
·
3d
·
Discuss:
Lobsters
✅
Formal Verification
Training language models on
TPUs
shouldn't be
scary
dogac.dev
·
1d
·
Discuss:
Hacker News
🔧
MLIR
How
LSP
Works: Building a
Grammar
Checker
LSP
from Scratch in Rust
aroy.sh
·
4d
·
Discuss:
Hacker News
🔧
MLIR
Forcing
Rust: How Big Tech
Lobbied
the Government into a Language Mandate
medium.com
·
3d
·
Discuss:
Hacker News
🔧
MLIR
Golang
custom error types with stack
trace
klotzandrew.com
·
3d
✅
Formal Verification
Python 3.14.3 and 3.13.12 are now available!
pythoninsider.blogspot.com
·
3d
·
Discuss:
Blogger
🔧
MLIR
The
Mastering
Emacs
book
masteringemacs.org
·
2d
🔧
MLIR
Phoenix: A Modular and
Versatile
Framework for C/C++
Pointer
Analysis
arxiv.org
·
4d
🔧
MLIR
From Separate
Compilation
to Sound Language
Composition
arxiv.org
·
3d
🔧
MLIR
Drop #768 (2026-02-05):
Docs
&
Diagrams
dailydrop.hrbrmstr.dev
·
1d
🔧
MLIR
Lessons from
BF-Tree
: Building a
Concurrent
Larger-Than-Memory Index in Rust
zhihanz.github.io
·
2d
·
Discuss:
Hacker News
🔧
MLIR
Vibe Check:
Opus
4.6—The Best Coding Model We’ve Tested (With Some
Maddening
Habits)
every.to
·
2d
🤖
AI
Sysadmin
In The LLM Age
nullrouted.space
·
1d
·
Discuss:
Lobsters
,
Hacker News
🤖
AI
Loading...
Loading more...
« Page 16
•
Page 18 »
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