Posts by jesper@agda.club
(DIR) Post #AcSdAQcQHoG7O4bNeS by jesper@agda.club
2023-12-03T20:30:11.481469Z
1 likes, 0 repeats
@MartinEscardo I must say I'm a bit surprised by all this hate for Applicative. It's true that it's annoying to have to define the Functor and Applicative instances first before you can define Monad, but this seems like a limitation of Haskell rather than a problem with the concepts themselves.I have been teaching monads in Haskell to 3rd year students in Delft for three years now, and I always found Applicative to be a useful intermediate step going from Functor to Monad. But I do admit I am taking more of a programmer perspective than a mathematician perspective in my lectures.At the risk of saying things you probably already know, Applicative was introduced to Haskell because it gives a useful interface to writing things like parsers with a *first-order* interface rather than the intrinsically higher-order interface of Monad. This is useful because it leaves a lot more room for optimizations.I would call Haskell a mathematically-inspired language rather than a mathematically-based language. To me this makes sense, since as programmers we do sometimes need to care about intentional properties of our functions, and trying to capture *everything* about a program's behavior in its type is a fool's errand.
(DIR) Post #AcsV50ssnb36grivpI by jesper@agda.club
2023-12-16T14:49:33.431658Z
0 likes, 1 repeats
We are organizing the FP Dag aka Dutch Functional Programming Day on Friday the 5th of January in Delft. People from neighboring countries are also very welcome to join!The (soft) registration deadline is on the 22th of December (next Friday), so get your tickets soon!https://www.tudelft.nl/fpday-2024#FP #FPDag #FunctionalProgramming #Haskell #OCaml #Scala #Racket #Scheme #Agda #Coq #Idris #Lean #AndAllTheOtherLanguagesIForgot
(DIR) Post #Ai4ZKu7T5azcoFnZLs by jesper@agda.club
2024-05-05T20:12:03.950615Z
0 likes, 0 repeats
I wish I was more skilled at having deep and interesting conversations. When they happen, I invariably find them extremely valuable, yet so many conversations are about the same safe topics or stay at a comfortable distance. How do you trigger people to look more deeply instead of giving some cached response? How do you ask uncomfortable questions without making them feel offended? How do I get over my own unease and determine when it's safe to allow myself to be more vulnerable? I could read a book about it of course, but it also seems like the kind of thing where practice is king. So.. consider this an invitation to talk about interesting things even (or rather especially) if they are awkward or weird.
(DIR) Post #Ajotkjf1jeTWddcKv2 by jesper@agda.club
2024-07-01T12:52:06.615195Z
0 likes, 0 repeats
@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?
(DIR) Post #Akx6QpbhodhyO6LT1M by jesper@agda.club
2024-08-14T08:35:35.183852Z
0 likes, 0 repeats
Eleven years in the making, the Seven Secular Sermons by Daniel Böttger are now complete. They are an epic poem written in common meter, a long-form guided meditation, a philosophical treatise, and a manifesto for how to be human. The full thing is close to two hours long, and when you're done you'll want to listen to it again.sevensecularsermons.org/ #mindfulness #meditation #SevenSecularSermons
(DIR) Post #AmOrrQxtWx8Sh7LPc0 by jesper@agda.club
2024-09-26T15:43:34.496940Z
1 likes, 0 repeats
This is a graph of the number of newly opened and closed issues on the Agda Github page since 2015 (created by Andreas Abel). Of course, it says nothing about the severity of these issues, but it still shows a general trend.The good news: lots of issues are getting closed.The bad news: the number of open issues seems to increase linearly over time.#Agda #Github
(DIR) Post #AmpDzfoaJsUaQAfdsu by jesper@agda.club
2024-10-09T07:53:05.958758Z
1 likes, 0 repeats
What programming language makes us more kind to others?Which ones make us more likely to cooperate rather than compete?What kind of syntax encourages our curiosity, or imagination, or playfulness?How can abstractions make us smile and be grateful for little things?When does a type system enable us to tell stories together?Where are the evaluation rules for finding meaning in life?Whose compiler emphasizes being over doing?Can a library reveal all the ways the things around us are interconnected?Can an editor allow us to conjure new worlds into being?I don't know how to begin to answer these questions.I don't even know whether they make any sense.But maybe - just maybe - there is value in asking them even though they don't.
(DIR) Post #AzsTpw0tX8kqprKTY0 by jesper@agda.club
2025-05-16T07:38:37.184176Z
1 likes, 1 repeats
and they told me the perfect function name didn't exist..#Haskell #Lens
(DIR) Post #B1sl33LdhpNjOPGxDU by jesper@agda.club
2025-12-29T14:17:44.442002Z
0 likes, 0 repeats
I just installed @nextcloud on our VPS together with my dad, as a replacement for our Seafile server that started misbehaving a bit after an upgrade. While it took some time to figure out the nginx and docker configuration, the whole process was pretty smooth and I imagine someone who's more used to setting up such things could do it in less than an hour.Now that we have it, there is so much cool stuff that's included: photo albums, calendars, collaborative editing, Doodle-style polls, synced bookmarks, and many more (see apps.nextcloud.com/).So far there's just a few small things that could be improved: syncing softlinks is not supported, and history is only on a per-file basis (not a whole directory). But overall I'm really happy with the quality and feature set.#NextCloud #SelfHosting #OpenSource