Cactus Language • Stylistics 4
inquiryintoinquiry.com·17h
🌳Context free grammars
Context-Aware Regularization with Markovian Integration for Attention-Based Nucleotide Analysis
arxiv.org·1d
🧠Machine Learning
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·11h·
Discuss: Hacker News
🎯Interactive Provers
Janet Feature Demos
github.com·2h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
Parsing Safetensors File Format in C
leetarxiv.substack.com·17h·
Discuss: Substack, r/programming
✅Format Verification
On the Complexity of the Optimal Correlated Equilibria in Extensive-Form Games
arxiv.org·5h
🔲Cellular Automata
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·5h
🌳Context free grammars
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Historical highlights?
logicmatters.net·22h
🔀Category Theory
Piano Keys
mathpages.com·11h·
Discuss: Hacker News
🌈Spectral Audio
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
Row Polymorphic Programming
stranger.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
The Future of AI Agent Communication with ACP
towardsdatascience.com·17h
🔌Interface Evolution
Will AI agents replace software developers? A realistic breakdown
victoronsoftware.com·29m·
Discuss: Hacker News
🔄Language Evolution
Inheritance over composition, sometimes
death.andgravity.com·1d
🦀Rust Macros
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines