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
8505
posts in
197.7
ms
On
convexity
and efficiency in
semantic
systems
arxiv.org
·
15h
⏱️
Computational Complexity
RustCompCert
: A Verified and Verifying Compiler for a Sequential
Subset
of Rust
arxiv.org
·
15h
🎯
GADT
Splitwise
alternative that makes
sense
divvy.club
·
2d
·
Discuss:
Hacker News
🧩
Parser Combinators
AI Wrote My Project, an
Nginx
Engineer
Rebuilt
the Architecture
news.ycombinator.com
·
18h
·
Discuss:
Hacker News
🔧
DevOps
Rule
#1 for coding with AI agents
zknill.io
·
1d
·
Discuss:
Hacker News
🤖
Program Synthesis
I Am Not a
Functional
Programmer
blog.daniel-beskin.com
·
6d
·
Discuss:
Hacker News
,
r/programming
📝
Nix Language
Memory-Safe
Jule
language
emerges
as C/C++ alternative
thenewstack.io
·
3d
·
Discuss:
Hacker News
⚙️
Compiler Design
Show HN:
C-CMCP
–
Validated
AI development workflow with quality gates
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
dev.to
·
2d
·
Discuss:
DEV
🧮
Z3
Jokes
on You AI: Turning the
Tables
dev-log.me
·
2d
·
Discuss:
Hacker News
🎮
Verification Games
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
2d
·
Discuss:
Hacker News
🔧
Unikernel Development
The Five
Types
of
Programmers
(2010)
stevenbenner.com
·
1d
·
Discuss:
Hacker News
🏃
Escape Analysis
LLMs Are Prediction
Machines
kaelandt.github.io
·
2d
·
Discuss:
Hacker News
📚
Automata Learning
These
Mathematicians
Are Trying to
Educate
A.I.
nytimes.com
·
3d
·
Discuss:
Hacker News
🎯
Complexity Classes
abdimoallim/alloc
: A header-only C allocator library
github.com
·
2d
·
Discuss:
Hacker News
,
r/C_Programming
🔬
Static Analysis
Heterogeneous
Processing: A Strategy for
Augmenting
Moore's Law (2006)
linuxjournal.com
·
2d
·
Discuss:
Hacker News
🔀
OCaml Multicore
Evaluate generative AI models with an Amazon Nova
rubric-based
LLM judge on Amazon
SageMaker
AI (Part 2)
aws.amazon.com
·
4d
🔲
Cellular Automata
⚖️ Beginner-Friendly Guide 'Minimum
Removals
to Balance
Array
' - Problem 3634 (C++, Python, JavaScript)
dev.to
·
4d
·
Discuss:
DEV
🔢
Algebraic Data Types
AI
Workflows
with
human-in-the-loop
weavemind.ai
·
2d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Building Interactive C/C++ workflows in Jupyter through
Clang-REPL
[video]
fosdem.org
·
3d
·
Discuss:
Hacker News
⚙️
Compiler Design
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