Public
- Public
- Network
- Groups
- Featured
- Popular
- People

Notices by Jesper Agdakx (jesper@agda.club)

Embed this notice
Jesper Agdakx (jesper@agda.club)'s status on Thursday, 11-Jul-2024 20:47:30 JST Jesper Agdakx
in reply to
- ploum
@ploum Some very good points you make here. Until now my philosophy was always that I'm happy if my software gets used by anyone, so I should use the license that is the least onerous. Also it has mostly been contributing to existing projects (i.e. Agda) which already have an MIT license, as is common in academia. Do you think there's a difference in what kind of software should use which license, or would you recommend AGPL for everyone?

In conversation about 5 months ago from agda.club permalink
Embed this notice
Jesper Agdakx (jesper@agda.club)'s status on Friday, 16-Feb-2024 02:49:46 JST Jesper Agdakx

This paper titled “Methodological Irregularities in Programming-Language Research” does not mince its words.
Substantial industry and government investments in software are at risk due to changes in the underlying programming languages, despite the fact that such changes have no empirically verified benefits. One way to address this problem is to establish rigorous evidence standards like those in medicine and other sciences.
https://ieeexplore.ieee.org/document/7999115

In conversation about 10 months ago from agda.club permalink

User actions

Once Jesper Cockx but now running Agda instead. Assistant professor @DelftPL@AkademieNL.social. Talk to me about:- Dependently typed programming- Tabletop role-playing games- Playing bassoon and clarinet- Effective altruism- Climate change- Neurodiversity- Mindfulness- Creativity- Hiking and landscape photography

Tags