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
82237
posts in
336.0
ms
Building a Synthesizer, Introduction: The World of
DIY
Synthesizers
craigstuntz.com
·
8h
🔧
MLIR
Show HN:
BestClaw
Simple
OpenClaw/MoltBot
for non tech people
bestclaw.host
·
9h
·
Discuss:
Hacker News
,
r/SideProject
🤖
AI
Fundamentals
of Data
Visualization
clauswilke.com
·
5h
✅
Formal Verification
In the Age of AI Writing Tools, I
Picked
Emacs
for My Sci-Fi Novel
itsfoss.com
·
15h
🔧
MLIR
Tip of the Week #176:
Prefer
Return Values to Output
Parameters
abseil.io
·
23h
✅
Formal Verification
Why Every R Package
Wrapping
External Tools Needs a
Sitrep
() Function
drmowinckels.io
·
23h
·
Discuss:
Lobsters
,
Hacker News
✅
Formal Verification
ahead-of-time wasm
gc
in
wastrel
wingolog.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔧
MLIR
Tip of the Week #234: Pass by Value, by
Pointer
, or by
Reference
?
abseil.io
·
23h
🔧
MLIR
It's too cold to go
outside
, so I
learned
Python instead
loren.ldstephens.net
·
1d
✅
Formal Verification
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
2d
✅
Formal Verification
Why I use
Typetify
: A Type-Safe Alternative to
Lodash
dev.to
·
1d
·
Discuss:
DEV
🔧
MLIR
Executive Function as Code: Using
Doom
Emacs
to Script My Brain
dev.to
·
9h
·
Discuss:
DEV
🔒
Hardware Security
gurleensethi/jwtx
: A TUI for debugging JWTs
github.com
·
41m
·
Discuss:
r/golang
🔧
MLIR
Kadajett/blECSd
: A modern typescript rewrite of blessed, with dozens of modern features, a strict functional architecture, and bitECS as a backend for a fully composable API. Not just for games either! ;)
github.com
·
1d
·
Discuss:
Hacker News
,
r/javascript
🔧
MLIR
Stocking
Stuffers
yamlscript.org
·
1d
✅
Formal Verification
One Year of Using Go
rugu.dev
·
2d
·
Discuss:
Hacker News
🔧
MLIR
*Minor
spelling
mistake* in Opus 4.6
VSCode
extension system prompt
pastebin.com
·
1d
·
Discuss:
r/ClaudeAI
✅
Formal Verification
C Isn't A
Programming
Language
Anymore
faultlore.com
·
2d
·
Discuss:
Hacker News
🔧
MLIR
Joy
&
Curiosity
#73
registerspill.thorstenball.com
·
14h
🤖
AI
Some
Libraries
funcall.blogspot.com
·
6d
·
Discuss:
Blogger
🔧
MLIR
Loading...
Loading more...
« Page 7
•
Page 9 »
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