Cactus Language • Stylistics 4
inquiryintoinquiry.com·8h
🌳Context free grammars
Context-Aware Regularization with Markovian Integration for Attention-Based Nucleotide Analysis
arxiv.org·20h
🧠Machine Learning
Functional Abstract Interpretation
simon.peytonjones.org·23h·
Discuss: Hacker News
🔗Functional Compilers
FSM Library for Embedded C Projects
hackster.io·1d
🦀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·2h·
Discuss: Hacker News
🎯Interactive Provers
Parsing Safetensors File Format in C
leetarxiv.substack.com·8h·
Discuss: Substack, r/programming
✅Format Verification
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·23h·
Discuss: Hacker News
🔍Type Inference
Daniel Linssen’s Typing Challenge
managore.itch.io·3h
🎯Gradual Typing
Historical highlights?
logicmatters.net·12h
🔀Category Theory
Piano Keys
mathpages.com·2h·
Discuss: Hacker News
🌈Spectral Audio
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
🧠Computational Logic
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
Eliza Resurrected using original code after 60 years
suramya.com·15h·
Discuss: Hacker News
⚙Automata Theory
Row Polymorphic Programming
stranger.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
Introduction to JavaScript
thenewstack.io·1d
🔗Concatenative Programming
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·8h·
Discuss: Hacker News, r/programming
🔒Type Safety
Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
arxiv.org·1d
💾Binary Linguistics
The Future of AI Agent Communication with ACP
towardsdatascience.com·7h
🔌Interface Evolution
Inheritance over composition, sometimes
death.andgravity.com·17h
🦀Rust Macros