Piero Bosio Social Web Site Personale

Social Forum federato con il resto del mondo. Non contano le istanze, contano le persone

Your browser does not seem to support JavaScript. As a result, your viewing experience will be diminished, and you have been placed in read-only mode.

Please download a browser that supports JavaScript, or enable it if it's disabled (i.e. NoScript).

undefined

Volker Stolz

@fm_volker@mastodon.social

Unprofessional takes on CompSci and other things. Card-carrying member of @informatik. Sub-tooter at https://fediscience.org/@selabhvl.
https://λ.foldr.org/~vs/. Relapses into #FreeBSD.
#bergen - nordisk by nature. #FormalMethods #RuntimeVerification #Refactoring #HomeAssistant

I Topics più popolari

Friends of the #Fediverse - I need some information about good apps for iOS.
undefined
stefano@mastodon.bsd.cafe

0

33

2
I would like to give an update on "federation" on Bluesky
undefined
mcc@mastodon.social

0

112

557
If you just left Bluesky today to join or come back to Mastodon, welcome (back)!
undefined
_elena@mastodon.social

0

57

5
Attention #Fediverse save the date
undefined
julian@activitypub.space

1

13

4
Be honest!
undefined
shadowfals@toot.cat

0

3

7
Buonasera #fediverso .
undefined
lgsp@social.tchncs.de

0

2

3
I've found some memory modules in my drawer, and there are also four DDR4 modules.
undefined
raven@mastodon.bsd.cafe

0

1

2
Facciamo che il 2026 sia l'anno dei social aperti!
undefined
nick44@social.vivaldi.net

3

13

25

Reputation 0

Profile views 1

Joined

Last Online

Private lambda.foldr.org/~vs/

Work selabhvl.github.io/vsto/

Github github.com/VolkerStolz

DBLP dblp.org/pid/24/2502.html