📐 PLT - plumenator · Scour

read a couple of books about compilers

redplait.blogspot.com·2d·

Discuss: redplait.blogspot.com

⚙️Compilers

TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)

arxiv.org·13h

familial 2-monad in nLab

ncatlab.org·6h

🔄Category Theory

What Will Future Programming Languages Look Like?

jackwsmth.com·3d

λFunctional Programming

Dimensional Type Systems and Deterministic Memory Management: Design-Time Semantic Preservation in Native Compilation

arxiv.org·2d

⚙️Compilers

The Genius of Lisp (Berksoft Publications)

i-programmer.info·1d

λFunctional Programming

Equality in Dependent Type Theories

nadrieril.github.io·12h

🔤Type Systems

mason.bearblog.dev·10h

💻Programming

Vector, the Journal of the British APL Association

web.archive.org·1d·

Discuss: Hacker News

🔗Linear Types

COBOL is the asbestos of programming languages 2026-03-19 17:48:58.344729+01

flutterby.com·1d

Data is Code (2016)

haskellforall.com·1d·

Discuss: Lobsters

λFunctional Programming

CPython: 36 Years of Source Code

blog.python.org·9h·

Discuss: Hacker News

Lobsters Interview with Internet_Jannitor

alexalejandre.com·17h

🔤Type Systems

Emacs Internal #01: is a Lisp Runtime in C, Not an Editor

thecloudlet.github.io·30m·

Discuss: r/programming

⚙️Compilers

A survey on LLMs for spreadsheet intelligence

orbilu.uni.lu·1d·

Discuss: Hacker News

λFunctional Programming

Introducing Frankie — The Programming Language — “It’s alive!” 🧟⚡

dev.to·2d·

Discuss: DEV

λFunctional Programming

haskellweekly.news·1d

Affine Space Types

videocortex.io·3d·

Discuss: Lobsters

🔗Linear Types

LongCat-Flash-Prover: A new frontier for Open-Source Formal Reasoning.

huggingface.co·2h·

Discuss: r/LocalLLaMA

HassanHammoud9/python-from-scratch: Learn Python by typing, not by watching. 28 practice files from basics to DSA/LeetCode prep. Built for people who learn by doing.

github.com·3h·

Discuss: r/Python

λFunctional Programming

Loading more...