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ยท
๐Ÿ”ฉ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ยท
๐Ÿ”ฒ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ยท
๐Ÿ“œProof Carrying Code