Verification power of rational-valued automata with deterministic and affine states
arxiv.org·31m
🎯Automata theory
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·4d
🔗Monadic Parsing
Human vs. AI in Logic Tasks: a Study
dailynous.com·18h
✓Automated Theorem Proving
Automated Standardized Protocol Validation via Hybrid Symbolic & Statistical Analysis
dev.to·2d·
Discuss: DEV
🌐NetworkProtocols
Holding It Together
onelook.com·4h·
Discuss: Hacker News
🖋Typography
The bloat of edge-case first libraries
43081j.com·8h·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Characterizing Fitness Landscape Structures in Prompt Engineering
arxiv.org·1d
📏Code Metrics
typical: Data interchange with algebraic data types.
github.com·2d
📋Format Specification
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·1d·
Discuss: Hacker News
🧠Machine Learning
Compiling a Functional Language to LLVM
danieljharvey.github.io·22h·
Discuss: Lobsters, Hacker News
🔗Lisp
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·6h·
Discuss: Hacker News
🐚Shell Automation
The Protocol Genome A Self Supervised Learning Framework from DICOM Headers
arxiv.org·31m
🧠Machine Learning
From Eigenmodes to Proofs: Integrating Graph Spectral Operators with Symbolic Interpretable Reasoning
arxiv.org·31m
📈Spectral Graph Theory
GenAI Foundations – Chapter 1: Prompt Basics: From Theory to Practice
dev.to·11h·
Discuss: DEV
🎙️Whisper
The new compression algorithm is not like the standard ones
ferki-git-creator.github.io·2d·
Discuss: Hacker News
🌊Streaming Compression
Hyperbolic Large Language Models
arxiv.org·1d
🌀Hyperbolic Geometry
Systematic Optimization of Open Source Large Language Models for Mathematical Reasoning
arxiv.org·31m
🧮SMT Solvers
Undecidability of Tiling with a Tromino
arxiv.org·31m
🎯Performance Proofs
Under the Hood of Fuzzy Search: Building a Search Engine 15 times fuzzier than Lucene
andrewjsaid.com·3d·
Discuss: Hacker News, r/programming
🎯Automata theory
Rich Answered That
gist.github.com·12h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects