Principles of Epistemology (2025, essay)
🏔️Domain Theory
Flag this post
Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
🔧ppx
Flag this post
Cognitive Burden
✓Automated Theorem Proving
Flag this post
Branched Signature Model
arxiv.org·1d
🕸️Graph Theory
Flag this post
Going From Reactive to Predictive Incident Response with AIOps
hackernoon.com·23h
🩹Self-Healing Systems
Flag this post
RIS-Assisted 3D Spherical Splatting for Object Composition Visualization using Detection Transformers
arxiv.org·15h
🔧Microcontrollers
Flag this post
Beyond Basic RAG: AI Agents for Context-Aware Responses
thenewstack.io·4h
🧩Parser Combinators
Flag this post
High-Throughput HPLC Method Optimization via Bayesian Neural Network & Predictive Maintenance
🧠Automated Reasoning
Flag this post
Automated Simulation Anomaly Detection via Multi-Modal Graph Analysis and Reinforcement Learning
👁️System Observability
Flag this post
Human-AI Programming Role Optimization: Developing a Personality-Driven Self-Determination Framework
arxiv.org·1d
λFunctional Programming
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·5d
🧠Automated Reasoning
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·1d
📦OPAM
Flag this post
Logic-informed reinforcement learning for cross-domain optimization of large-scale cyber-physical systems
arxiv.org·1d
🧠Automated Reasoning
Flag this post
This is one way I use AI for coding
🧮Z3 Solver
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.org·1d
✓Automated Theorem Proving
Flag this post
Tackling Incomplete Data in Air Quality Prediction: A Bayesian Deep Learning Framework for Uncertainty Quantification
arxiv.org·15h
🕸️Graph Theory
Flag this post
Dialogue as Discovery: Navigating Human Intent Through Principled Inquiry
arxiv.org·2d
🔲Cellular Automata
Flag this post
Zero-RAG: Towards Retrieval-Augmented Generation with Zero Redundant Knowledge
arxiv.org·1d
🧩Parser Combinators
Flag this post
Loading...Loading more...