~lthms @lthms@mastodon.social

colorless-themes.el --- a collection of mostly colorless themes for #Emacs, inspired by nofrils (https://github.com/robertmeta/nofrils)

https://git.sr.ht/~lthms/colorless-themes.el

Hardware? It’s just someone else’s software

I was reading “Why Dependent #Haskell is the Future of Software Development” [¤] (which is, I believe, a very bad title for a pretty good writing imo), and was pretty surprised by the encoding of bounded integers.

data Fin n where
FZ :: Fin (S n)
FS :: Fin n -> Fin (S n)

It makes sense, but I really prefer the ways of #coq (e.g., sigma-types and a regular <) to deal with such constrains.

Anyway, I am looking forward to see more depedent types in Haskell!

[¤]: https://serokell.io/blog/why-dependent-haskell

Note: this may not be the only way to do that, but it happens to be the only I found :D.

#Rust adventure of the day: it is actually possible to have a function which may different types (as long as they implement the same trait) with the `-> &dyn Trait` syntax.

See https://code.soap.coffee/ogmios/celtchar.git/tree/lib/src/project.rs#n13 for an example (`ENGLISH` and `FRENCH` are of two different types)

Oh, so there are no ways for me to tell Cargo a given dependency is used only by a binary (not the lib) in a Cargo.toml file ):

Related issue: https://github.com/rust-lang/cargo/issues/1982

Elles sont de retours, pour vous jouer un mauvais tour !

https://www.twitch.tv/redily_

#twitch #streaming

I just installed `git-revise' from PIP. I wonder if there is any good autocomplete scripts for ZSH

https://mystor.github.io/git-revise.html

J’aime les pubs d’industriels qui finissent par : « et vous, que faites-vous pour la planète ? » (non)

Si vous êtes des joueurs ou des joueuses #WoW, que le farm chill de HF ça vous parle ou que vous aimez les #streams posés en général, hésitez pas à aller jeter un œil ici : https://www.twitch.tv/kumkw4t

Ce sont deux streameuses qui se lancent dans le #Twitch game (:

Carmen Sandiego (Netflix) is pretty awesome.

@epicmorphism see this thread! (:

I wonder if Pleroma is easy to theme

The main motivation to self-host, in my case, is messing around with the css :D

I really like my custom cgit theme

About page

Summary page

#cgit, before/after screenshots