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
Functional Programming, Rust, Elixir, TypeScript
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81498
posts in
292.9
ms
Security, Cloud Costs, and Bugs: How I
solved
the Developer's Three Biggest
Nightmares
in a single app
dev.to
·
1d
·
Discuss:
DEV
🔍
Static Analysis
Zero to Game Dev –
Thinking
Like
Coder
(Before Writing Code)
dev.to
·
13h
·
Discuss:
DEV
🔍
Static Analysis
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
3d
🔍
Static Analysis
I
rebuilt
my side project from a React SPA to Next.js
SSR
— and finally got organic users
nanobananastudio.com
·
2d
·
Discuss:
r/SideProject
🏠
Self-hosting
I put Claude Code inside
Obsidian
, and it was
awesome
xda-developers.com
·
2d
💻
CLI Tools
Rewriting
pycparser
with the help of an LLM
eli.thegreenplace.net
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/Compilers
🔍
Static Analysis
I
struggled
with system design until I learned these 114
concepts
newsletter.systemdesign.one
·
2d
🔍
Static Analysis
Visual
data
modelling
in the browser (open source)
github.com
·
1d
·
Discuss:
Hacker News
🔍
Static Analysis
MiquelNasarre/chaotic
: Chaotic ― 3D renderer for your crazy math projects in C++. Minimal bloat, minimal complexity,
maximal
fun!
github.com
·
1d
·
Discuss:
Hacker News
🔍
Static Analysis
A
tale
of two
Claudes
steveklabnik.com
·
4d
💻
CLI Tools
Things
Unix
can do
atomically
rcrowley.org
·
3d
·
Discuss:
Hacker News
🏠
Self-hosting
Millets
: A practical memory-safety and thread-safety
experiment
eagledot.xyz
·
6d
·
Discuss:
Lobsters
,
Hacker News
🔍
Static Analysis
How to
refer
to the
result
location
ziggit.dev
·
3d
💻
CLI Tools
*META‑Discover: An Automated Knowledge‑Graph‑Driven Pipeline for Emergent Topological
Invariants
in High‑Dimensional Random
Simplicial
Complexes*
freederia.com
·
2d
🔍
Static Analysis
Yet Another Blog Post About
Programming
With AI
amykhar.bearblog.dev
·
3d
🔍
Static Analysis
Claude Code is becoming the big favorite among
programmers
. So much so that it already accounts for 4% of everything
uploaded
to GitHub
europedigital.cloud
·
3d
💻
CLI Tools
Python
Roadmap
for Complete
Beginners
(Based on 3+ Years Experience)
pythonfordeveloper.com
·
3d
·
Discuss:
r/AskProgramming
🔍
Static Analysis
CSLib
: The
Lean
Computer Science Library
arxiv.org
·
4d
🔍
Static Analysis
What
Color
is Your
Function
?
journal.stuffwithstuff.com
·
6d
🔍
Static Analysis
Tip
of the Week #5:
Disappearing
Act
abseil.io
·
1d
🔍
Static Analysis
Loading...
Loading more...
« Page 26
•
Page 28 »
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