Google DeepMind Formal Conjectures
google-deepmind.github.io·2d·
Discuss: Hacker News
🕸️Algebraic Topology
The Missing Guide to Prompt Engineering
appetals.com·1d·
Discuss: Hacker News
🧠Intelligence Compression
Crafting a dependent typechecker, part 1
blueberrywren.dev·3d·
Discuss: Hacker News
🔗Functional Compilers
Can AI Think - and Should It? What It Means To Think, From Plato To ChatGPT
slashdot.org·16h
🔲Cellular Automata
Analysis of Casey Muratori – The Big Oops: Anatomy of a Thirty-Five-Year Mistake
posrodnas.bearblog.dev·1d·
Discuss: Hacker News
🧲RISC-V Archaeology
Build, Learn, Delete, Repeat
ymichael.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Automating Away Claude's Bad Habits with Hooks | Write-Ahead (b)Log
writeaheadblogg.ing·22h·
Discuss: Lobsters, Hacker News
✨Effect Handlers
Cognitive Castes: Artificial Intelligence, Epistemic Stratification, and the Dissolution of Democratic Discourse
arxiv.org·15h
🌍Cultural Algorithms
The Future of AI in Software Engineering: Transforming Development from Code Creation to Intelligent Orchestration
dev.to·16h·
Discuss: DEV
🔄Reproducible Builds
"PhyWorldBench": A Comprehensive Evaluation of Physical Realism in Text-to-Video Models
arxiv.org·1d
📟Terminal Physics
Learning to Extract Rational Evidence via Reinforcement Learning for Retrieval-Augmented Generation
arxiv.org·15h
🔍Information Retrieval
One Step is Enough: Multi-Agent Reinforcement Learning based on One-Step Policy Optimization for Order Dispatch on Ride-Sharing Platforms
arxiv.org·15h
🔲Cellular Automata
Kolmogorov Arnold Networks (KANs) for Imbalanced Data -- An Empirical Perspective
arxiv.org·1d
🧠Machine Learning
Routine: A Structural Planning Framework for LLM Agent System in Enterprise
arxiv.org·15h
⚡Z3 Optimization
Enhancing Generalization in PPG-Based Emotion Measurement with a CNN-TCN-LSTM Model
arxiv.org·15h
🧠Neural Codecs
Extracting Visual Facts from Intermediate Layers for Mitigating Hallucinations in Multimodal Large Language Models
arxiv.org·15h
🧠Neural Compression
Recurrent Neural Networks: A Review
theahura.substack.com·3d·
Discuss: Substack
🧠Machine Learning
DeSamba: Decoupled Spectral Adaptive Framework for 3D Multi-Sequence MRI Lesion Classification
arxiv.org·15h
📊Learned Metrics
A Novel Two-Dimensional Smoothing Algorithm
arxiv.org·15h
🌀Fractal Compression
Benchmarking of EEG Analysis Techniques for Parkinson's Disease Diagnosis: A Comparison between Traditional ML Methods and Foundation DL Methods
arxiv.org·1d
🧠Machine Learning