Functional Programming

Feeds to Scour
SubscribedAll
Scoured 119 posts in 9.7 ms

From Classroom to Community: SEED Transforms Learning Into Service

 🧮Algebraic Data Types  Content type: Academic
usu.edu·

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

 📐Formal Methods  Content type: Academic
arxiv.org··Lobsters

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

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

Update canonical GitHub project links (#3177)

 💻AI Coding  Content type: Code
github.com·

RikFinTech-Pro

 ⚙️Backend Engineering
rikmakershub.github.io··DEV

[eCHO News] Episode #106: Writing eBPF in Haskell. Cilium and Star Wars

 🧮Algebraic Data Types

Strudel REPL – Audio Programming Language

 🧮Algebraic Data Types
gamefromscratch.com·

"Self-Control" Is A (Neurological) Type Error

 Effect Systems
lesswrong.com·

The dangers of the Single Global Process

 🌐Distributed Systems  Content type: Blog
keathley.io·

geohot/fromthetransistor: From the Transistor to the Web Browser, a rough outline for a 12 week course

 🧪Software Testing  Content type: Code
github.com··Hacker News

A new hardback!

 📐Design Systems  Content type: Blog
logicmatters.net·

Discovering Multiscale Deep Formulas in Complex Systems via Neural-Guided Lambda Calculus

 📊ML Research  Content type: Academic
arxiv.org·

Nontrailing separators do not spark joy

 TLA+  Content type: News

I’m a new man after ‘toxic’ split says James Haskell as he thanks ‘badass’ Chloe Madeley for helping turn life around

 🧮Algebraic Data Types  Content type: News
thesun.co.uk
·

Proof System Timelines

 📝Prompt Engineering  Content type: Blog
klatz.co·

Is the peptide craze backed by science? The promise behind the hype

 🧮Algebraic Data Types  Content type: Academic
nature.com·

Is GitHub Actions Putting Your Software at Risk?

 TLA+
spin.atomicobject.com·

quasitriangular Hopf 2-algebra in nLab

 🧮Algebraic Data Types
ncatlab.org·

Language Models for Programming — Will Richardson

 🔴Scala
willhbr.net·

Spencer Pratt claims L.A.’s homeless will move to Seattle if he’s elected mayor

 🧮Algebraic Data Types  Content type: News
columbian.com
·

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