AI at IMO 2025: a round-up
xenaproject.wordpress.com·3h
🎯Performance Proofs
The Vibe Coding Imperative for Product Managers
cacm.acm.org·2d
📏Code Metrics
FileMock - Client-side mock file generator
filemock.com·5d·
Discuss: Hacker News, r/InternetIsBeautiful, r/devops, r/reactjs
🏺ZIP Archaeology
Study mode and spaced repetition. Feature requests, Monetization ideas?
app.polymax.ai·1d·
Discuss: Hacker News, Hacker News
🤖Grammar Induction
Consistent MySQL Structure.sql Diffs for Rails
lovro-bikic.github.io·1d·
Discuss: Hacker News
🗄️Database Internals
Ana Marie Cox on the Shaky Foundation of Substack as a Business
newsletter.anamariecox.com·12h·
Discuss: Hacker News
📡RSS
1999: A new OS project: MorphOS
amiga.czex.com·1d·
Discuss: Hacker News
🎵Amiga Formats
I tried to make my phone as unaddictive as possible – here’s how you can too
the-independent.com·22h
❄️Nordic Design Philosophy
Deep Agents
blog.langchain.com·1d·
Discuss: Hacker News
✨Algebraic Effects
Bridgetime or How I’m Building a Visual Timezone Scheduler While Learning by Doing
hackernoon.com·1d
🔃Feed Algorithms
HTML-in-Canvas
github.com·5h·
Discuss: Hacker News
🎬WebCodecs
Describe, Adapt and Combine: Empowering CLIP Encoders for Open-set 3D Object Retrieval
arxiv.org·3d
🧮Vector Embeddings
How to Secure a Linux Server
github.com·1d·
Discuss: Hacker News
🛡️CLI Security
A Machine Learning Approach for Honey Adulteration Detection using Mineral Element Profiles
arxiv.org·1d
🦠Malware Analysis
Shallow Deep Learning Can Still Excel in Fine-Grained Few-Shot Learning
arxiv.org·3d
📊Learned Metrics
Adversarial Defence without Adversarial Defence: Enhancing Language Model Robustness via Instance-level Principal Component Removal
arxiv.org·3d
💻Local LLMs
Ambler: rules of engagement with coding agents
dev.to·2d·
Discuss: DEV
💧Liquid Types
Framework 12, Clear Linux Going EOL, AMD EPYC Performance & Other Excitement In July
phoronix.com·1d
🔌Operating system internals
Containerizing Go Apps Like a Docker Ninja 🥷
dev.to·1d·
Discuss: DEV
📦Container Security
Planning for Cooler Cities: A Multimodal AI Framework for Predicting and Mitigating Urban Heat Stress through Urban Landscape Transformation
arxiv.org·1d
🌀Differential Geometry