TheZoq2

@thezoq2
647 Followers
275 Following
2.7K Posts
Developing http://spade-lang.org, https://surfer-project.org/ and other fun stuff in Rust. PhD from Linköping university, now working as a post doc at Hochschule München
Gitlabhttps://gitlab.com/thezoq2
Pronounshe/him
Websitefransskarman.com
Matrix@thezoq2:matrix.org

"I'm just going to write a small utility project"

A few hours later:

oah leude ​#39c3

IT'S HAPPENING

GITHUB, THE FIRST ENTERPRISE CLOUD SOLUTION TO REACH ZERO NINES RELIABILITY

https://mrshu.github.io/github-statuses/

#github

My several year old bus implementation was awful here, so I had to rewrite it.

This is much nicer 

Now with a RISC-V core driving the blinking

https://codeberg.org/thezoq2/spade-v-gatemate

Grebedoc: proudly serving pages with 3 nines of uptime (two more than GitHub)

I visit the olympic park in Munich almost every day. This can be cycling, jogging, or just strolling through the park.

Sometimes, thick fog, a frequent occurrence in the northern part of Munich, creates a dreamy, somewhat dystopian, atmosphere. The flood lights are turned on during events and provide great practical lighting.

Today, the sky was grayish and fully covered. It was about to rain. I took some photos of the supporting masts [1] and the tower.

[1]: https://www.tensinet.com/index.php/component/tensinet/?view=project&id=3779

And I have a positive example for this, too: our Pages service was going to go away because nobody wanted to maintain it any more.

But we asked the community, and they really wanted a Pages service.

So a heroic volunteer (thank you @whitequark) stepped up to write us new infrastructure, and our infra team found the time and motivation to work on patching up the existing infra. And now the future of Codeberg Pages is safe – because the community told us they wanted it.

First spring day at the lake
Also extremely cool that this is a Europe-made #fpga with fully open source tools as the official vendor tools