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
82196
posts in
713.3
ms
Kjetil
's Information Center - CHIP-8 Interpreter using
Curses
kobolt.website
·
2d
🔧
MLIR
Trying to make an Automated
Ecologist
chillphysicsenjoyer.substack.com
·
23h
·
Discuss:
Substack
🤖
AI
**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
felt
the
flow
while programming
skuka.online
·
3d
✅
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
One Year of Using Go
rugu.dev
·
2d
·
Discuss:
Hacker News
🔧
MLIR
Both GCC and
Clang
generate
strange/inefficient
code
codingmarginalia.blogspot.com
·
1d
·
Discuss:
Hacker News
,
Hacker News
🔧
MLIR
Getting
Started
opentelemetry.io
·
2d
📜
Smart Contracts
I am
happier
writing code by
hand
abhinavomprakash.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
✅
Formal Verification
Tip of the Week #140:
Constants
: Safe
Idioms
abseil.io
·
22h
✅
Formal Verification
CppCon
2018: Modern C++ Design
abseil.io
·
22h
🔧
MLIR
Extracting
Xcode
's Claude Code Prompt
jackpearce.co.uk
·
21h
·
Discuss:
Hacker News
🤖
AI
SEAL: Symbolic Execution with
Separation
Logic (Competition
Contribution
)
arxiv.org
·
2d
✅
Formal Verification
The Missing
Programming
Language - Why There's No
S-Tier
Language (Yet)
hamy.xyz
·
4d
🔧
MLIR
New Rust Tool
Traur
Analyzes
Arch AUR Packages for Hidden Risks
linuxiac.com
·
6h
🔧
MLIR
Sometimes
it's hard to be
lazy
yamlscript.org
·
1d
✅
Formal Verification
Hello
, World! - The Rust
Programming
Language
doc.rust-lang.org
·
5d
🔧
MLIR
How to Make Claude Code Better Every Time You Use It (Full System)
creatoreconomy.so
·
7h
🤖
AI
cocoatype/barc-generator
: A web-based barcode generator, built with
SwiftWasm
and Preact
github.com
·
19h
🔗
Crypto
Loading...
Loading more...
« Page 8
•
Page 10 »
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