Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·1d
🔧Scheme Macros
ZTree: A Subgroup Identification Based Decision Tree Learning Framework
arxiv.org·4h
🌳Tree Algorithms
Automated Conformance Testing Through Hybrid Symbolic Execution & Reinforcement Learning
dev.to·6h·
Discuss: DEV
🧪Test DSLs
A Steering Vector for SQL Injection Vulnerabilities in Phi-1.5
lesswrong.com·1h
🛡️Parser Security
Semantic Dictionary Encoding
falvotech.com·1d·
Discuss: Hacker News
🗂️Type Indexing
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·4h
📜Proof Languages
Compiling with Continuations
swatson555.github.io·4h·
Discuss: Hacker News
🔬programming language theory
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·1d·
Discuss: Lobsters, Hacker News
🐪OCaml
Learning Rust and a bit unclear about an exercise on Exercism
exercism.org·20h·
Discuss: r/rust
🦀Rust Macros
[ARC-AGI-2 SoTA] Efficient Evolutionary Program Synthesis
ctpang.substack.com·3h·
Discuss: Substack
🔍ML Language
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·1d·
Discuss: Hacker News
🔗Lexical Scoping
ECMAScript TC39 proposal-pattern-matching
github.com·1d·
Discuss: Hacker News
🎯Pattern Matching
System Instruction Fixed Point
funcall.blogspot.com·13h·
Discuss: www.blogger.com
💬Interactive REPLs
Machine Learning in punch card COBOL from the ‘60s? Of course we can!
blog.stackademic.com·13h·
Discuss: r/programming
🔍ML Language
Model Kombat by HackerRank
producthunt.com·1d
🏁Language Benchmarks
Concurrent Linguistic Error Detection (CLED): a New Methodology for Error Detection in Large Language Models
arxiv.org·4h
🧪Parser Testing
Clean Code Tips I Learned from Senior Engineers
blog.algomaster.io·4h
🚚Code Migration
Building a Unified Intent Recognition Engine
towardsdatascience.com·13h
🧠Semantic Parsing
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·1d
🗺️Region Inference
VibeTDD Experiment 4.7: Commons and Examples Compilation - Making AI Smarter Through Better Documentation
dev.to·1d·
Discuss: DEV
📚Self-Documenting Code