• Sign in
  • Sign up
Elektrine
EN
  • EN English
  • 中 中文
Log in Register
Modes
Overview Search Chat Timeline Communities Gallery Lists Friends Email Vault VPN
Back to Timeline
  • Open on mastodon.sdf.org

Gro-Tsen (temp account)

@gro_tsen_test@mastodon.sdf.org
mastodon 4.1.25

This is a temporary account whose main purpose is to try to understand how Mastodon works. Should Twitter close, however, I will use it to announce a more permanent account.

0 Followers
0 Following
Joined November 18, 2022
Blog:
http://www.madore.org/~david/weblog/
Twitter:
https://twitter.com/gro_tsen

Posts

Gro-Tsen (temp account)
@gro_tsen_test@mastodon.sdf.org

This is a temporary account whose main purpose is to try to understand how Mastodon works. Should Twitter close, however, I will use it to announce a more permanent account.

mastodon.sdf.org
Gro-Tsen (temp account)
Gro-Tsen (temp account)
@gro_tsen_test@mastodon.sdf.org

This is a temporary account whose main purpose is to try to understand how Mastodon works. Should Twitter close, however, I will use it to announce a more permanent account.

mastodon.sdf.org
@gro_tsen_test@mastodon.sdf.org · Oct 06, 2025

I don't know who needs to hear this, but my Bluesky account https://bsky.app/profile/gro-tsen.bsky.social is now bridged to Mastodon under the name @gro-tsen.bsky.social (so you can follow my Bluesky activity by following this user on Mastodon — and I don't know what happens if you reply on Mastodon).

Actual bridge link is here: https://fed.brid.gy/bsky/gro-tsen.bsky.social

View on mastodon.sdf.org
0
0
0
0
Gro-Tsen (temp account)
@gro_tsen_test@mastodon.sdf.org

This is a temporary account whose main purpose is to try to understand how Mastodon works. Should Twitter close, however, I will use it to announce a more permanent account.

mastodon.sdf.org
Gro-Tsen (temp account)
Gro-Tsen (temp account)
@gro_tsen_test@mastodon.sdf.org

This is a temporary account whose main purpose is to try to understand how Mastodon works. Should Twitter close, however, I will use it to announce a more permanent account.

mastodon.sdf.org
@gro_tsen_test@mastodon.sdf.org · Apr 02, 2025

@andrejbauer@mathstodon.xyz @jeanas@mastodon.abou-samra.fr I think the K₃ formula I quote at @gro_tsen_test@mastodon.sdf.org is actually more relevant, because it seems to be exact same reasoning, and, perhaps more importantly, the K₃ formula, just like Andrej's, is valid in Medvedev's logic of finite problems (equivalently, in the topos of simplicial sets), whereas Plisko's formula that I copied on my blog (which is “L” in Skvortsov's survey) is *not*: it requires a more delicate reasoning with Kleene's fixed point theorem.

View on mastodon.sdf.org
0
0
0
0
313k7r1n3

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • VPN Policy

Email Settings

IMAP: imap.elektrine.com:993

POP3: pop.elektrine.com:995

SMTP: smtp.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: 13:43:34 UTC