Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
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
5463
posts in
16.5
ms
Data is Code (2016)
haskellforall.com
·
4h
·
Discuss:
Lobsters
🧮
Lambda Calculus
Dimensional Type Systems and
Deterministic
Memory Management: Design-Time Semantic Preservation in Native
Compilation
arxiv.org
·
1d
🏃
Escape Analysis
The
Lazy
K
Programming
Language
tromp.github.io
·
2d
·
Discuss:
Hacker News
🐫
OCaml
Formal
Verification: The Ultimate
Fitness
Function
lesswrong.com
·
9h
🔍
Formal Verification
thatsme/AlexClaw
: BEAM-native personal AI agent built on Elixir/OTP. Runs on your hardware. Your data stays yours.
github.com
·
10h
·
Discuss:
Hacker News
🌐
ActivityPub
Automating
the Analysis and
Improvement
of Dynamic Programming Algorithms with Applications to Natural Language Processing
arxiv.org
·
2d
✓
Automated Theorem Proving
Learn
Haskell
in Two
Weeks
mercury.com
·
3d
·
Discuss:
Hacker News
🧮
Lean4
Good
Haskell
Libraries
jackkelly.name
·
3d
·
Discuss:
Lobsters
🏢
Jane Street Core
How
reactive
streams could be
rewritten
using plain Java APIs
linkedin.com
·
15h
·
Discuss:
r/programming
💎
Refinement Types
gvergnaud/ts-pattern
: 🎨 The
exhaustive
Pattern Matching library for TypeScript, with smart type inference.
github.com
·
4d
·
Discuss:
Hacker News
🔧
ppx
Surfacing
Hidden Privacy Risks in Code: Lessons from LLM and Retrieval
Assisted
Detection
usenix.org
·
12h
🛡️
seL4
Affine
Space
Types
videocortex.io
·
2d
·
Discuss:
Lobsters
🔢
Algebraic Data Types
Latent Reasoning
Sprint
#2: Token-Based Signals and Linear
Probes
lesswrong.com
·
4h
📚
Automata Learning
🦀
Statum
:
Zero-Boilerplate
Compile-Time State Machines in Rust
reddit.com
·
1d
·
Discuss:
r/rust
🏗️
Dune
Vector
, the Journal of the British
APL
Association
web.archive.org
·
12h
·
Discuss:
Hacker News
🧮
Lambda Calculus
My memory isn't getting worse, it's just using
exponential
decay
chunkofcoal.com
·
1d
·
Discuss:
r/programming
🏃
Escape Analysis
<
h1
>Rob
Pike
's 5 Rules of Programming</
h1
>
cs.unc.edu
·
22h
·
Discuss:
Lobsters
,
Hacker News
🧮
Lean4
Adopting
AI in Local Government with Privacy and Equity in Mind: A Case Study of the City of
Oakland
usenix.org
·
12h
🛡️
Privacy Engineering
The
Elegant
and Fully Type-safe Module
Composable
Library.
arc.tsdk.dev
·
1d
·
Discuss:
Hacker News
,
r/node
📦
Module Systems
AI
enhanecd
development: the hard work is still in the
requirements
!
dev-log.me
·
23h
·
Discuss:
r/programming
🧮
Lean4
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