Duality
xythobuz.de·21h
📼Retro Games
TASER: Table Agents for Schema-guided Extraction and Recommendation
arxiv.org·5h
🔍Information Retrieval
Show HN: OnPair – String compression with fast random access (Rust, C++)
github.com·17h·
Discuss: Hacker News
📦Deflate
Dyna – Logic Programming for Machine Learning
dyna.org·3d·
Discuss: Lobsters, Hacker News, r/compsci
🔗Constraint Handling
Object-Oriented Programming in Python: Complete Crash Course
dev.to·18h·
Discuss: DEV
🔗Concatenative Programming
Latent Wave Field: The Resonant Domain Within Artificial Intelligence
medium.com·9h·
Discuss: Hacker News
🔲Cellular Automata
What do Speech Foundation Models Learn? Analysis and Applications
arxiv.org·1d
🎙️Whisper
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·2d
🔮Proof Search
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
arxiv.org·5h
⚡Dependent Rust
Logic Unseen: Revealing the Logical Blindspots of Vision-Language Models
arxiv.org·2d
📏Linear Logic
Interpolation in Classical Propositional Logic
arxiv.org·2d
🔗Combinatory Logic
Language Models as Thespians
jstrieb.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
💻Local LLMs
On Delta-Homology Analogy: Memory as Structured Trajectories
arxiv.org·1d
🕸️Algebraic Topology
Benchmarking document information localization with Amazon Nova
aws.amazon.com·14h
📄Document Digitization
Group Fair Matchings using Convex Cost Functions
arxiv.org·1d
🎯Performance Proofs
Encoding and Reasoning About Arrays in Set Theory
arxiv.org·2d
💻Programming languages
Extracting Structured Requirements from Unstructured Building Technical Specifications for Building Information Modeling
arxiv.org·5h
📋Document Grammar
Large Language Models Parse Content
blog.blogwald.com·1d·
Discuss: Hacker News
🧠Intelligence Compression
CORE: Measuring Multi-Agent LLM Interaction Quality under Game-Theoretic Pressures
arxiv.org·1d
🧮Kolmogorov Complexity
Machine Learning-Based AES Key Recovery via Side-Channel Analysis on the ASCAD Dataset
arxiv.org·1d
🔍Vector Forensics