I am starting to not trust git auto-merge
=> More informations about this toot | View the thread
Correct by destruction programming
(your code becomes correct after you delete it)
=> More informations about this toot | View the thread
Repost from Monoidal Café
=> More informations about this toot | View the thread
I wrote a thing!
Bidirectional Typechecking is Bidirectional
https://cybercat.institute/2025/01/28/bidirectional-typechecking/
=> More informations about this toot | View the thread
Would be returning the favour from 90 years ago
=> More informations about this toot | View the thread
If there was anybody competent in charge in Europe we would be passing emergency legislation this week so that starting next week we poach every scientist from the US who was previously funded by NSF, NIH etc. Oh well, we can dream.
=> More informations about this toot | View the thread
I'm doing the MSP101 seminar next monday. Here is my abstract... I'm very excited to finally be talking about dependent optics!
=> More informations about this toot | View the thread
=> More informations about this toot | View the thread
I'm trying to implement the composition product of monomial endofunctors for the van Laarhoven encoding. It is very hard.
=> More informations about this toot | View the thread
This is what the BBC weather forecast looks like right now
=> More informations about this toot | View the thread
"You fool! No man can kill me"
=> More informations about this toot | View the thread
With adjacent adverts on the tube for a new Franz Ferdinand album and a Kaiser Chiefs gig it feels a bit like the mid 2000s never left
=> More informations about this toot | View the thread
Judging by how things went last time, I predict that a bunch of research areas will be officially designated in the US as "Jewish science", or whatever they call it these days, "woke science" I guess. And a bunch of those areas will turn out to be useful, and one of them will be the 21st century equivalent of nuclear physics. And that's how we'll beat em a second time.
=> More informations about this toot | View the thread
The bean counters at the university want me to continue publishing in """top venues""", but fortunately the bean counters at the university are also fake
=> More informations about this toot | View the thread
I remain firmly and increasingly at a place in my career when I have the luxury to be able to treat the big conferences like POPL, LiCS and ICFP as fake
=> More informations about this toot | View the thread
Did anyone make a library for formally verified harmony yet called rocq-music?
=> More informations about this toot | View the thread
Ok so my grand plan is to combine @zanzi's research on structuring frontend code with parameterised optics with @Andrev's research on structuring backend code with parameterised optics, and build... the first full stack programming language based on sound theoretical principles
One thing we're wondering is, in principle who might fund the development of such a thing?
https://mathstodon.xyz/@julesh/113867054132021737
=> More informations about this toot | View the thread
This post by @zanzi on the Cybercat blog is the one I've been the most excited for in a very long time:
Optics for UI 1: Deconstructing React with Parametrised Lenses
https://cybercat.institute/2025/01/21/ui-para-optic/
=> More informations about this toot | View the thread
Has astronomy gone too far?
=> More informations about this toot | View the thread
A situation that arose in the MSP office yesterday
=> More informations about this toot | View the thread
=> This profile with reblog | Go to julesh@mathstodon.xyz account This content has been proxied by September (3851b).Proxy Information
text/gemini
