You might like
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.
actually deep
mathematics is just the study of things invariant under change of notation
can't help but Stan everything Leinster writes, today it's this beautifully simple analysis of injections and their duals in Set
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.
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…
Enough knowledge to work through for your PhD qualifying exams
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…
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…
Here are the slides for my talk, "Graphs, Logic, and Lambda Calculus", this morning at @KGConference: bit.ly/lg-kgc2024. #kgc2024
📜✨ New paper out! In this jww @u_map_prop and David Spivak we introduce 'open energy-driven systems', which are a broad class of differential systems which evolve by generalised gradient flow
Matteo Capucci, Owen Lynch, David I. Spivak: Organizing Physics with Open Energy-Driven Systems arxiv.org/abs/2404.16140 arxiv.org/pdf/2404.16140
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 😏
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…
We are looking to hire functional programmers, especially Haskellers with formal methods and category theory backgrounds! [email protected]
United States Trends
- 1. Justin Fields 9,127 posts
- 2. Jets 65.5K posts
- 3. Patriots 140K posts
- 4. Drake Maye 18.2K posts
- 5. Henderson 20.7K posts
- 6. Jalen Johnson 4,407 posts
- 7. AD Mitchell 2,254 posts
- 8. Judge 176K posts
- 9. Pats 13.8K posts
- 10. Diggs 9,749 posts
- 11. Cal Raleigh 7,214 posts
- 12. Santana 13.4K posts
- 13. #TNFonPrime 3,167 posts
- 14. #GreysAnatomy 2,022 posts
- 15. #criticalrolespoilers 2,061 posts
- 16. Mike Vrabel 5,706 posts
- 17. Purdue 8,870 posts
- 18. #TNAiMPACT 5,616 posts
- 19. Metchie 1,303 posts
- 20. Tyrod N/A
You might like
-
FRG
@fabgenovese -
Topos Institute
@ToposInstitute -
Paolo Perrone
@PaoloPMath -
Emily Riehl
@emilyriehl -
Edward Kmett
@kmett -
arXiv math.CT Category Theory
@mathCTbot -
Pawel Sobocinski
@PawSob -
QuantSeeker
@quantseeker -
julesh
@_julesh_ -
Dr Valeria dePaiva
@valeriadepaiva -
Conrad Wolfram
@conradwolfram -
Wolfram Physics Project
@wolframphysics -
〚Dan R. Ghica〛
@danghica -
Jeremy Gibbons
@jer_gib -
Well-Typed
@welltyped
Something went wrong.
Something went wrong.