Remote

terrorist :: Feline

@majoranaoedipus@mathstodon.xyz

mastodon 4.7.2

Interests: FP, PLT, CAS, MathLogic, Set Theory, Cat. Theory, DiffGeometry, QG, AdS/CFT, BH Thermodynamics and cat owner

0 Followers

0 Following

5 Posts

Joined November 25, 2025

Pronoun:

:: Any

言語/Babel:

PGP:

97BD 3380 B8BB 8E46 BCF2 BC5E 6D9D 5850 297C 0D3A

· 6mo ago

They have started to store birthday info in systemd...

Are they really planning to integrate age verification in systemd too? That's terrible.

· 6mo ago

Writing an OS in Haskell - agniv sarkar
https://old.agniv.me/blog/haskell-os/

· 7mo ago

Guest-to-host escape utilising QEMU 0-day? That sounds terrible.

· 6mo ago

Just discovered a hep-th article on #arXiv that is very likely AI-generated.
The items in bibliography are basically made-up.

· 6mo ago

From virtio-snd 0-Day to Hypervisor Escape: Exploiting QEMU with an Uncontrolled Heap Overflow
https://osec.io/blog/2026-03-17-virtio-snd-qemu-hypervisor-escape/