iLLM-A*: Hybrid AI to speed up path planning by a factor of 1000
heise.de·2d
🧮Kolmogorov Complexity
The Chip That Spoke Lisp
jxself.org·2d
🤖Lisp Machines
Code Tours as Code
dundalek.com·10h·
Discuss: Hacker News
⚙️Build Archaeology
Mathematical model of memory suggests 7 senses are optimal
skoltech.ru·4h·
Discuss: Hacker News
🔲Cellular Automata
Beating the L1 cache with value speculation (2021)
mazzo.li·3d·
Discuss: Lobsters, Hacker News
⚡CPU Microarchitecture
I played 1k hands of online poker and built a web app with Cursor AI
blog.rchase.com·1d·
Discuss: Hacker News
🚀Indie Hacking
How I Built a Nationwide Bowling Directory with Replit, Next.js, and AI
dev.to·4h·
Discuss: DEV
🔍BitFunnel
Vibe Coding: Closing The Feedback Loop With Traceability
blog.sentry.io·1d·
Discuss: Hacker News
⚡Proof Automation
Front-Loading Reasoning: The Synergy between Pretraining and Post-Training Data
arxiv.org·2d
🧠Machine Learning
Aligning Language Models with Clinical Expertise: DPO for Heart Failure Nursing Documentation in Critical Care
arxiv.org·1d
🔄Archival Workflows
Revisiting Long-context Modeling from Context Denoising Perspective
arxiv.org·1d
🔢Denotational Semantics
94% of AI Developers Ignore This Theorem Prover. Here's Why That's Costing Millions.
dev.to·4d·
Discuss: DEV
⚙️Proof Engineering
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·3h·
Discuss: DEV
📊Multi-vector RAG
Adaptive and Explainable AI Agents for Anomaly Detection in Critical IoT Infrastructure using LLM-Enhanced Contextual Reasoning
arxiv.org·2d
⚙️TLA+
Disclosure and Evaluation as Fairness Interventions for General-Purpose AI
arxiv.org·1d
✨Effect Handlers
Through the Perspective of LiDAR: A Feature-Enriched and Uncertainty-Aware Annotation Pipeline for Terrestrial Point Cloud Segmentation
arxiv.org·17h
🏺Computational Archaeology
Adaptive Predictive Maintenance of PLC-Controlled Conveyor Systems via Multi-Modal Data Fusion and Anomaly Scoring
dev.to·22h·
Discuss: DEV
🌊Stream Processing
AI Agent Building Block: Native App Automation
dev.to·17h·
Discuss: DEV
⚡Proof Automation
The Hidden Oracle Inside Your AI: Unveiling Data Density with Latent Space Magic by Arvind Sundararajan
dev.to·19h·
Discuss: DEV
🧠Machine Learning
Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.org·3d
🔍Concolic Testing