🔧 PLT

Type Theory, Lambda Calculus, Semantics, Compiler Design

Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
🔄Concurrency Models
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·1h·
Discuss: Hacker News
📐formal specification
Flag this post
Java is an incredible language in that it got literally every single thing wrong.
bsky.app·4h·
Discuss: Bluesky
🪜Scala
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
🪜Scala
Flag this post
Personal Standard Library - Generic and Type-Safe Containers
reddit.com·1d·
Discuss: r/C_Programming
🔍Static Analysis
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·2h·
Discuss: Hacker News
🪜Scala
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·23h·
Discuss: Hacker News
📐formal specification
Flag this post
The 5 FREE Must-Read Books for Every LLM Engineer
kdnuggets.com·1d
📐formal specification
Flag this post
An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·18h
📐formal specification
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·1d
🪜Scala
Flag this post
My query languages library pivot
dev.to·3h·
Discuss: DEV
🪜Scala
Flag this post
ws-dl.blogspot.com·22h·
Discuss: ws-dl.blogspot.com
🐫Ocaml
Flag this post
PCT quantum symmetries -- section
ncatlab.org·4h
🐫Ocaml
Flag this post
Exceptions in Cranelift and Wasmtime
cfallin.org·22m·
Discuss: Hacker News
🔍Static Analysis
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·4d·
Discuss: Hacker News
🐫Ocaml
Flag this post
<p>**Abstract:** This paper introduces a framework for automated verification of the semantic integrity of scientific literature, termed Automated Semantic Inte...
freederia.com·29m
🔍Static Analysis
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·2d·
Discuss: Hacker News
🔍Static Analysis
Flag this post
AILA--First Experiments with Localist Language Models
arxiv.org·13h
🐫Ocaml
Flag this post
Programming Languages Lie: Variables Aren’t What You Think They Are
dev.to·17h·
Discuss: DEV
🔍Static Analysis
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·1d·
Discuss: r/programming
🪜Scala
Flag this post