Verification power of rational-valued automata with deterministic and affine states
arxiv.org·17h
🎯Automata theory
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·8h
🔤Type Theory
Context Pruning in Conversational Agent
poonai.xyz·10h·
Discuss: Hacker News
⚡Proof Automation
10 Common Misconceptions About Large Language Models
machinelearningmastery.com·7h
💻Local LLMs
Show HN: 5MB Rust binary that runs HuggingFace models (no Python)
github.com·5h·
Discuss: Hacker News
🦀Rust Macros
From Eigenmodes to Proofs: Integrating Graph Spectral Operators with Symbolic Interpretable Reasoning
arxiv.org·17h
📈Spectral Graph Theory
Indic NLP: AI4Bharat papers explainer part 1
shubhamg.bearblog.dev·4h·
Discuss: Hacker News
📝Text Parsing
Lexy: A parser combinator library for C++17
github.com·7h·
Discuss: Hacker News
📋DFDL
Self-Assembly Gets Automated in Reverse of ‘Game of Life’
quantamagazine.org·7h·
Discuss: Hacker News
🔲Cellular Automata
Undecidability of Tiling with a Tromino
arxiv.org·17h
🎯Performance Proofs
python: printing, variables and data types
dev.to·1h·
Discuss: DEV
📝Concrete Syntax
Human vs. AI in Logic Tasks: a Study
dailynous.com·1d
✓Automated Theorem Proving
Adaptive Social Signal Decoding via Graph Neural Network Dynamics and Recurrent Bayesian Filtering
dev.to·18h·
Discuss: DEV
🎛️Feed Filtering
The Hungarian Algorithm and Its Applications in Computer Vision
towardsdatascience.com·1d
🎯Arithmetic Coding Theory
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·2d·
Discuss: Hacker News
🧠Machine Learning
Holding It Together
onelook.com·21h·
Discuss: Hacker News
🖋Typography
Compiling a Functional Language to LLVM
danieljharvey.github.io·1d·
Discuss: Lobsters, Hacker News
🔗Lisp
Otters 🦦 - A minimal vector search library with powerful metadata filtering
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Repeating vs. Non-Repeating FRBs: A Deep Learning Approach To Morphological Characterization
arxiv.org·1d
🧠Machine Learning
Unified Architecture for Artificial General Intelligence Based on Similarity Topology
hackernoon.com·7h
🕸️Algebraic Topology