PL Theory

λ PL Theory

programming language, type systems, formal semantics, lambda calculus

Feeds to Scour
SubscribedAll
Scoured 96 posts in 7.5 ms

A programming language for humans.

 ⚙️Compilers
crowdhailer.me··Lobsters

IDA 9.4 Beta Is Now Available

 🐧OS  Content type: Blog
hex-rays.com·

Where modern PHP stands in 2026: deployment, architecture, typing, and concurrency

 ⚙️Compilers  Content type: Blog
morice.live··r/webdev

Programming Languages Software Award

 ⚙️Compilers
sigplan.org·

Inclusive Beauty Packaging: Melabody Visual System

 🤖AI
abduzeedo.com·

Zephir: PHP Extension Language

 ⚙️Compilers
zephir-lang.com··Hacker News

Typotheque: New typeface: Chairman

 📜CS Papers  Content type: Blog
typotheque.com·

The Rust Features That Rewired How I Think About Systems Code (2026 Edition)

 ⚙️Compilers  Content type: Blog
medium.com
·

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

 ⚙️Compilers  Content type: Academic
arxiv.org··Lobsters

One Language To Rule Them All

 🐧OS  Content type: Blog
programmingsimplicity.substack.com··Substack

Kan Extensions in Haskell

 ⚙️Compilers
bartoszmilewski.com··Hacker News

The fastest JVM is the C++26 compiler

 ⚙️Compilers
wrocpp.github.io··r/cpp

Composable Data Access with Lenses

 ⚙️Compilers
claudiu-ivan.com··Hacker News

Introducing RawTree

 ⚙️MLOps  Content type: Blog
rawtree.com··Hacker News

Caty: Capable Types

 ⚙️Compilers
ziggit.dev·

Native Elm (the real kind this time)

 🐧OS
cekrem.github.io··r/functionalprogramming, r/node, r/programming, r/typescript, r/webdev

SaaS Dashboard UI/UX Design: Structuring Workspace Efficiency

 🖥️Systems Research
abduzeedo.com·

Pitch Deck Presentation Design Template for Adobe InDesign That Actually Works Under Pressure

 🎙️Tech Talks
weandthecolor.com·

tompassarelli/beagle: a typed authoring layer for agent-written code

 ⚙️Compilers  Content type: Code
github.com··r/NixOS

The Degeneracy of the Centre Comonad Model and the Precomposition Obstruction for Quantum Modalities on Presheaf Topoi

 🔢Quantitative Finance  Content type: Academic
arxiv.org·

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