nomeata

nomeata, 10 months ago to haskell

A Github Action to create PRs that bump the upper bounds of the dependencies in your #haskell cabal files, brought to you by #MuniHac:
https://github.com/nomeata/haskell-bounds-bump-action

nomeata, 4 months ago to haskell

I have resigned from my post as GHC Steering Committee secretary, and wrote a little retrospective at https://www.joachim-breitner.de/blog/811-GHC_Steering_Committee_Retrospective
#haskell

nomeata, 7 months ago to random

The GHC Steering Committee has accepted Adam Gundry’s proposal to redesign the HasField type class:
https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0583-hasfield-redesign.rst

nomeata, 11 months ago to haskell

When attending #zurihac, I recorded a special episode for #haskell interlude #podcast, talking to organizers, speakers and attendees:
https://haskell.foundation/podcast/29/

nomeata, 8 months ago to haskell

At my talk at #ICFP2023 I claimed that with observable sharing one can write a parser combinator library where left-recursion works (in the presence of sharing), and someone asked if I had, and I had to admit I hadn’t, so the next day I did:
https://www.joachim-breitner.de/blog/807-Left_recursive_parser_combinators_via_sharing
#Haskell

nomeata, 1 year ago to programming

From the GHC release announcement:

> The GHC developers are happy to announce the availability of GHC 9.6.2. This release is primarily a bug-fix release addressing a few issues
found in 9.6.2.

We have found a fixpoint! Finally the knot is tied! #haskell

nomeata, 9 months ago to haskell

The HaskelI Interlude just published a nice interview of Ranjit Rhala by Andres Löh and Matthías Páll Gissurarson:
https://haskell.foundation/podcast/32
#haskell

nomeata, 4 months ago to haskell

#Haskell Interlude episode 42: Jezen Thomas

https://haskell.foundation/podcast/42

Jezen Thomas is co-founder and CTO of Supercede, a company applying Haskell in the reinsurance industry. In this episode, Jezen, Wouter and I talk about his experience using Haskell in industry, growing a diverse and remote team of developers, and starting a company to create your own Haskell job.

nomeata, 22 days ago to random

I've implemented functional induction theorems in Lean, shipping with the upcoming version 4.8.0, and wrote a tutorial-style blog post about it:
https://lean-lang.org/blog/2024-5-17-functional-induction/
(h't to David Christiansen for the tooling behind the hover features.)
#lean #leanlang

nomeata, 3 months ago to NixOS

Noticed that developing with access to my personal data is dangerous, given random dependencies and auto-updating Code extensions…
Set up a nice local #nixos container for dev stuff…
Hoped to keep all tokens and keys out of it (would run git push outside that container)…
Only to notice that #Github #copilot only works with a full-access github token… sigh.

Anyways, still an improvement. Blog post to follow.

nomeata, 11 months ago to random

My Functional Pearl about rec-def was accepted for ICFP 2023; grab the preprint while it’s fresh (and while your feedback can still make it into the camera-ready version):
https://www.joachim-breitner.de/blog/805-ICFP_Pearl_preprint_on_rec-def

nomeata, 1 year ago to programming

I’m (experimentally) extending the hs-all-in-one tool to munge the whole GHC source code into a single #Haskell module. I now have a 680k loc, 41MB file. Doesn’t work yet, still fighting the renamer.

Initial motivation is #bootstrappable GHC, picking up thoughts from <https://www.joachim-breitner.de/blog/748-Thoughts_on_bootstrapping_GHC>.
The most viable boostrappable Haskell compiler is Hugs (written in C) but doesn’t support recursive modules. So maybe if all of GHC is one module it could handle it…

nomeata, 1 year ago to linux

Switching from (contributing to) #Debian to #NixOS changed a few things. What it doesn't change is the kind of interaction with upstreams that, well, at least I find strangely hard to work with. Oh well, my strategy is to raise a shield of intense humility and politeness, and else shrug away all the mistrust and misunderstanding that otherwise could wind me up.
(No links needed.)

nomeata, 10 months ago to random

The GHC Steering Committee accepted a proposal amendmend by Krzysztof Gogolewski to let derived Show instances use the 123#Word8 syntax for unboxed sized fields:
https://github.com/ghc-proposals/ghc-proposals/pull/596

nomeata, 10 months ago to random

The GHC Steering Committee just accepted a proposal by Adam Gundry, Artyom Kuznetsov, Chris Dornan to allow namespace qualifiers (data, type) in import and export lists.
https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0581-namespace-specified-imports.rst

nomeata, 10 months ago to haskell

Someone once said that laziness is what kept #Haskell pure, and that's the actually relevant feature. This makes we wonder: will theorem proving languages like #lean, where logical consistency is what keeps them pure, deliver the same elegant experience, while avoiding some downsides of laziness (complex runtime, complicated performance characteristics)?

nomeata, 8 days ago to random

Me, a year ago or so:
Cool, I can teach termux to use an SSH key protected by the android hardware and unlocked by my fingerprint. No more passwords!
Me, today, at #gpn, trying to log into my server to play tron:
Termux-API since stopped working on Android 14, so no access to any SSH key, so no tron playing.
No wonder passwords never die.

nomeata, 1 year ago to programming

Thinking more about ways to get a #bootstrappable build of the #Haskell compiler GHC:
https://www.joachim-breitner.de/blog/802-More_thoughts_on_a_bootstrappable_GHC
(and hoping that someone else either has better ideas, or more stamina, to pull this through.)

maralorn, 2 months ago to random

Wow, I just got #arbtt capturing to run with a #wlroots based #wayland compositor (like #sway, I use #river) and it was surprisingly simple. Just run this command once per minute:

lswt --json | jq '{date:now|strftime("%FT%TZ"),rate:60000,inactive:0,windows:map({title,program:.app_id,active:.activated}),desktop:""}' | arbtt-import -a -t JSON

I have also a homegrown solution to set the inactive flag, but it’s not as pretty.

cc @nomeata

nomeata, 3 months ago to random

There might be train driver strikes in Germany soon again. I guess if I want to give my #lean tutorial at #bobkonf2024 in presence, I have to start cycling soon…

nomeata, 2 months ago to random

Prolog and FARM? This café feels like #icfp.

nomeata, 2 months ago to NixOS

I have switched from #nixos containers to a relatively simple bubblewrap script to isolate my home directory from possibly malicious stuff that could run as I am developing. It's a bit ad-hoc and not a very thorough protection, but convenient enough that I might get in the habit.

https://www.joachim-breitner.de/blog/812-Convenient_sandboxed_development_environment

nomeata, 3 months ago to random German

Am Freitag, 1. März starte ich mit ein paar Leuten ein regelmäßiges #Comedy #standup Open-Mic in #freiburg! 19-22 Uhr im Harmoniekeller.
https://kellerkinder-comedy.de/
Seit dabei und lasst euch das Debut nicht entgehen!