Miracle 1: Claude helped prove this. Miracle 2: Donald Knuth is still working.

Prof. Donald Knuth opened his new paper with "Shock! Shock!" Claude Opus 4.6 had just solved an open problem he'd been working on for weeks — a graph decomposition conjecture from The Art of Computer Programming. He named the paper "Claude's Cycles." 31 explorations. ~1 hour. Knuth read the output, wrote the formal proof, and closed with: "It seems I'll have to revise my opinions about generative AI one of these days." The man who wrote the bible of computer science just said that. In a paper named after an AI. Paper: cs.stanford.edu/~knuth/paper…

Today would have been the 83rd birthday of Professor Patrick Winston, who passed away in 2019 after directing MIT’s AI lab for 25 years. Here are his complete video lectures for 6.034, which have been watched over 9 million times: bit.ly/PHWvideos

I've never felt this much behind as a programmer. The profession is being dramatically refactored as the bits contributed by the programmer are increasingly sparse and between. I have a sense that I could be 10X more powerful if I just properly string together what has become available over the last ~year and a failure to claim the boost feels decidedly like skill issue. There's a new programmable layer of abstraction to master (in addition to the usual layers below) involving agents, subagents, their prompts, contexts, memory, modes, permissions, tools, plugins, skills, hooks, MCP, LSP, slash commands, workflows, IDE integrations, and a need to build an all-encompassing mental model for strengths and pitfalls of fundamentally stochastic, fallible, unintelligible and changing entities suddenly intermingled with what used to be good old fashioned engineering. Clearly some powerful alien tool was handed around except it comes with no manual and everyone has to figure out how to hold it and operate it, while the resulting magnitude 9 earthquake is rocking the profession. Roll up your sleeves to not fall behind.

Estoy llorando. Gracias a las personas que me acompásteis en algún momento de estos cinco años y medio. A riesgo de vuestra reputación enfrentásteis la despiadada moral de grupo, lo más valeroso que se puede hacer hoy en día ❤️ Pondré cosas en este hilo según me parezca. 🥰

'Python is more concerned with making it easy to write good programs than difficult to write bad ones.' -- Steve Holden

Lmao. why Linux is safer than other oses?

📢 La Agencia Tributaria acaba de publicar hoy el listado de grandes deudores. ¡Pero lo hacen como una sucesión de páginas escaneadas! Son trabas que nos obligan a la ciudadanía a tratar informáticamente los datos (OCR). ¡Esto tiene que cambiar! ¿Me ayudáis a difundirlo? 🔄👇

El pasado viernes algunos de nuestros alumnos de diseño web y nuestro profesor @androsfenollosa asistieron a una charla de @python_vlc donde @hian_cd habló de la IA en la charla "Desarrollando con ChatGPT: Optimizando Prompts y Abrazando el Software 2.0" #Charlas #desarrolloweb

Found this on Twitter... teddit.net/r/programmerhumor…

🚨 Release 1.19.0 🚀 Editable dataframes are live! With st.experimental_data_editor you can now interact with the dataframes in your apps. Upgrade to try it out. 🤩 📝 Release notes: discuss.streamlit.io/t/versi… 📑Docs: docs.streamlit.io/library/ap… #python #dataframes #ui

namingConventions teddit.net/r/programmerhumor…

🐱 The cat’s out of the bag—the answer is st.experimental_data_editor! 🤩 We’re excited to see how you’ll supercharge your apps with this extended flexibility. ✨ 🥳 Congrats @mnpykings for being the first to guess right.

If you recognize this sculpture you did not party enough in college.

Sobre el minimalismo y la perenne excusa de la falta de recursos: Cavendish halló la masa de la Tierra solo con ingenio y dos esferas de plomo. A Eratóstenes le valieron, hace 2200 años, una estaca y un pozo para hallar el tamaño de la Tierra. El hambre agudiza el ingenio.

Today I learnt…

if you touch it, you own it teddit.net/r/programmerhumor…

🚨Actualización caso David🚨 #AbroHilo Lo primero es compartir el tremendo impacto que ha tenido la campaña, la encontramos en casi todos lados, pero aún no es suficiente. Ayer 4pm. Hoy 4pm

Help David Fight Cancer gofund.me/236cfa35

Be jolly! Be silly! And let us remember who today is all about... #MerryChristmas from everyone at #MontyPython!