IMO 2024 and 2025
blog.evanchen.cc·1d
⚙️Proof Engineering
Our favorite talks from fwd:cloudsec 2025
redcanary.com·22h
🎯Threat Hunting
Simon Tatham's Portable Puzzle Collection
chiark.greenend.org.uk·5d·
Discuss: Hacker News
⚔️Lean Tactics
Create The BEST IPTV Website Using HTML, JS and CSS
dev.to·1d·
Discuss: DEV
🎞️MKV Internals
What Makes a Level Hard in Super Mario Maker 2?
arxiv.org·1d
📼Retro Games
Churchill postgraduate students hosted this year’s InterCDT Student Conference
chu.cam.ac.uk·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
A roboticist's journey with JAX: Finding efficiency in optimal control and simulation
developers.googleblog.com·1d
⚡Effectful Programming
Show HN: The easiest accessibility (a11y) checker for VSCode
github.com·1d·
Discuss: Hacker News
🌐WASI
TempRe: Template generation for single and direct multi-step retrosynthesis
arxiv.org·1d
⬆️Lambda Lifting
An Angular-Temporal Interaction Network for Light Field Object Tracking in Low-Light Scenes
arxiv.org·1d
📊Learned Metrics
An inherent regularization approach to parameter-free preconditioning for nearly incompressible linear poroelasticity and elasticity
arxiv.org·8h
🌀Differential Geometry
ChatMyopia: An AI Agent for Pre-consultation Education in Primary Eye Care Settings
arxiv.org·2d
🎙️Whisper
WaveVerify: A Novel Audio Watermarking Framework for Media Authentication and Combatting Deepfakes
arxiv.org·1d
🌊Audio Watermarks
Advancing Mental Disorder Detection: A Comparative Evaluation of Transformer and LSTM Architectures on Social Media
arxiv.org·2d
📝Text Embeddings
Quaternion-Based Robust PCA for Efficient Moving Target Detection and Background Recovery in Color Videos
arxiv.org·2d
🔍Vector Forensics
I Built an App Store for Desktop AI Apps in 48 Hours Here’s Why
dev.to·22h·
Discuss: DEV
🚀Indie Hacking
Eric Fraga’s Emacs Writing Carnival Entry
irreal.org·1d
🦀Rust Macros
Bridging the Gap: Enhancing News Interpretation Across Diverse Audiences with Large Language Models
arxiv.org·1d
🧠Intelligence Compression
LLM-Adapted Interpretation Framework for Machine Learning Models
arxiv.org·1d
💻Local LLMs
ICA Shares Second Draft of Strategic Plan 2025–2029
ica.org·22h
🏛️PREMIS