‘UK’s most powerful supercomputer’ launches in £1 billion AI drive
nordot.app·10h
🆕New AI
Multiples and powers mod 1
johndcook.com·14h
🔬RaBitQ
Gradual negation types and the Python type system
jellezijlstra.github.io·22h·
Discuss: Hacker News
🧩Types
Quadratic Forms Beyond Arithmetic
ams.org·4h·
Discuss: Hacker News
🧮SMT Solvers
How I used ChatGPT to analyze, debug, and rewrite a broken plugin from scratch - in an hour (7/2025)
zdnet.com·20h·
Discuss: r/programming
🚀Indie Hacking
Publisher Correction: Comprehensive evaluation of phosphoproteomic-based kinase activity inference
nature.com·11h
📇Vector Indexing
Spectral Bellman Method: Unifying Representation and Exploration in RL
arxiv.org·1h
🧠LLM Inference
10 GitHub repos that will set you up for a career in AI engineering (100% free):
threadreaderapp.com·16h
👨‍💻AI Coding
Unleashing Vision Foundation Models for Coronary Artery Segmentation: Parallel ViT-CNN Encoding and Variational Fusion
arxiv.org·1h
📊Embeddings
Don't Fall for AI: Reasons for Writers to Reject Slop
mythcreants.com·7h·
Discuss: Hacker News
🎭Claude
OpenAI launches ChatGPT Agent: An AI assistant that can book trips, analyze data, and take action
techstartups.com·10h
🆕New AI
Code Execution Through Email: How I Used Claude to Hack Itself
pynt.io·22h·
Discuss: Hacker News
🕳LLM Vulnerabilities
Bitnami containers community catalog has been deprecated
github.com·15h·
Discuss: Hacker News
📦Container Runtimes
There's no way to stop models knowing they've been rolled back
lesswrong.com·34m
🆕New AI
Partial decidability protocol for the Wang tiling problem from statistical mechanics and chaotic mapping
arxiv.org·1h
🧮SMT Solvers
Weakly Supervised Visible-Infrared Person Re-Identification via Heterogeneous Expert Collaborative Consistency Learning
arxiv.org·1h
🔗Hybrid Search
Q&A: Researcher discusses the unexpected role of protein aggregates in brain disease
medicalxpress.com·9h
🍄Mycorrhizal Networks
We built AI dev agent that turns Jira tickets into ready PRs – no human needed
deepsense.ai·19h·
Discuss: Hacker News
🔧Developer tools
The AI Replaces Labour Myth
aimode.substack.com·10h·
Discuss: Substack
💳Content Monetization
how to grow from 0 to 10k followers using the feyman method:
threadreaderapp.com·15h
💳Content Monetization