PLT

λ PLT

programming language theory, type systems, formal semantics, language design

Feeds to Scour
SubscribedAll
Scoured 78 posts in 6.5 ms

Inclusive Beauty Packaging: Melabody Visual System

 🍎SwiftUI
abduzeedo.com·

Introducing Jo — Secure Programming for the AI Era

 📝Software Essays  Content type: Blog
jo-lang.org··Hacker News

Typotheque: New typeface: Chairman

 🍎SwiftUI  Content type: Blog
typotheque.com·

Scarab Diagnostic Field Test #023 — Rust Raw Pointer Recursive Layout Boundary

 ⚙️Systems Programming  Content type: Code
github.com··DEV

Composable Data Access with Lenses

 🍎SwiftUI
claudiu-ivan.com··Hacker News

The fastest JVM is the C++26 compiler

 ⚙️Systems Programming
wrocpp.github.io··r/cpp

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

 🔧Compilers
yon-lang.org··Hacker News

PyCoder’s Weekly: Issue #738: sleep(), Polars Workflows, Iterators, and More (2026-06-09)

 🧠Core ML
pycoders.com·

When AI builds itself 👷, AI is not a line item 📝, local LLMs for agentic coding 🤖

 ⚙️Backend Dev
tldr.tech·

Native Elm (the real kind this time)

 🔑Cryptography
cekrem.github.io··r/functionalprogramming, r/node, r/programming, r/typescript, r/webdev

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

 🧠Core ML  Content type: Academic
arxiv.org·

SaaS Dashboard UI/UX Design: Structuring Workspace Efficiency

 📊Data Visualization
abduzeedo.com·

Introducing RawTree

 ◈GraphQL  Content type: Blog
rawtree.com··Hacker News

Programming Languages Course Reboot, 2026

 📝Software Essays  Content type: Reference
docs.google.com··Lobsters, Hacker News

Web Review, Week 2026-23

 🐧Linux  Content type: Blog
ervin.ipsquad.net·

Language Models for Programming — Will Richardson

 🌍Web Dev
willhbr.net·

How TypeScript infers type variables

 ⚡Swift Concurrency
norswap.com··Lobsters, Hacker News

How to Defend Against Prompt Injection in Production

 ✍️Prompt Engineering  Content type: Reference
leanpub.com··DEV

Introduction - Rust for Python Programmers

 ⚡Swift Concurrency
microsoft.github.io··Hacker News

ariadne: a CI/CD Optimizing Compiler

 🔧Compilers
abm-77.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