Functional Programming

Feeds to Scour
SubscribedAll
Scoured 213 posts in 8.2 ms

Moduli Space of Sheaves and Categorified Commutator of Functors

 🔤Type Theory  Content type: Academic
arxiv.org·

Language Models for Programming — Will Richardson

 🔒Memory Safety
willhbr.net·

Reusable Elixir Libraries

 ⚙️Systems Programming  Content type: Blog
keathley.io·

Programming Languages Software Award

 Formal Verification
sigplan.org·

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

 🔤Type Theory  Content type: Blog
en.andros.dev··Hacker News

Strudel REPL – Audio Programming Language

 🔨Compiler Design
gamefromscratch.com·

Honeysuckle on the trail

 ❄️Nix  Content type: Blog
lauravanderkam.com·

Publishing your blog to standard.site in Elixir

 🗄Database development  Content type: Blog
jola.dev··Hacker News

Unkey Elixir SDK — API key management for Elixir applications

 🦀Rust
elixirstatus.com·

overtone/overtone: Collaborative Programmable Music

 🌟Open Source  Content type: Code
github.com··Hacker News

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

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

Slowed Down

 🦀Rust  Content type: Blog
clofer.codeberg.page·

RikFinTech-Pro

 🔍eBPF
rikmakershub.github.io··DEV

Making Semgrep rip: How Ripgrep inspired us to shave hours off (some) scans

 🌐Distributed Systems  Content type: Blog
semgrep.dev··Hacker News

The Comprehensive Guide to Elixir's List Comprehension

 🔤Type Theory
mitchellhanberg.com·

We Cut Semgrep's Taint Analysis Time by 75%

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

Configure Calva Result Display

 📝Obsidian

Property-based testing | Liam DeVoe

 CPU Architecture
tybug.dev··Hacker News

SQLite improving performance with pre-sort

 🗄Database development

New Sounds For The Korg Prologue

 📝Obsidian
synthtopia.com·
Sign up or log in to see more results

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