Todd Sundsted
Todd Sundsted
toddsundsted@epiktistes.com
Better dead than bored.
Introductionepiktistes.com/introduction
GitHubgithub.com/toddsundsted/ktistec
Pronounshe/him
🌎Sector 001
Todd Sundsted
Release v2.4.13 of Ktistec

I was planning on adding support for custom themes in release v2.4.13 of Ktistec. That turned out to be difficult, so I implemented post visibility instead—which then also turned out to be difficult. C'est la vie.

The editor now includes radio buttons for controlling post distribution and visibility. In particular, you can now send messages directly to mentioned users without sending them to all of your followers.

You can also mark posts as sensitive using the content warning checkbox in the editor. Sensitive posts are hidden behind a summary that readers can click to reveal the content.

figure: screenshot of the editor showing the visibility settings and the content warning checkbox

This release of Ktistec includes RSS feeds and RSS feed discovery. RSS feeds are currently available for the site home page and account pages.

Here's the full changelog:

Added

  • Support RSS feeds on the home page and account pages. (fixes #14)
  • Hide sensitive content, spoilers, etc. with content warnings.
  • Support direct messages with proper visibility controls.

Changed

  • Switch from calendar-based periods to duration-based periods in charts.

Fixed

  • Track and federate object updates.
  • Fix object visibility bugs in object replies and threads.

#ktistec #fediverse #activitypub #crystallang

Todd Sundsted

this is a direct message for @toddsundsted (now updated)

Todd Sundsted

a dependent type itself depends
on Agda, Idris, and Lean.
a list of three, on three itself
depends recursively.

#pointfreeverse

Todd SundstedWeek in Fediverse :fediverse_light:
Todd Sundsted

i’m pretty excited to have discovered @LIGO@scicomm.xyz

Todd Sundsted
Todd Sundsted
figure: the form inputs for setting range and granularity on the metrics page

I'm going to make a backwards-incompatible change to the dropdown values for the range input on the metrics page, switching from calendar-based periods to duration-based periods. I thought beginning of week, beginning of month, and beginning of year would be sensible ranges, but I almost always adjust the range in the query string by hand to be last seven days, last thirty days, or last 365 days, so it makes sense to make those the options.

#ktistec

Todd Sundsted

new word of the day:

    desiderata/desideratum

something that is wished for or desirable...

Todd Sundsted
Release v2.4.12 of Ktistec

The biggest changes in release v2.4.12 of Ktistec are the UI/UX enhancements. The mobile profile, in particular, felt like an afterthought—which it was. The changes make the mobile experience much more pleasant and ergonomic. All of the credit for this work goes to @jayvii.

This release also now refuses to deserialize and use embedded ActivityPub objects from hosts other than the host of the embedding object. While I haven't encountered any problems with the previous implementation in practice, this fix closes a gap that could be exploited by a bad actor to spoof or change content.

Added

  • Add follow request status to the actor panel.
  • Compute and cache monthly active accounts.

Changed

  • (Internal) Only consider properties with changed values as "changed".
  • (Internal) Only deserialize embedded ActivityPub objects if hosts match.

Fixed

  • Remove line breaks in Turbo Stream output.

#ktistec #fediverse #activitypub #crystallang

Todd SundstedChristian Horn
plate of the "extinct media museum" in English and Japanese. Subtitle: "All media except paper and stone will become extinct"
A wall with all kinds of floppy disks. Variants were going up to gbyte capacities, but these did not spread much.OS/2! And software.The first Sony Walkman.
TIL: it had 2 headphone connectors, so 2 people could listen to music! Also 2 separate volume sliders. When the yellow button was pressed, then an internal microphone started to pick up, and send the signal to the 2 headsets - so people could talk without taking the headset off.

Tokyo's "Extinct Media Museum" is quite nice, brings up many memories (phun intended..)