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
Immutability, Pattern Matching, Pure Functions, Recursion
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
6932
posts in
54.2
ms
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
2d
·
Discuss:
Hacker News
🔨
Compilers
Proof-oriented
Programming in F*
fstar-lang.org
·
13h
·
Discuss:
Lobsters
🔨
Compilers
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
·
2d
🗄️
Vector Databases
Zvec
: SQLite-like
simplicity
in an embedded vector database (By Alibaba)
zvec.org
·
5h
·
Discuss:
Hacker News
🗄️
Vector Databases
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
1d
·
Discuss:
Lobsters
🔨
Compilers
FLINGO
--
Instilling
ASP Expressiveness into Linear Integer Constraints
arxiv.org
·
1d
🗄️
Vector Databases
Scripting on the
JVM
with Java,
Scala
, and Kotlin
mill-build.org
·
7h
·
Discuss:
Hacker News
,
r/programming
🔨
Compilers
D
Programming
Language
dlang.org
·
12h
·
Discuss:
Hacker News
🔨
Compilers
I got
bored
and had Claude design and
implement
a programming language
github.com
·
2d
·
Discuss:
Hacker News
🐍
python
Technical "
whitepaper
" for
afl-fuzz
lcamtuf.coredump.cx
·
2h
·
Discuss:
Lobsters
🔨
Compilers
Struggling
Towards an
Algebraic
Theory of Music
reasonablypolymorphic.com
·
2d
·
Discuss:
Hacker News
🔨
Compilers
C-- Home
cs.tufts.edu
·
2d
·
Discuss:
Lobsters
🔨
Compilers
Verified
developer
portfolios
using Code Complexity and AI
dev-proof-portfolio.vercel.app
·
20h
·
Discuss:
Hacker News
🗄️
Vector Databases
miniKanren.org
minikanren.org
·
3d
·
Discuss:
Lobsters
🔨
Compilers
The
inverted
index
pattern
jamesg.blog
·
1d
·
Discuss:
Hacker News
🗄️
Vector Databases
Formal
Methods
Practice and Theory
adacore.com
·
2d
·
Discuss:
Hacker News
🔨
Compilers
The
calculus
tutorial just
shipped
!
minireference.com
·
1h
·
Discuss:
Hacker News
🐍
python
ArXiv
Endorsement
for Paper on Neuro-Symbolic Architecture for Financial Agents
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🗄️
Vector Databases
Show HN: Solving
Sudoku
reasoning via Energy
Geometric
models
davisgeometric.com
·
8h
·
Discuss:
Hacker News
🗄️
Vector Databases
Digitizing
the "
Shokunin
": How we encoded a Master's hammer strike into AI
yusukekaizen.substack.com
·
11h
·
Discuss:
Substack
🗄️
Vector Databases
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