Learning Regular Languages with RPNI Algorithm
rahul.gopinath.org·1d·
Discuss: Hacker News
📐Format Grammars
Flag this post
Additive Models Explained: A Computational Complexity Approach
arxiv.org·22h
🧮Kolmogorov Complexity
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·11h·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
Flag this post
Parsing: How Ruby Understands Your Code
patshaughnessy.net·1d
📝Concrete Syntax
Flag this post
Clojure Runs ONNX AI Models Now - Join the AI fun!
dragan.rocks·1d·
Discuss: Hacker News
🌳Context free grammars
Flag this post
AI-Powered Contractual Ambiguity Resolution via Semantic Graph Alignment and Bayesian Inference
dev.to·3h·
Discuss: DEV
🔗Constraint Handling
Flag this post
HigherOrderCO/Bend2
github.com·2d
🔗Functional Compilers
Flag this post
Stock Market Shark: More Multidimensional DP
mmhaskell.com·17h
🔗Constraint Handling
Flag this post
Understanding Type-Based Alias Analysis in C and C++
kdab.com·14h·
Discuss: Hacker News
🔒Type Safety
Flag this post
A moonlit week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
λLambda Encodings
Flag this post
Irish-BLiMP: A Linguistic Benchmark for Evaluating Human and Language Model Performance in a Low-Resource Setting
arxiv.org·22h
🌳Context free grammars
Flag this post
A bestiary of single-file programming language implementations
github.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Recent Rust Changes
ncameron.org·6h·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Borrowing
Flag this post
Turing Machine Visualization (2016)
turingmachine.io·3h·
Discuss: Hacker News
🎞️Tape Combinatorics
Flag this post
Code Like a Master Builder: AI-Powered Program Composition
dev.to·23h·
Discuss: DEV
📝Compiler Design
Flag this post
Three Sins of Contextual Mismatch: Obscurity, Ambiguity, and Confabulation
medium.com·17h·
Discuss: Hacker News
🇸🇪Nordic Algorithms
Flag this post
The End of Shouting: Prompts as Programs in GPT-5
robert-glaser.de·1d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Flag this post
Five LLM Tricks for Data Pipelines
presentofcoding.substack.com·13h·
Discuss: Substack
🔗Constraint Handling
Flag this post
Typoglycemia under the Hood: Investigating Language Models' Understanding of Scrambled Words
arxiv.org·22h
🔗Concatenative Languages
Flag this post
Corecursion
en.wikipedia.org·3d·
Discuss: Hacker News
λLambda Encodings
Flag this post