Song recommendations with C# Reactive Extensions
blog.ploeh.dk·1d
🌊Streaming Systems
A.I. vs. A.I.
nytimes.com·1d
🛡Cybersecurity
Quoting Daniel Litt
simonwillison.net·1d
🧮SMT Solvers
We Ran a Kaizen for Knowledge Work
jakeworth.com·1d·
Discuss: Hacker News, r/SoftwareEngineering
🔄Archival Workflows
SoftBank and Open AI's $500 Billion AI Project Struggles To Get Off Ground
slashdot.org·13h
🎯Emulator Accuracy
Google DeepMind earns gold in International Math Olympiad with new Gemini AI
arstechnica.com·20h
🔲Cellular Automata
Reliable by Design: Fast, Fail-Safe AI Agents
aimon.ai·18h·
Discuss: Hacker News
🔍Concolic Testing
PGR-DRC: Pre-Global Routing DRC Violation Prediction Using Unsupervised Learning
arxiv.org·1d
🔧Hardware Verification
How to Run a Hugging Face Model in Jax (Part 1)
huggingface.co·2d·
Discuss: Hacker News
⬆️Lambda Lifting
The Holy Shit Gap
mhlakhani.com·6h·
Discuss: Hacker News
📏Code Metrics
Cognitive Castes: Artificial Intelligence, Epistemic Stratification, and the Dissolution of Democratic Discourse
arxiv.org·11h
🌍Cultural Algorithms
ERR@HRI 2.0 Challenge: Multimodal Detection of Errors and Failures in Human-Robot Conversations
arxiv.org·1d
🎙️Whisper
Serverless Inferencing: Transforming AI Deployment for a Scalable Future
dev.to·1d·
Discuss: DEV
🌊Stream Processing
A Formal Model of the Economic Impacts of AI Openness Regulation
arxiv.org·11h
🔓Open Source Software
Real-Time Communication-Aware Ride-Sharing Route Planning for Urban Air Mobility: A Multi-Source Hybrid Attention Reinforcement Learning Approach
arxiv.org·11h
🧠Machine Learning
XRL Resources
github.com·4d·
Discuss: Hacker News
🔗Constraint Handling
EBA-AI: Ethics-Guided Bias-Aware AI for Efficient Underwater Image Enhancement and Coral Reef Monitoring
arxiv.org·11h
📊Quantization
Google DeepMind's Gemini wins Mathematical Olympiad gold using only natural language
the-decoder.com·20h
🧮SMT Solvers
Imbalanced Regression Pipeline Recommendation
arxiv.org·5d
⚖️Feed Ranking
Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad
deepmind.google·22h·
Discuss: Lobsters, Hacker News
🧮SMT Solvers