In case you missed itOpenAI's internal reasoning model refutes the 1946 Erdős planar unit distance conjectureAK#228|@BLACKHCGM#153|@GARYMARCUSSD#94|@_SHOLTODOUGLASRA#83|@_AROHAN_SB#51|@SEBASTIENBUBECK+11 more
#1 LIKED2.5kThibault Sottiaux, OpenAI Codex engineering lead, says GPT-5.2 and GPT-5.3-Codex will be sunset from Codex on June 2RO#1220|@KRISHNANROHITTI#768|@THSOTTIAUX
#1 VIEWEDTrajectory Raises $15M To Build Continual Learning Platform For Agentic ModelsRP#1032|@ROHANPAUL_AIRS#321|@SCOBLEIZER
#1 BOOKMARKED490ETH Zürich's Tiberiu Mușat proves that fixed-precision neural network weight norm is equivalent to Kolmogorov complexityLA#1822|@LUCAAMBTC#120|@TACOCOHEN
manaflow-ai/cmux2D AGO AGOIntegrates Ghostty into a macOS terminal with vertical tabs, sidebar metadata, OSC notifications, and in-app browser for AI coding agents.MS759PJ660JF30PS49519.8k stars
self-evolving/repo1D AGO AGOInvokes AI agents via GitHub mentions to implement issues, review PRs, fix branches, and persist memory across runs.ST594🎭87825 stars
modaic-ai/gepa-viz1D AGO AGORenders GEPA prompt-optimization candidate trees as interactive force-directed graphs with live updates from a Python callback.🎭878CS793259 stars