Functional Programming

Feeds to Scour
SubscribedAll
Scoured 193 posts in 7.6 ms

Kan Extensions in Haskell

 📐Type Theory

Flatiron is a fast columnar analytics library for Clojure

 🔤Computational Linguistics  Content type: Code
github.com··Hacker News

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

 📐Type Theory

Running Dialyzer for Elixir Projects in GitHub Actions

 ⚙️Backend Dev  Content type: Blog
stratus3d.com·

Cross-border library in Quebec opens new Canadian entrance

 🦞Boston  Content type: News
theglobeandmail.com·

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

 📐Type Theory  Content type: Academic
arxiv.org··Lobsters

Constants and pure functions in Python: how to do it right

 ✔️Formal Verification  Content type: Blog
en.andros.dev··Hacker News

Unkey Elixir SDK — API key management for Elixir applications

 ✔️Formal Verification
elixirstatus.com·

How a bunch of bloody-minded monks produced a secret elixir for health

 🦞Boston
eatweeds.co.uk·

quasitriangular Hopf 2-algebra in nLab

 ✔️Formal Verification
ncatlab.org·

Why does `std.mem.sort` have the `context` field?

 📐Type Theory  Content type: Discussion
ziggit.dev·

How to Set Up Neovim for Elixir Development

 ✔️Formal Verification
mitchellhanberg.com·

Language Models for Programming — Will Richardson

 🖧Distributed Systems
willhbr.net·

Co-Creator of Haskell: Functional Prog., Thinking in Types, Useless Languages [video]

 📐Type Theory  Content type: Video
youtube.com··Hacker News

Creative Coder

 🌪️Chaos Engineering
guidoschmidt.cc·

Weekly Roundup 13-June-2026

 🦞Boston

Reusable Elixir Libraries

 🧪Property Testing  Content type: Blog
keathley.io·

Strudel REPL – Audio Programming Language

 ✔️Formal Verification
gamefromscratch.com·

Chloe Madeley looks incredible stripping to bikini on £718-a-night solo holiday after opening up on James Haskell split

 🦞Boston  Content type: News
thesun.co.uk·

Publishing your blog to standard.site in Elixir

 ⚙️Backend Dev  Content type: Blog
jola.dev··Hacker News

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help