PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·1d
💻Programming languages
Cactus Language • Semantics 2
inquiryintoinquiry.com·7h
🔢Denotational Semantics
Less Is More: Recursive Reasoning with Tiny Networks
github.com·6h·
Discuss: Hacker News
📊Quantization
Toy Binary Decision Diagrams
philipzucker.com·2d
🧮Algebraic Datatypes
Golang Dependency Inversion — A Java Developer's Point of View
dev.to·1d·
Discuss: DEV
🔬Refinement Types
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.com·1d
✅Format Validation
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·11h·
Discuss: Hacker News
🧬Functional Programming
SAT problems are kind of cool
blog.karanjanthe.me·5h·
Discuss: Hacker News
🧮SMT Solvers
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·1d
🎯Proof Tactics
GaloisInc/parameterized-utils
github.com·19h
🧮Algebraic Datatypes
The Programmer Identity Crisis
hojberg.xyz·8h·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Just finished learning Go basics — confused about two different ways of handling errors.
reddit.com·17h·
Discuss: r/golang
🔗Lisp
Three Solutions to Nondeterminism in AI
blog.hellas.ai·8h·
Discuss: Hacker News
🎯Performance Proofs
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·2d·
Discuss: DEV
📏Code Metrics
Big Bots Don't Cry
blog.computationalcomplexity.org·7h·
Discuss: blog.computationalcomplexity.org
🔲Cellular Automata
Developers Do Not Trust AI, and That’s a Good Thing
thenewstack.io·4h
🧪Binary Fuzzing
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·2d
⬆️Lambda Lifting
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.com·1d
🔓Decompilation
Lessons from building 15 iOS apps serving 1M daily users
gist.github.com·10h·
Discuss: Hacker News
🔌Interface Evolution
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·7h·
Discuss: Lobsters, Hacker News, r/golang, r/programming
📜Proof Carrying Code