Martin EscardoPeople who think their Agda code with no explanations is self-explanatory.
| www | https://tyde.systems/ |
| Pronoun’s | he/his |
| Locations | 🇳🇱 🏴 🇬🇧 🇪🇺 |
Jan de Muijnck-Hughes
@jfdm@discuss.systems
- 323 Followers
- 230 Following
- 2.5K Posts
Lecturer of type-driven approaches to trustworthy-systems (CyberSecurity) at Strathclyde. Professionally interested in PL & FM Methods; socially interested in coffee, politics, music, the outdoors, sci-fi, high fantasy, & much much more! My work doesn’t define me; it is not my identity.
Oh... the image still from the video stops at an important slide!
Showing the Motivating Example Revisited...
Whilst I do not like tooting my own horn, if you were interested in my #TYPES2025 talk (Towards Being Positively Negative about Dependent Types) and could not make it.
Here you go:
TYPES2025 - 4.7. Jan de Muijnck-Hughes - Towards Being Positively Negative about Dependent Types
I hear ICFP is going to get FREX'd but with the meeting of two conferences, fools seldom differ!
Well done all.
Reading up on #Python #typeAnnotations and #TIL that Python 3.12+ makes it a lot easier to define generics:
```
def safeHead[T](xs : list[T]) -> None | T:
pass
```
https://mypy.readthedocs.io/en/stable/generics.html#generic-functions
I didn't realise that as my system runs python3.10 (LTS ¬FTW; Support only upgrades at end of service life).
Need to explore how to get python3.12 running locally and not breaking my system.
Oblomov
Tony Garnock-JonesWhen doing pattern-matching to analyze a value, what is the most common/comfortable/best name given to that value, in general?
| Discriminant | |
| Subject value | |
| Scrutinee | |
| Other (please specify!) |
Poll ends at .
PSA: If organise meetings with people who have children, have a copy of the local School term dates around.
There are certain weeks in the year (Summer & Half Term) that you should avoid...
Stefan LindbohmToday we’re quietly (and finally!) opening up Railfinder to the public! This is our beta version and - hopefully - the first step towards that one booking site for trains across Europe that we all dream of.
Lots of work has gone into this and equally lots still to do before reach that vision, but if you’d like to try what we’ve built you can now just go to https://www.railfinder.eu and have a go!
Any and all feedback more than welcome 🙏
Frederic Jacobs🇪🇺⚛️🔐 The Commission published guidelines for the transition of member states to Post-Quantum cryptography.
👉 All Member States should start transitioning to post-quantum cryptography by the end of 2026.
👉 the protection of critical infrastructures should be transitioned to PQC as soon as possible, no later than by the end of 2030.