Functional Programming

🧬 Functional Programming

Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

Feeds to Scour
SubscribedAll
Scoured 72 posts in 12.1 ms

Getting silly with C, part &((int*)1)[-1]

 🐚Shell Calculus  Content type: News  Content type: Blog
lcamtuf.substack.com··Substack, r/C_Programming, r/programming

The Boot.dev Beat. June 2026

 🛠System administration  Content type: Blog
boot.dev·

Alex

 🔌Microcontrollers  Content type: Blog
blog.underwd.net·

F# Weekly #23, 2026 – Wolverine/Marten F# Improvements

 🌊Streaming Systems
sergeytihon.com·

AI and the Redmonk Language Rankings

 🔗Functional Compilers
briandouglas.ie··Hacker News

Why Compiler Engineers Rarely Use Strassen's Algorithm for Fast Matrix Multiplications

 💻CS  Content type: News  Content type: Blog
leetarxiv.substack.com··Substack, r/programming

Author Correction: Physiology and immunology of a pig-to-human decedent kidney xenotransplant

 🧬Copy Number Variants  Content type: Academic
nature.com·

Strict stability of extension types

 💻Programming languages  Content type: Academic
arxiv.org·

A programming language for humans.

 💻programming languages
crowdhailer.me··Lobsters

Box Office: ‘Scary Movie’ Makes $7.7 Million in Previews, ‘Masters of the Universe’ at $4.4 Million

 🔗Tailscale  Content type: News
variety.com·

Infinite precision intermediate arithmetic: how much would break?

 📝Compiler Design
internals.rust-lang.org··Hacker News

Revo, the Programming Language

 💻programming languages
if-not-nil.github.io··Hacker News

I Became a Better Programmer (2017)

 🔗Lisp
archive.jlongster.com··Hacker News

Composable Data Access with Lenses

 💻programming languages
claudiu-ivan.com··Hacker News
Less-relevant results

Hacker News Trends: Search Hacker News super fast with Redis

 🔗Dependency Resolution
hackernewstrends.com··Hacker News

Newspaper headlines: 'Israel and Iran step back' and 'Is university a waste of money?'

 📡RSS  Content type: News
bbc.com·

book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets

 🧠Computational Logic  Content type: Code
github.com·

Tracing Tornado.Cash Laundering with Argos MCP

 🔒Privacy Preserving  Content type: Blog
functori.com··Hacker News

UK-Ireland box office preview: ‘Masters Of The Universe’ and ‘Scary Movie’ lead new releases

 📦Digital Cinema Package
screendaily.com·

Jas: AI-Paired Engineering as a Revival of N-Version Programming

 🔗Functional Compilers  Content type: Academic
arxiv.org·

No more posts from matmat's subscribed feeds.

Scour all 25257 feedsLearn more about Feeds
Sign up or log in to see more results
Sign UpLogin

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