Programming Paradigms

Feeds to Scour
SubscribedAll
Scoured 46 posts in 13.3 ms

Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones

 🔢Type Theory  Content type: News
developing.dev·

quasitriangular Hopf 2-algebra in nLab

 🔄Category Theory
ncatlab.org·

Implementing Monads with Async Zig

 🔍Abstract Interpretation  Content type: Blog

Angular Signals explained: How pull-based reactivity changes how we model state

 🧩Mental Models
infoworld.com·

OCaml Weekly News, 09 Jun 2026

 Formal Verification

15-150: Principles of Functional Programming

 🔄Category Theory

Update canonical GitHub project links (#3177)

 📊Data Science  Content type: Code
github.com·

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

 🔢Type Theory
lix.polytechnique.fr·

🍋 Lumiterra Dev Log #138 · Agents Learn to Stake, the Social Layer Takes Shape

 🤖AI Agents  Content type: Blog
lumiterra.itch.io·

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

 📐Design Patterns  Content type: Blog
en.andros.dev··Hacker News

Component Communication in Angular: Input(), Output()

 🧪Software Testing
angular.dev··DEV

The Ultimate Arduino Coding Power Course Bundle (72% discount)

 💻Code Generation
sharewareonsale.com·

Issue 527

 🔢Type Theory
haskellweekly.news·

[Project] Implemented core data structures & sorting in Python vs. C++ (Seeking feedback on code quality/style)

 Code Quality  Content type: Code
github.com··r/learnpython

Create Your Own Programming Language with Rust

 🧱Memory Allocators

Consciousness as a fundamental property of reality

 🔍Epistemology

A Concurrent Language for Non-Concurrent Software (2010)

 Concurrency

VoidZero → Cloudflare, and Angular 22 lands

 ☸️Kubernetes

Best explanations of how LLMs work

 🎮Reinforcement Learning  Content type: Blog

The Boot.dev Beat. June 2026

 ⚙️AI Engineering  Content type: Blog
boot.dev·

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