Tootfinder

from my link log —
The joys of UNIX keyboards.
https://donatstudios.com/UNIX-Keyboards
saved 2023-08-04 https://do…

The Joys of UNIX Keyboards

In late 2023, the US Army Drill Team did things like this, yet yesterday, under the command of potus and kegseth, the Army had difficulty walking in step with one another.
Unless there's another reason the soldiers would break step...
https://www.youtube.com/watch?v=7UbR96SWcP

Voxan Roadster vs. Citroën DS 21 https://archivo.kamasystems.nl/es/2023/11/03/voxan-roadster-vs-citroen-ds-21/

from my link log —
Deploying IPv6-mostly access networks.
https://labs.ripe.net/author/ondrej_caletka_1/deploying-ipv6-mostly-access-networks/
saved 2023-05-07

Deploying IPv6-Mostly Access Networks
Dual stack is the most common way of deploying IPv6 in access networks. A recent standard defines IPv6-mostly access networks, providing IPv4 connectivity only for legacy devices while allowing modern devices to run IPv6-only. It is already well supported and allows network operators to gradually p…

A Visit to Reading Hydro by TTK Energy Group (2023) - An interesting visit: the River Thames Scheme should build in more hydropower! - https://www.earth.org.uk/Reading-Hydro-TTK-visit.html

A Visit to Reading Hydro by TTK Energy Group (2023)
An interesting visit: the River Thames Scheme should build in more hydropower!

Minnesota political assassin
57-year-old Vance Boelter,
was twice appointed to the nonpartisan Governor’s Workforce Development Council

-- in 2016 under former Gov. Mark Dayton
and again in 2019 under Gov. Tim Walz.
His most recent term expired in January 2023.

57-year-old suspect sought in targeted shootings of Minnesota state lawmakers
Speaker Emerita Melissa Hortman and her husband have died after they were shot at their home in Brooklyn Park.

Ravens RB Keaton Mitchell: I feel like I'm better than before 2023 knee injury https://www.nfl.com/news/ravens-rb-keaton-mitchell-i-feel-like-i-m-better-than-before-2023-knee-injury

DreamState - Lucid Dreaming - #DreamState #NowPlaying https://muz4now.com/2023/dreamstate-lu…

DreamState - Lucid Dreaming - #DreamState #NowPlaying
Stan Stewart - @muz4now

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…

Wusstet Ihr....
Die erste #Balkonsolaranlage wurde bereits am 14.04.1923 auf einer #Gartenlaube errichtet.
Damals arbeitete das #Marktstammdatenregister noch mi…

This https://arxiv.org/abs/2402.08161 has been replaced.
initial toot: https://mastoxiv.page/@ar…

The Monte Carlo Computational Summit -- October 25 & 26, 2023 -- Notre Dame, Indiana, USA
The Monte Carlo Computational Summit was held on the campus of the University of Notre Dame in South Bend, Indiana, USA on 25--26 October 2023. The goals of the summit were to discuss algorithmic and software alterations required for successfully porting respective code bases to exascale-class computing hardware, compare software engineering techniques used by various code teams, and consider the adoption of industry-standard benchmark problems to better facilitate code-to-code performance comp…

from my link log —
The yaml document from hell.
https://ruudvanasseldonk.com/2023/01/11/the-yaml-document-from-hell
saved 2025-04-11

This https://arxiv.org/abs/2403.15001 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Torsion pairs in categories of modules on ringed finite sites
Let $\mathcal{C}$ be a small category. In this paper, we mainly study the category of modules $\mathfrak{M}\mbox{od-}\mathfrak{R}$ on ringed sites $(\mathbf{C},\mathfrak{R})$. We firstly reprove the Theorem A of the paper (M. Wu and F. Xu. Skew category algebras and modules on ringed finite sites. J. A. 631, 2023), then we characterize $\mathfrak{M}\mbox{od-}\mathfrak{R}$ in terms of the torsion modules on $Gr(\mathfrak{R})$, where $Gr(\mathfrak{R})$ is the linear Grothendieck construction of $…

Es muss in Deutschland möglich sein, den grausamen Terroranschlag der Hamas vom 7. Oktober 2023 mit 1.200 Todesopfern und 250 Geiseln zu verurteilen und sich gleichzeitig für ein Ende der Kriegsverbrechen in Gaza und dem Westjordanland einzusetzen.
https://innn.it/gaza-hilfe
Historische Vera…

Petition · Uneingeschränkte Hilfslieferungen nach Gaza JETZT ! · innn.it
Jetzt innn.it-Petition unterschreiben & Alex von Palestinians and Jews for Peace unterstützen!

"Carbon footprint of Israel’s war on Gaza exceeds that of many entire countries"
#Gaza #Emissions #Climate #ClimateChange

With Bryce Huff trade, 49ers continue re-making defense in Robert Saleh's image https://www.espn.com/nfl/story/_/id/45398149/bryce-huff-trade-shows-49ers-faith-robert-saleh-fix-defense

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property
Varad Joshi, Anantha Padmanabha
https://arxiv.org/abs/2506.01421 http…

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property
The satisfiability problem for First-order Modal Logic (\FOML) is undecidable even for simple fragments like having only unary predicates, two variables etc. Recently a new way to identify decidable fragments of \FOML has been introduced called the "bundled fragments", where the quantifiers and modalities are restricted to appear together. Since there are many ways to bundle the quantifiers together, some of them lead to (un)decidable fragments. In (Liu et.al, 2023) the authors prove a `trichot…

from my link log —
A simple ray tracer written in the meson.build language.
https://github.com/annacrombie/meson-raytracer
saved 2023-11-19

GitHub - annacrombie/meson-raytracer
Contribute to annacrombie/meson-raytracer development by creating an account on GitHub.