Robots Dance, Box, and Play Piano at China’s AI Summit
bloomberg.com·11h
🆕New AI
What Are They Carrying?
prickly.oxhe.art·19h
📰RSS Reading Practices
OSDR Chats with Begum Mathyk
science.nasa.gov·12h
⚛️Physics
Why doesn't Convex have SELECT or COUNT?
stack.convex.dev·5h
💾Databases
Kieran Gilmurray: AI strategy without purpose is pointless
nordot.app·20h
💳Content Monetization
Building real-time Leaderboard with Redis
medium.com·3h·
Discuss: Lobsters
🏆Ranking
Proving theorems using Julia's types (or, a mini-Lean in Julia)
lmao.bearblog.dev·8h·
Discuss: Hacker News
🧩Types
I’m Writing Daily Again. It’s Hard, But I Love It.
dariusforoux.com·20h
🎭Claude
How does prompt optimization compare to RL algos like GRPO?
threadreaderapp.com·15h
🧮SMT Solvers
Configuration for AI coding assistants working with the Linux kernel codebase
lore.kernel.org·19h·
Discuss: Hacker News
👨‍💻AI Coding
MIMII-Agent: Leveraging LLMs with Function Calling for Relative Evaluation of Anomalous Sound Detection
arxiv.org·3h
🧠LLM Inference
DAG-AFL:Directed Acyclic Graph-based Asynchronous Federated Learning
arxiv.org·3h
🤝Distributed Consensus
Oranits: Mission Assignment and Task Offloading in Open RAN-based ITS using Metaheuristic and Deep Reinforcement Learning
arxiv.org·3h
📅Resource Scheduling
LoRA-PAR: A Flexible Dual-System LoRA Partitioning Approach to Efficient LLM Fine-Tuning
arxiv.org·3h
🧠LLM Inference
A Novel Post-Quantum Secure Digital Signature Scheme Based on Neural Network
arxiv.org·3h
🛡️AI Security
HN Tags
paperstack.com·19h
🚀Indie Hacking
This Is Not Life
lesswrong.com·23h
🎭Claude
The Bard and The Shell
journal.bsd.cafe·23h·
Discuss: Lobsters, Hacker News
📟Terminals
From Prompt to Pipeline: Large Language Models for Scientific Workflow Development in Bioinformatics
arxiv.org·3h
💻Programming languages
Syco Bench, a simple benchmark of LLM Sycophancy
timfduffy.substack.com·14h·
Discuss: Substack
🏆LLM Benchmarking