nixos.paris — NixOS Paris server
Details
up since 2024-11-30 22:24 (84.9 days ago)
- Uptime: 99.28%
- Users: 7 (4 active this month, 5 active last six months)
- Posts: 5086
- Posts per user: 726.57
- Peers: 19067
- Version: mastodon 4.3.3
- Registrations: Approval Required
[View Timeline] (← Broken) | [View Timeline Media]
Stats 2025-02-22 13:12 — 2025-02-23 16:11
users: 7 (0.00/day)
min/max/avg/stddev: 7 / 7 / 7.00 / 0.00
⋯ —posts: 5086 (1.13/day)
min/max/avg/stddev: 5085 / 5086 / 5085.67 / 0.47
peers: 19067 (11.31/day)
min/max/avg/stddev: 19057 / 19067 / 19063.33 / 4.50
response_time: 3.78 (-11.07/day)
min/max/avg/stddev: 2 / 13 / 6.77 / 4.81
Crawling Info
First contact: 2022-10-30 (27.8 months ago)
Last successful contact: 2025-02-23 (174.1 minutes ago)
Contact: 51391 successful, 3512 failed.
Average fetch time: 6.77s
Next attempt scheduled for 130.9 minutes ago.
Found through social.reapers.de (up)
IP address: 163.172.69.160
Staff

#Lix developer, #NixOS developer, #Lean theorem prover user.
My interests revolve around formal verification, evolutions of the Nix model, firmware platform security, public policies and (geo)politics.
Alternatively, I enjoy Japanese animation and culture.
My DMs are open for anything and everything.
Responses
- /.well-known/nodeinfo ₍⇗₎
- [2025-02-23 13:18:01 in 0.00s]: IP: 163.172.69.160 / Error: http / HTTP status: -1
- /api/v1/instance ₍⇗₎
- [2025-02-23 16:11:36 in 0.18s]: IP: 163.172.69.160 / OK / HTTP status: 200
- [2025-02-23 10:25:13 in 0.34s]: IP: 163.172.69.160 / OK / HTTP status: 200
- [2025-02-23 07:05:00 in 0.28s]: IP: 163.172.69.160 / OK / HTTP status: 200
- [2025-02-22 13:12:09 in 0.34s]: IP: 163.172.69.160 / OK / HTTP status: 200
- /api/v1/instance/peers ₍⇗₎
- [2025-02-23 07:05:00 in 0.39s]: IP: 163.172.69.160 / OK / HTTP status: 200
- [2025-02-22 13:12:09 in 0.60s]: IP: 163.172.69.160 / OK / HTTP status: 200
- /nodeinfo/2.0 ₍⇗₎
- [2025-02-23 16:11:36 in 1.24s]: IP: 163.172.69.160 / OK / HTTP status: 200
- [2025-02-23 10:25:13 in 1.14s]: IP: 163.172.69.160 / OK / HTTP status: 200
- [2025-02-23 07:05:00 in 1.01s]: IP: 163.172.69.160 / OK / HTTP status: 200
- [2025-02-22 13:12:09 in 1.81s]: IP: 163.172.69.160 / OK / HTTP status: 200
Federation Info
Peers: 19067