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 languages
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
18268
posts in
285.6
ms
The Secret Life of Python: The
Silent
Type (Type
Casting
)
dev.to
·
4d
·
Discuss:
DEV
🔤
Type Theory
Claude Code: new Tasks
persisting
between sessions and
Swarms
of agents against Context Rot.
dev.to
·
2d
·
Discuss:
DEV
✨
Effect Handlers
Doc2Spec
:
Synthesizing
Formal Programming Specifications from Natural Language via Grammar Induction
arxiv.org
·
3d
📋
Document Grammar
MatPy
– Pure Python linear algebra library with ODE
solvers
github.com
·
3d
·
Discuss:
Hacker News
📐
Linear Algebra
Code that
fits
in a context
window
blog.ploeh.dk
·
6d
🔗
Concatenative Programming
Game of Coding for
Vector-Valued
Computations
arxiv.org
·
4d
⚗️
Algebraic Coding
The Missing
Layer
yagmin.com
·
3d
·
Discuss:
Hacker News
⚙️
Proof Engineering
Recent
Advances
in LLMs for
Mathematics
youtube.com
·
5d
·
Discuss:
Hacker News
✅
Formal Methods
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
4d
🦀
Rust Verification
Simple LLM Native
Todo
System on
OpenCode
danielwkiwi.mataroa.blog
·
4d
·
Discuss:
Hacker News
🌳
Incremental Parsing
Time in C++:
Closing
Thoughts
sandordargo.com
·
5d
·
Discuss:
Hacker News
🎯
Emulation Accuracy
Taste
carlosbecker.com
·
6d
🎧
Learned Audio
What
Happens
When AI Can
Write
All Your Software?
jakequist.com
·
4d
·
Discuss:
Hacker News
📏
Code Metrics
Why Go is not my
favourite
language
blog.habets.se
·
6d
·
Discuss:
Hacker News
🧠
Lisp Dialects
What the
fastest-growing
tools reveal about how software is being built
github.blog
·
5d
🔄
Language Evolution
DavidLevi1998/programming-foundations-python
: A structured exploration of programming fundamentals in Python, focused on mental models, state, control flow, and
abstraction
.
github.com
·
4d
·
Discuss:
Hacker News
λ
Lambda Formalization
"Five-Point
Haskell
": Total
Depravity
(and Defensive Typing)
blog.jle.im
·
6d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
💧
Liquid Types
Mad Rust: The
JVM
Developer's Journey. Kotlin/Java Developer's Road to
Valhalla
sobolev.substack.com
·
5d
·
Discuss:
Substack
🦀
Rust Borrowing
How not to program in
Dyalog
APL
toolofthought.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
✅
Format Verification
How
Lisp
Became
God
's Own Programming Language
twobithistory.org
·
5d
🔗
Lisp
Loading...
Loading more...
« Page 6
•
Page 8 »
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