Ελλεν Εμιλία Ά.ζ.

@fogti@chaos.social
170 Followers
359 Following
7.4K Posts

languages, programming, type theory, math (many areas); weird entity. anarchist, anti-authoritarian, separatist with reformist tendencies. neurodiverse (AuSHD?), queer & trans, fem-leaning non-binary (pure non-masc)   Friend of the 69420*arson ppl

punch Nazis. punch Child abusers. punch Freeze peach extremists.

I often post about bugs I found...
I often boost too much, but on most ActivityPub frontends you can hide all boosts of a person (e.g. me), which should solve this.

PronounsEn: she/her; they/them; Ger: sie/ihr; es/{ihr,deren}
Gitfogti (GitHub, Codeberg)
Ελλεν Εμιλία Ά.ζ.6d ago
imo the linux DRM tree should be completely split from the linux kernel main development and made compatible with as many OS'es as possible. Make it truly portable.
Ελλεν Εμιλία Ά.ζ.Jul 9
whenever I get too bored, I continue reading
House of Leaves and the Devicetree Specification
Ελλεν Εμιλία Ά.ζ.Jul 3
big PR got merged 🎉 https://codeberg.org/topola/topola/pulls/187
`planar_incr_embed` routing via `PmgAstar`

Fixes #158 and #166.

Codeberg.org
Ελλεν Εμιλία Ά.ζ.Jul 1
Large #gravy collider
Ελλεν Εμιλία Ά.ζ.Jun 24

response files are annoying,

I want my compiler to take a config file via stdin.

Or even better, ask questions on stdout about the inputs to use, and get responses via stdin.

Would be fun to have `ninja` integration for that...

/j

Ελλεν Εμιλία Ά.ζ.Jun 19
is there an established way to model commutativity in dependently typed programming languages such that the type checker does understand it?
Ελλεν Εμιλία Ά.ζ.Jun 13
Forgejo-Radicale integration when
Show threadΕλλεν Εμιλία Ά.ζ.Jun 11
GTK file chooser doesn't clamp the window size... that's bad.
Show threadΕλλεν Εμιλία Ά.ζ.Jun 11

I HAVE FOUND THE REASON:

fogti@burton:~/.config/glib-2.0/settings/ > diff keyfile ~/tmp/.config/glib-2.0/settings/keyfile
2,3c2,3
< window-position=(20, 20)
< window-size=(679, 687)
---
> window-position=(26, 23)
> window-size=(4092044, 2046032)
9c9
< sidebar-width=157
---
> sidebar-width=224

Impossibly large window size causes the window buffer allocation to fail (not enough memory for shm)

Ελλεν Εμιλία Ά.ζ.Jun 8
https://bahnblogstelle.com/233857/dobrindt-will-bundespolizisten-mit-elektroschockgeraeten-ausstatten/
Dobrindt will Bundespolizisten mit Elektroschockgeräten ausstatten

Bundespolizisten, die unter anderem an Bahnhöfen und in Zügen, an Flughäfen sowie im Grenzbereich für Sicherheit sorgen, sollen künftig mit Elektroschockge