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
🔬 Static Analysis
Code Analysis, Data Flow, Control Flow, Program Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
112672
posts in
303.0
ms
Leaning Into the Coding Interview:
Lean
4 vs
Dafny
cage-match
ntaylor.ca
·
1h
·
Discuss:
Lobsters
,
Hacker News
λ
Functional Programming
Spec
Guard: AI-Powered API
Spec
Compliance
Tool
dev.to
·
7h
·
Discuss:
DEV
λ
Functional Programming
EduC
++
Documentation
educplusplus.com
·
2d
·
Discuss:
r/cpp
🏗️
Design Patterns
CodeCraft
IDE: An Open Source Platform for Interpretation, Conversion and Modernization of Legacy Systems in
Informix
4GL
dev.to
·
1d
·
Discuss:
DEV
💻
programming
chrisarg/Bit
: A Bit
vector
library for learning fun and also work
github.com
·
4h
💣
Binary Exploitation
On
watching
code
fly
by
natemeyvis.com
·
6h
💻
programming
🤓 Code
Archaeologists
kevin.md
·
8h
·
Discuss:
Hacker News
💻
programming
Introduction
faiface.github.io
·
4h
λ
Functional Programming
What's
cooking
with
Pystd
, the experimental C++ standard library?
nibblestew.blogspot.com
·
2h
·
Discuss:
nibblestew.blogspot.com
λ
Functional Programming
The Real Cost of "I'll
Refactor
It Later" (And Why I Finally Stopped
Lying
to Myself)
pluma.ink
·
9h
·
Discuss:
DEV
🏗️
Design Patterns
Readable and
concise
concatenative
programming
cognate-lang.github.io
·
6h
·
Discuss:
Hacker News
λ
Functional Programming
Static Analysis Under
Non-Deterministic
Program
Assumptions
arxiv.org
·
4d
λ
Functional Programming
vict00r99/Rune-stone
: A
specification
pattern for consistent AI code generation.
github.com
·
4h
·
Discuss:
DEV
,
Hacker News
💻
programming
Monads,
Applicatives
&
Functors
slicker.me
·
2h
λ
Functional Programming
Design Decision:
Technical
Debt in
BillaBear
iain.rocks
·
1d
·
Discuss:
Hacker News
,
r/programming
🏗️
Design Patterns
Code Is
Poetry
ta.fo
·
22h
λ
Functional Programming
Programming
languages
mothcodes.bearblog.dev
·
1d
💻
programming
Chained
Assignment in Python
Bytecode
loriculus.org
·
12h
·
Discuss:
Hacker News
💻
programming
Building a New
Excel
Library in One Week
hackers.pub
·
7h
·
Discuss:
Lobsters
,
Hacker News
💻
programming
The
Impatient
Programmer's Guide to
Bevy
and Rust: Build a 2D Game from Scratch
aibodh.com
·
1d
·
Discuss:
Hacker News
💣
Binary Exploitation
Loading...
Loading more...
Page 2 »
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