Elmo's World NP-complete problem (2006)
blog.plover.com·1d·
Discuss: Hacker News
🧮SMT Solvers
Sheaf Hypergraph Networks
arxiv.org·2d
🌀Hyperbolic Geometry
AI and ML Courses in Bangalore: Master Exploratory Data Analysis
dev.to·10h·
Discuss: DEV
🎵Audio ML
Cactus Language • Syntax 11
inquiryintoinquiry.com·2d
📝Concrete Syntax
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·7h·
Discuss: DEV
✓Automated Theorem Proving
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·18h
🔗Topological Sorting
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Computational Approaches to Understanding Large Language Model Impact on Writing and Information Ecosystems
arxiv.org·1d
📜Digital Philology
Hypercubical manifolds in homotopy type theory
arxiv.org·18h
🔶Cubical Type Theory
Unlocking Hyper-Security: The Power of AI in Multi-Modal Biometric Systems
dev.to·18h·
Discuss: DEV
🎵Spectral Hashing
Using Wavelets and Clustering to Predict Odd or Even Numbers: An Overengineered Approach with Pretty (But Confusing) Plots
dev.to·8h·
Discuss: DEV
🧠Machine Learning
SLR: An Automated Synthesis Framework for Scalable Logical Reasoning
arxiv.org·2d
📏Linear Logic
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.org·1d
🔗Monadic Parsing
On Union-Closedness of Language Generation
arxiv.org·1d
🔗Monadic Parsing
Introduction to Algorithms: What They Are and Why They Matter
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
Learning-aided Bigraph Matching Approach to Multi-Crew Restoration of Damaged Power Networks Coupled with Road Transportation Networks
arxiv.org·18h
🕸️Graph Algorithms
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·1d·
Discuss: Hacker News
🤖Archive Automation
Building Scalable Web Applications with Advanced JavaScript Patterns
dev.to·2h·
Discuss: DEV
🛠Language Design
Computation of Immediate Neighbours of Monotone Boolean Functions
arxiv.org·1d
🔲Cellular Automata