Musk’s xAI joins race to build ‘world models’ to power video games
ft.com·1h
🤖AI Curation
Online activities 6 – 12 October
ests.wordpress.com·4d
🏗️Constructive Mathematics
The tyranny of literacy
languagelog.ldc.upenn.edu·6h
🌍Cultural Computing
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·2d
Proof Automation
MeteoSaver LLM based software for the transcription of historical weather data
egusphere.copernicus.org·1d·
Discuss: Hacker News
📰Feed Readers
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·2d·
Discuss: Hacker News
🔢Reed-Solomon Math
Laion, the dataset behind Stable Diffusion (2023)
deeplearning.ai·23h·
Discuss: Hacker News
🎓Academic Torrents
A Search Engine in CSS – By Tim Carry – Algolia Stories
stories.algolia.com·5h·
Discuss: Hacker News
🧪Binary Fuzzing
Talking about the Future of AI in Law with David Wakeling
artificialinvestment.substack.com·11h·
Discuss: Substack
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Show HN: Using Haskell to write an NES emulator
github.com·9h·
Discuss: Hacker News
🕹Emulation
Empowering LLMs with Pseudo-Untrimmed Videos for Audio-Visual Temporal Understanding
arxiv.org·3d
🎬AV1 Encoding
Exposing Citation Vulnerabilities in Generative Engines
arxiv.org·3d
📜Digital Philology
Bond-Centered Molecular Fingerprint Derivatives: A BBBP Dataset Study
arxiv.org·5d
🔍Vector Forensics
Assessing Paleovirus Revival Risk via Multi-Agent Bayesian Network Simulation
dev.to·4h·
Discuss: DEV
🦴Database Paleontology
End-to-end testing of Gen AI Apps
dev.to·17h·
Discuss: DEV
🔍Concolic Testing
The Alignment Auditor: A Bayesian Framework for Verifying and Refining LLM Objectives
arxiv.org·4d
💻Local LLMs
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org·2d
💻Local LLMs
Automated Surface Tension Profiling via Static Contact Angle Analysis & Bayesian Inference
dev.to·10h·
Discuss: DEV
🌀Differential Geometry