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 73 posts in 18.1 ms

Idris Elba Says Bond Rumors Were ‘Never Legit’ and ‘Not Realistic’: Audiences ‘Won’t Go for a Black Male Playing Bond’

 ⚛️Quantum Codecs  Content type: News
variety.com·

A Concurrent Language for Non-Concurrent Software (2010)

 ⚡Parallel Computing
prog21.dadgum.com··Hacker News

Proof System Timelines

 📐Proof Assistants  Content type: Blog
klatz.co·

Nontrailing separators do not spark joy

 🔗Constraint Handling  Content type: News
Computer Things via buttondown.com··Lobsters

a topos-oriented language with a content-addressed lattice heap

 💻Programming languages
yon-lang.org··Hacker News

Property-based testing | Liam DeVoe

 🧪Property-Based Testing
tybug.dev··Hacker News

Idris Elba says he was never ‘realistic’ James Bond contender because of race

 ⚛️Quantum Codecs  Content type: News
the-independent.com·

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

 🔗Functional Compilers  Content type: Academic
nature.com·

Idris Elba says audiences would never accept a black actor playing James Bond: ‘That’s not what they like in their culture’

 ⚛️Quantum Codecs  Content type: News
theguardian.com·

Best explanations of how LLMs work

 🧠Learned Codecs  Content type: Blog
vorushin.github.io··Hacker News

We Cut Semgrep's Taint Analysis Time by 75%

 📊Static Analysis  Content type: Blog
semgrep.dev··Hacker News

Nex-N2-mini: A 35B Model Built for Autonomous Agents

 🏠Home Automation
hackernoon.com·

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

 ⚙️Logic Synthesis  Content type: Code
github.com··Hacker News

Stars pay tribute to 'visionary' Mobo Awards founder Kanya King

 📼Audio Cassettes  Content type: News
bbc.com·

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

 💻Programming languages  Content type: Academic
arxiv.org··Lobsters

Building a serializable database in Rust, and measuring what it costs

 🦀Rusty Databases
yahyaehsan.dev··Hacker News

I wish Deno would keep doing what it does best

 📦Package Managers
hackers.pub··Lobsters, Hacker News, r/javascript

Introducing Jo — Secure Programming for the AI Era

 💻programming languages  Content type: Blog
jo-lang.org··Hacker News

tensor product of stable (infinity,1)-categories in nLab

 🔀Category Theory
ncatlab.org·

Callum Turner breaks silence on James Bond rumours after receiving backing from George Clooney

 🔍Polish Cryptanalysis  Content type: News
the-independent.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