🔧 PLT

Type Theory, Lambda Calculus, Semantics, Compiler Design

Simple Programming Languages
ryanbrewer.dev·1d·
Discuss: Hacker News
🪜Scala
Cactus Language • Pragmatics 11
inquiryintoinquiry.com·11h
📐formal specification
We can still sleep peacefully — or so we thought. Steganography via internal activations is already possible in small language models — a potential first step t...
lesswrong.com·14h
🐫Ocaml
Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·2d
📐formal specification
Learning Data Structures and Algorithms
reddit.com·1d·
Discuss: r/C_Programming
🪜Scala
Why Racket? Why Lisp?
practicaltypography.com·11h·
Discuss: Lobsters, Hacker News
🪜Scala
More Thoughts on My Mental Model for Understanding Data Structures and Algorithms
projectsayo.hashnode.dev·11h·
Discuss: DEV
🪜Scala
How LLMs Transform Language into Vectors: The Power of Embeddings
dev.to·3h·
Discuss: DEV
🪜Scala
Show HN: A Python CEL implementation (written in Rust)
news.ycombinator.com·1d·
Discuss: Hacker News
🦀Rust
Higher order functions in React (deep dive)
dev.to·8h·
Discuss: DEV
🪜Scala
Python 101: Reading TOML with Python
blog.pythonlibrary.org·2d
🐫Ocaml
Significa Foundations
foundations.significa.co·1d·
Discuss: r/reactjs, r/webdev
🐫Ocaml
Anonymous Functions in Python
valuetown.bearblog.dev·4d
🪜Scala
My brief overview of Cangjie Programming Language by Huawei
codeabbey.com·2d·
Discuss: Hacker News, r/programming
🐫Ocaml
REPL + Prompt
funcall.blogspot.com·17h·
Discuss: www.blogger.com
🐫Ocaml
WIP: Nvidia Parakeet ASR mode inference in GGML
github.com·9h·
Discuss: Hacker News
📐formal specification
Mars v1.0.0 — a small language implemented in Go, with Go-like struct literals and clear errors
reddit.com·9h·
Discuss: r/golang
🐫Ocaml
Yet Another LLM Rant
overengineer.dev·13h·
Discuss: Hacker News
📐formal specification
Discrete Differential Geometry Lecture 2B: Introduction to Manifolds
youtube.com·11h
🐫Ocaml
I made the first good IAL!
docs.google.com·1d·
Discuss: r/conlangs
🐫Ocaml