Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Functional Programming
🔷 Functional Programming
Haskell, lambda calculus, pure functions, algebraic data types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
102
posts in
6.6
ms
Property-based testing | Liam DeVoe
λ
Type Theory
tybug.dev
·
2d
2 days ago
·
Hacker News
Actions for Property-based testing | Liam DeVoe
Border-straddling library inaugurates new Canadian entrance
λ
Type Theory
Content type:
News
sootoday.com
·
7h
7 hours ago
Actions for Border-straddling library inaugurates new Canadian entrance
.plan-26-23: Earth Embeddings, Emails Everywhere, and ERRNOOOs
λ
Type Theory
anil.recoil.org
·
4d
4 days ago
Actions for .plan-26-23: Earth Embeddings, Emails Everywhere, and ERRNOOOs
We Cut Semgrep's Taint Analysis Time by 75%
🤔
Philosophy of CS
Content type:
Blog
semgrep.dev
·
2d
2 days ago
·
Hacker News
Actions for We Cut Semgrep's Taint Analysis Time by 75%
Tetsuwan Scientific | Software Engineer | San Francisco (SoMa) | ONSITE | Full-t...
λ
Type Theory
Content type:
Discussion
news.ycombinator.com
·
6d
6 days ago
·
Hacker News
Actions for Tetsuwan Scientific | Software Engineer | San Francisco (SoMa) | ONSITE | Full-t...
I’m a new man after ‘toxic’ split says James
Haskell
as he thanks ‘badass’ Chloe Madeley for helping turn life around
∘
Category Theory
Content type:
News
thesun.co.uk
·
4d
4 days ago
Actions for I’m a new man after ‘toxic’ split says James Haskell as he thanks ‘badass’ Chloe Madeley for helping turn life around
When
Types
Intersect and Effects Get Handled
λ
Type Theory
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for When Types Intersect and Effects Get Handled
Making Semgrep rip: How Ripgrep inspired us to shave hours off (some) scans
λ
Lambda Calculus
Content type:
Blog
semgrep.dev
·
8h
8 hours ago
·
Hacker News
Actions for Making Semgrep rip: How Ripgrep inspired us to shave hours off (some) scans
Nontrailing separators do not spark joy
∘
Category Theory
Content type:
News
Computer Things via buttondown.com
·
16h
16 hours ago
·
Lobsters
,
Hacker News
Actions for Nontrailing separators do not spark joy
Language Models for
Programming
— Will Richardson
λ
Lambda Calculus
willhbr.net
·
1d
1 day ago
Actions for Language Models for Programming — Will Richardson
tensor product of stable (infinity,1)-categories in nLab
∘
Category Theory
ncatlab.org
·
3d
3 days ago
Actions for tensor product of stable (infinity,1)-categories in nLab
I wish Deno would keep doing what it does best
λ
Type Theory
hackers.pub
·
2d
2 days ago
·
Lobsters
,
Hacker News
,
r/javascript
Actions for I wish Deno would keep doing what it does best
New comment by seanwilson in "Ask HN: Who wants to be hired? (June 2026)"
∘
Category Theory
Content type:
Discussion
news.ycombinator.com
·
5d
5 days ago
·
Hacker News
Actions for New comment by seanwilson in "Ask HN: Who wants to be hired? (June 2026)"
Spencer Pratt claims L.A.’s homeless will move to Seattle if he’s elected mayor
λ
Type Theory
Content type:
News
columbian.com
·
6d
6 days ago
Actions for Spencer Pratt claims L.A.’s homeless will move to Seattle if he’s elected mayor
Proof System Timelines
⊢
Logic
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
Seattle mayor rebuts candidate’s claim about homelessness issue | Arkansas Democrat Gazette
✳️
Proof Theory
Content type:
News
arkansasonline.com
·
4d
4 days ago
Actions for Seattle mayor rebuts candidate’s claim about homelessness issue | Arkansas Democrat Gazette
What's in the Box? A Field Guide to AI Models
λ
Lambda Calculus
Content type:
Blog
iankduncan.com
·
2d
2 days ago
Actions for What's in the Box? A Field Guide to AI Models
PEZ/languages-visualizations: A Languages visualization experiment
λ
Type Theory
Content type:
Code
github.com
·
2d
2 days ago
·
Hacker News
Actions for PEZ/languages-visualizations: A Languages visualization experiment
☕ Issue 524
λ
Lambda Calculus
java.libhunt.com
·
6d
6 days ago
Actions for ☕ Issue 524
Jas: AI-Paired Engineering as a Revival of N-Version
Programming
🤔
Philosophy of CS
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Jas: AI-Paired Engineering as a Revival of N-Version Programming
Sign up or log in to see more results
Sign Up
Login
« Page 2
Log in to enable infinite scrolling
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
Save / unsave
s
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