Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·21h
🐪OCaml
System Instruction Fixed Point
funcall.blogspot.com·2h·
Discuss: www.blogger.com
💬Interactive REPLs
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·17h
🔧Scheme Macros
Semantic Dictionary Encoding
falvotech.com·1d·
Discuss: Hacker News
🗂️Type Indexing
Bitrig's Swift Interpreter: From Code to Bytecode
bitrig.app·4h·
Discuss: Hacker News
🦉Swift Interpreters
ECMAScript TC39 proposal-pattern-matching
github.com·1d·
Discuss: Hacker News
🎯Pattern Matching
Spec Driven Development (SDD) - A initial review
dev.to·3h·
Discuss: DEV
📚Self-Documenting Code
Zettelkasten for Programmers: Processing Swift Actor Usage Advice in Depth
christiantietze.de·14h
✨Gleam
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·12h
🗺️Region Inference
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·1d·
Discuss: Hacker News
🔗Lexical Scoping
Charles Sanders Peirce, George Spencer Brown, and Me • 20
inquiryintoinquiry.com·4h
🔗Category Theory
VulAgent: Hypothesis-Validation based Multi-Agent Vulnerability Detection
arxiv.org·17h
🔍Static Analysis
First Public Working Draft: Semantic Sensor Network Ontology - 2023 Edition
w3.org·14h
🧱WASM Components
Chapter 2: LLM Benchmarks
cline.ghost.io·3h
🏁Language Benchmarks
Golang Native Service to Service Communication
medium.com·2h·
Discuss: r/golang
🌉Language Bridges
Optimization makes AI fluent, but does it kill meaning?
reddit.com·20h·
Discuss: r/LLM
🪜Recursive Descent
<p>**Abstract:** This paper introduces a novel framework, the Automated Scientific Review and Validation Scoring Framework (ASRVSF), designed to objectively eva...
freederia.com·2h
🌳Tree Diffing
Algebraic Types are not Scary
blog.aiono.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Type Checking
Interview with Aaron Patterson [audio]
podcast.drbragg.dev·6h·
Discuss: Hacker News
🔧Nickel
libvips v8.18.0 Function Pointer Type Confusion in libvips Callback Dispatch
seclists.org·18h
📦Closure Conversion