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
Immutability, Pattern Matching, Type Theory, Pure Functions
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
56
posts in
14.0
ms
The design principles of the
Elixir
type
system
🎭
Gradual Typing
Content type:
Academic
arxiv.org
·
6d
6 days ago
·
Hacker News
Actions for The design principles of the Elixir type system
Implementing
Monads
with Async Zig
🎯
Hindley-Milner
Content type:
Blog
platypro.net
·
20h
20 hours ago
·
Hacker News
Actions for Implementing Monads with Async Zig
Kan Extensions in
Haskell
🎯
Hindley-Milner
bartoszmilewski.com
·
2d
2 days ago
·
Hacker News
Actions for Kan Extensions in Haskell
A line-by-line translation of the
OCaml
runtime from C to Rust
🎯
Hindley-Milner
Content type:
Discussion
discuss.ocaml.org
·
10h
10 hours ago
·
Lobsters
Actions for A line-by-line translation of the OCaml runtime from C to Rust
Lua.ex: Sandboxed Lua 5.3 on the Beam, Built for AI Agents
🤖
AI agents
deflua.com
·
1h
1 hour ago
·
Hacker News
Actions for Lua.ex: Sandboxed Lua 5.3 on the Beam, Built for AI Agents
Poor Man's Time Machine: Lazy Evaluation in JavaScript and
Haskell
🎯
Hindley-Milner
Content type:
Blog
irfanali.org
·
2d
2 days ago
·
Hacker News
,
r/compsci
,
r/programming
,
r/programming
Actions for Poor Man's Time Machine: Lazy Evaluation in JavaScript and Haskell
yogthos/jolt: A
Clojure
interpreter running on Janet
📊
Algorithms
Content type:
Code
github.com
·
4d
4 days ago
·
Lobsters
,
Hacker News
Actions for yogthos/jolt: A Clojure interpreter running on Janet
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
🔗
Dependent Types
lix.polytechnique.fr
·
6h
6 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Co-Creator of
Haskell
:
Functional
Prog
., Thinking in Types, Useless Languages [video]
🎯
Hindley-Milner
Content type:
Video
youtube.com
·
1d
1 day ago
·
Hacker News
Actions for Co-Creator of Haskell: Functional Prog., Thinking in Types, Useless Languages [video]
overtone/overtone: Collaborative
Programmable
Music
🌟
Open Source
Content type:
Code
github.com
·
7h
7 hours ago
·
Hacker News
Actions for overtone/overtone: Collaborative Programmable Music
OCaml
Onboarding: Introduction to the Dune build system
🎯
Hindley-Milner
Content type:
Blog
ocamlpro.com
·
5d
5 days ago
·
Hacker News
Actions for OCaml Onboarding: Introduction to the Dune build system
PEZ/languages-visualizations: A Languages visualization experiment
📐
Diagramming
Content type:
Code
github.com
·
2d
2 days ago
·
Hacker News
Actions for PEZ/languages-visualizations: A Languages visualization experiment
Extension or Imitation? Can you tell the valid
Haskell
Language Extensions, from the Impostors?
🎯
Hindley-Milner
doscienceto.it
·
6d
6 days ago
·
Lobsters
,
Hacker News
Actions for Extension or Imitation? Can you tell the valid Haskell Language Extensions, from the Impostors?
Constants and
pure
functions
in Python: how to do it right
🦀
Rust Macros
Content type:
Blog
en.andros.dev
·
4d
4 days ago
·
Hacker News
Actions for Constants and pure functions in Python: how to do it right
We Cut Semgrep's Taint Analysis Time by 75%
🔍
Static Analysis
Content type:
Blog
semgrep.dev
·
1d
1 day ago
·
Hacker News
Actions for We Cut Semgrep's Taint Analysis Time by 75%
Hacker News Trends: Search Hacker News super fast with Redis
🤖
Automation
hackernewstrends.com
·
23h
23 hours ago
·
Hacker News
Actions for Hacker News Trends: Search Hacker News super fast with Redis
Publishing your blog to standard.site in
Elixir
👨💻
Self-Hosting
Content type:
Blog
jola.dev
·
5d
5 days ago
·
Hacker News
Actions for Publishing your blog to standard.site in Elixir
𝜇𝜆ϵ
𝛿-Calculus
: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
📊
Algorithms
Content type:
Academic
arxiv.org
·
1d
1 day ago
·
Lobsters
Actions for 𝜇𝜆ϵ𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
Property-based testing | Liam DeVoe
🐛
Fuzzing
tybug.dev
·
2d
2 days ago
·
Hacker News
Actions for Property-based testing | Liam DeVoe
jeffhuen/RustyCSV:
High-performance
CSV parsing for
Elixir
. Rust NIF with SIMD acceleration, parallel parsing, and bounded-memory streaming. Drop-in NimbleCSV replacement.
⚡
SIMD Optimization
Content type:
Code
github.com
·
4d
4 days ago
·
Hacker News
Actions for jeffhuen/RustyCSV: High-performance CSV parsing for Elixir. Rust NIF with SIMD acceleration, parallel parsing, and bounded-memory streaming. Drop-in NimbleCSV replacement.
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