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
79998
posts in
555.9
ms
SEAL: Symbolic Execution with
Separation
Logic (Competition
Contribution
)
arxiv.org
·
4d
🔬
Static Analysis
Towards
Understanding What State Space Models Learn About Code
arxiv.org
·
1d
·
Discuss:
Hacker News
🏗️
Design Patterns
Unlocking
the Power of Python
Generators
: A Comprehensive Guide
dev.to
·
2d
·
Discuss:
DEV
🌳
Red-Black Trees
Building a RAG-Based AI Chatbot
Backend
with Node.js (
Serverless
)
dev.to
·
15h
·
Discuss:
DEV
💻
programming
Zinc
Language Design
ziggit.dev
·
3d
🔬
Static Analysis
Building Interactive C/C++ workflows in Jupyter through
Clang-REPL
[video]
fosdem.org
·
2d
·
Discuss:
Hacker News
🔬
Static Analysis
Waterloo
Style
theprogrammersparadox.blogspot.com
·
3d
·
Discuss:
Hacker News
🔬
Static Analysis
Dynamic Reports: Natural Language
Queries
with
On-the-Fly
Code Generation
angulararchitects.io
·
4d
💻
programming
New MIT Framework Uses Search to
Handle
LLM
Errors
in AI Agents
hpcwire.com
·
4d
🎯
A* Search
Show HN:
A2A
Protocol
– Infrastructure for an Agent-to-Agent Economy
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🎯
A* Search
Building a battle tested C
compiler
in a new language using
Codex
moonbitlang.com
·
4d
·
Discuss:
Hacker News
🔬
Static Analysis
Atomics
in C++26?
meetingcpp.com
·
2d
🔁
Recursion
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
3d
⏱️
Computational Complexity
Dot
Chain Special
Operators
yamlscript.org
·
3d
💻
programming
Clearing
caches
artima.com
·
2d
🏗️
Design Patterns
Tip of the Week #94:
Callsite
Readability and
bool
Parameters
abseil.io
·
2d
🔁
Recursion
Tip of the Week #227: Be Careful with Empty Containers and
Unsigned
Arithmetic
abseil.io
·
2d
💣
Binary Exploitation
ERC-8004
: A
Trustless
Agent Standard for On-Chain AI in Avalanche C-Chain
medium.com
·
2d
🏗️
Design Patterns
Santa
's Big Secret
yamlscript.org
·
3d
💻
programming
Managing
Records
in Python (Part 1 of 3)
artima.com
·
2d
📊
Data Structures
Loading...
Loading more...
« Page 19
•
Page 21 »
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