- https://is-here.com/
-
Joined on
2025年02月17日
40c405f499
Suppress noise about signature that will be rejected within a year
036c1a28f2
Updating the Mastodon project page, and actually publish it
5ee1f93e58
Initial commit of the IaC for strangeweb.page (now) at Hetzner
4cd6f79cd7
Adding link to Mastodon post
bcf2e6b9f1
Adding a project page for the Teletekst Bot
8103d8c9f2
Adding link to Mastodon post
074c1ef51e
A quick post about fixing the RSS feed
e0baa19d2c
Revert the change in rss.xml and instead add a baseURL in the config
b43f51bc1d
Attempting to fix the link elements in the RSS feed
52c3caaba0
Add Mastodon post info
f1aace4306
Adding post/2025/12/backups
0592a679ab
Adding tags
a3c0c3dc3a
Removing the /robots.txt for now
ae18a9c45b
Add Mastodon link
8dbed3ad34
Belatedly adding a blog post from July
5bec5fa721
Fixed tags
b6bd1fc5bc
Small utility to visualize the sample/input for day 9
2795ecd497
Small utility to visualize the sample/input data for day 11
e1f303b2bc
Year 2025, (Final) Day 12 (Python)
60be1d11bb
Year 2025, Day 11 (Python)
e7d028d8d0
Use z3.Optimize() instead of z3.Solver(), so we can use minimize()
6d177ce7d3
Year 2025, Day 10 (Python)
357df7c26f
Year 2025, Day 9 (Python)