• Sign in
  • Sign up
Elektrine
EN
Log in Register
Modes
Overview Chat Timeline Communities Gallery Lists Friends Email Vault DNS VPN
Back to Timeline
  • Open on social.coop

Justin du Coeur

@jducoeur@social.coop
mastodon 4.5.8

Geek for all seasons, especially #SCA, #LARP, #scifi, #boardgames, #comics.

Avid programmer, focused on #FP #Scala, especially #Typelevel

he/him

0 Followers
0 Following
Joined November 15, 2022
Dreamwidth:
https://jducoeur.dreamwidth.org/profile
Querki:
https://querki.net/help/#!What-is-Querki

Posts

Open post
In reply to
jducoeur
Justin du Coeur
@jducoeur@social.coop

Geek for all seasons, especially # SCA , # LARP , # scifi , # boardgames , # comics . Avid programmer, focused on # FP # Scala , especially # Typelevel he/him

social.coop
Justin du Coeur
Justin du Coeur
@jducoeur@social.coop

Geek for all seasons, especially # SCA , # LARP , # scifi , # boardgames , # comics . Avid programmer, focused on # FP # Scala , especially # Typelevel he/him

social.coop
@jducoeur@social.coop · Dec 29, 2022
@mmasnick I should note that a decent list manager is key to my biggest problem with Mastodon: FOMO. At this point, I'm following a *lot* of people here. Those are all intentional; I don't want to drop them. But I don't care about them equally, and some days it takes hours to get through my Home feed. Having good prioritized Lists means that I can leave Pinafore open to the High Priority List; when I'm overwhelmed, I can focus there for a while, declare bankruptcy on Home, and start over.
View full thread on social.coop
1
0
1
0
Open post
In reply to
jducoeur
Justin du Coeur
@jducoeur@social.coop

Geek for all seasons, especially # SCA , # LARP , # scifi , # boardgames , # comics . Avid programmer, focused on # FP # Scala , especially # Typelevel he/him

social.coop
Justin du Coeur
Justin du Coeur
@jducoeur@social.coop

Geek for all seasons, especially # SCA , # LARP , # scifi , # boardgames , # comics . Avid programmer, focused on # FP # Scala , especially # Typelevel he/him

social.coop
@jducoeur@social.coop · Dec 29, 2022
@mmasnick Oh, faboo -- while Mastodon List Manager isn't *quite* the dream list-management UI I've been looking for, it's certainly a massive improvement. Boosting specifically that one further, this is well worth checking out. As Mike says, it's very simple, but it's a way better Lists manager than the one built into the Mastodon UI: https://acbeers.github.io/mastodonlm/manager
View full thread on social.coop
1
4
1
0
313k7r1n3

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • VPN Policy

Email Settings

IMAP: mail.elektrine.com:993

POP3: pop3.elektrine.com:995

SMTP: mail.elektrine.com:465

SSL/TLS required

Support

  • support@elektrine.com
  • Report Security Issue

Connect

Tor Hidden Service

khav7sdajxu6om3arvglevskg2vwuy7luyjcwfwg6xnkd7qtskr2vhad.onion
© 2026 Elektrine. All rights reserved. • Server: 03:19:36 UTC