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
λ Functional Programming
Lambda Functions, Immutability, Higher-Order Functions, Recursion
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80177
posts in
735.0
ms
SEAL: Symbolic Execution with
Separation
Logic (Competition
Contribution
)
arxiv.org
·
4d
📋
Protocol Design
Splitwise
alternative that makes
sense
divvy.club
·
1d
·
Discuss:
Hacker News
🧱
lego
Towards
Understanding What State Space Models Learn About Code
arxiv.org
·
1d
·
Discuss:
Hacker News
📋
Protocol Design
Early History of a Perfect Join
Algorithm
remy.wang
·
2d
📋
Protocol Design
Unlocking
the Power of Python
Generators
: A Comprehensive Guide
dev.to
·
1d
·
Discuss:
DEV
📝
Markdown
Building a RAG-Based AI Chatbot
Backend
with Node.js (
Serverless
)
dev.to
·
13h
·
Discuss:
DEV
📝
Markdown
Declarative
,
Reproducible
Emacs
irreal.org
·
2d
📝
Markdown
How
Lisp
Became
God
's Own Programming Language
twobithistory.org
·
6d
📋
Protocol Design
Building Interactive C/C++ workflows in Jupyter through
Clang-REPL
[video]
fosdem.org
·
2d
·
Discuss:
Hacker News
🌿
Digital Gardens
Concurrency Flavours --
Lucian
Radu
Teodorescu
: Standard C++
isocpp.org
·
5d
📋
Protocol Design
Waterloo
Style
theprogrammersparadox.blogspot.com
·
3d
·
Discuss:
Hacker News
📵
Digital Minimalism
Why
Penguins
Don't Build
Nests
in Trees and Why That Matters for AI
erikzaadi.com
·
1d
🧱
lego
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
5d
📋
Protocol Design
Dynamic Reports: Natural Language
Queries
with
On-the-Fly
Code Generation
angulararchitects.io
·
4d
📝
Markdown
Beyond
agentic
coding
haskellforall.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/programming
🌿
Digital Gardens
EP201
: The
Evolution
of AI in Software Development
blog.bytebytego.com
·
2d
🌿
Digital Gardens
Show HN:
A2A
Protocol
– Infrastructure for an Agent-to-Agent Economy
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
📋
Protocol Design
Atomics
in C++26?
meetingcpp.com
·
2d
📵
Digital Minimalism
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
3d
📋
Protocol Design
What Should Go Into the C++
Standard
Library
abseil.io
·
2d
📝
Markdown
Loading...
Loading more...
« Page 18
•
Page 20 »
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