Tootfinder

📌 Pinned Introduction
Hey, I’m Erik. I’m an anarchist with an embarrassingly massive crush on Rudolf Rocker’s syndicalist take. I’m also bisexual, autistic, and genderfluid because why not add some extra flavor?
I’m here to share my weird little world, build some solidarity, and maybe spark a little revolution along the way. No pressure, no drama, just good vibes and a lot of laughs. You do you and I’ll do me. Cool? Cool.

I’m rewriting my logic language code in Haskell because I got frustrated with Rust’s verbosity and having to deal with garbage collection. I didn’t feel like it was adding enough, and I started to rethink my reasoning for using Rust (so it can be embedded anywhere). I don’t know if this language is going anywhere, maybe it’s fine if I have to rewrite it once it’s popular. It may never be.

«Everybody Laughs», el primer adelanto del recientemente anunciado próximo disco de David Byrne. Me gustó 👌🏻.
#DavidByrne

On the cut-elimination of the modal $\mu$-calculus: Linear Logic to the rescue
Esa\"ie Bauer, Alexis Saurin
https://arxiv.org/abs/2506.09791 https://

On the cut-elimination of the modal $μ$-calculus: Linear Logic to the rescue
This paper presents a proof-theoretic analysis of the modal $μ$-calculus. More precisely, we prove a syntactic cut-elimination for the non-wellfounded modal $μ$-calculus, using methods from linear logic and its exponential modalities. To achieve this, we introduce a new system, \muLLmodinf{}, which is a linear version of the modal $μ$-calculus, intertwining the modalities from the modal $μ$-calculus with the exponential modalities from linear logic. Our strategy for proving cut-elimination …

My whiteboard is now mounted in the new apartment

A tunable, continuous-wave 130-mW laser at 213 nm
Lukas M\"oller, Stephan Hannig, Stefan Truppe, Simon Stellmer
https://arxiv.org/abs/2506.08709 https…

A tunable, continuous-wave 130-mW laser at 213 nm
We present a tunable, continuous-wave (CW) laser system emitting at 213 nm, based on the frequency quadrupling of a single Ti:sapph laser. The setup features two sequential, cavity-enhanced second-harmonic generation (SHG) stages. The first stage uses an LBO crystal and achieves a conversion efficiency of over 80%, yielding up to 3.3 W at 426 nm. The second stage employs a Brewster-cut BBO crystal with an elliptical beam waist to mitigate UV-induced degradation, producing up to 130 mW of deep U…

OH MY GOD!
There will be a second Spaceballs movie!!!
https://www.msn.com/en-us/video/peopleandplaces/spaceballs-2-official-announcement-teaser/vi-AA1GBgTH

Show Me Your Best Side: Characteristics of User-Preferred Perspectives for 3D Graph Drawings
Lucas Joos, Gavin J. Mooney, Maximilian T. Fischer, Daniel A. Keim, Falk Schreiber, Helen C. Purchase, Karsten Klein
https://arxiv.org/abs/2506.09212

Show Me Your Best Side: Characteristics of User-Preferred Perspectives for 3D Graph Drawings
The visual analysis of graphs in 3D has become increasingly popular, accelerated by the rise of immersive technology, such as augmented and virtual reality. Unlike 2D drawings, 3D graph layouts are highly viewpoint-dependent, making perspective selection critical for revealing structural and relational patterns. Despite its importance, there is limited empirical evidence guiding what constitutes an effective or preferred viewpoint from the user's perspective. In this paper, we present a systema…

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy
Liesbeth De Mol, Yuri V. Matiyasevich, Eugenio G. Omodeo, Alberto Policriti, Wilfried Sieg, Elaine J. Weyuker
https://arxiv.org/abs/2506.08588

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy
In his autobiographic essay written in 1999, ``From logic to computer science and back'', Martin David Davis (3/8/1928--1/1/2023) indicated that he viewed himself as a logician \emph{and} a computer scientist. He expanded the essay in 2016 and expressed a new perspective through a changed title, ``My life as a logician''. He points out that logic was the unifying theme underlying his scientific career. Our paper attempts to provide a consistent vision that illuminates Davis' successive contribu…

I'm currently preparing slides for upcoming workshops that I will hold at @…, AGIT conference. and perhaps a few other places. I am trying to clearly illustrate how out-of-core computation works in #DuckDB ( @…