We are looking to hire functional programmers, especially Haskellers with formal methods and category theory backgrounds! [email protected]

Mike just casually dropped the following on github last night, which is a new proof assistant that implements a type theory that is a common generalisation of dTT and HOTT! github.com/mikeshulman/na…

My book is out! worldscientific.com/worldscibooks/…

Today I refactored some OCaml code at work using the Category Theory concept of Kan Extensions. Ngl, I felt really smart doing so. I can see the appeal now 😏

📜✨ New paper out! In this jww Owen Lynch and David Spivak we introduce 'open energy-driven systems', which are a broad class of differential systems which evolve by generalised gradient flow

Here are the slides for my talk, "Graphs, Logic, and Lambda Calculus", this morning at The Knowledge Graph Conference (KGC): bit.ly/lg-kgc2024. #kgc2024

forbes.com/sites/alexkonr…

Terry Tao on AI and Lean in mathematics:

I was utterly gutted yesterday by the tragic news of Arvind unexpectedly passing away. Plenty of others can far better espouse his many towering technical achievements (like this MIT article). My professional path was certainly lit by the light he shed. His generosity and warmth

Just added a few more papers to this list github.com/bgavran/Catego… If I'm counting correctly, there have been three CT publications at machine learning conferences this year. (Two at ICML, one at ICLR)

Deepfakes can be spotted because AI doesn't know physics and screws up light reflections in eyes With a tool originally developed by astronomers to measure light distribution of galaxies Great case of an unexpected application of fundamental research ras.ac.uk/news-and-press…

Accurate

Enough knowledge to work through for your PhD qualifying exams

category theory in the news. theguardian.com/science/articl… cc @HighPerplexity9

In the age of AI, what skills will set our kids up for success? Programming is changing, liberal arts degrees seem limited, but physical dexterity remains irreplaceable. Cosmetology, carpentry, physical therapy - these hands-on fields might be the surprising answer to

nytimes.com/2024/09/23/tec… Harmonic is part of growing effort to build a new kind of A.I. that never hallucinates. Today, this technology is focused on mathematics.

The formula's wrong

can't help but Stan everything Leinster writes, today it's this beautifully simple analysis of injections and their duals in Set

actually deep

Deep cuts to the National Science Foundation only make sense if you are an enemy of science or of the US. Most basic research in the US is funded by the NSF. The whole NSF budget is less than 0.2% of the federal budget, and most of it goes directly to scientists.