maerwaldGHCup is not an installer · Hasufell's blog
https://hasufell.github.io/posts/2023-11-14-ghcup-is-not-an-installer.html
Moritz Angermann
@angerman
- 108 Followers
- 37 Following
- 258 Posts
Unison Programming LanguageHere's an example of a JSON decoder for a portion of the Slack API. Use of abilities lets us program in a direct style - no need to litter `map` and `<*>` everywhere or use applicative plumbing functions.
This is using this JSON decoding / encoding library: https://share.unison-lang.org/@unison/json
Bryan Steele 
Happy #OpenBSD 7.4 release day, everybody! 
Ken SchwenckeI installed a locally hosted LLM using @simon's excellent `llm` (https://github.com/simonw/llm) tool. It's kind of wild that I just...have this power on my laptop?
deechNeoHaskell wasn't warmly received and was 100% going to peter out on its own. This further dig wasn't necessary and comes off as pretty cruel imo.
https://old.reddit.com/r/haskell/comments/16y32rq/my_views_on_neohaskell/
David Thrane ChristiansenToday's my first day working full time on @leanprover - I'm really looking forward to it!
The last few weeks have been quite emotionally draining; will probably continue a few more weeks. No intention of giving up.
Ohh boy, windows and and file handles can be a pain.
Lean requires nothing but a C++ compiler and CMake to bootstrap from source.
I am now team Lean. Your TL is going to get annoying.
Apparently I need to do more network configuration. I still need to lookup too many commands all the time 🥶