Tootfinder

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
Antonella Bilotta
https://arxiv.org/abs/2506.10048 https://…

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
The present dissertation introduces the research project on HOLMS (\textbf{HOL} Light Library for \textbf{M}odal \textbf{S}ystems), a growing modular framework for modal reasoning within the HOL Light proof assistant. To provide an accessible introduction to the library, the fundamentals of modal logic are outlined first, followed by a concise manual for the proof assistant itself. The core contribution of this work on HOLMS is the development of a unified and modular strategy for proving adequ…

🇺🇦 #NowPlaying on KEXP's #MiddayShow
The Staple Singers:
🎵 I'll Take You There
#TheStapleSingers
https://khristiank.bandcamp.com/track/the-staple-singers-ill-take-you-there-khristian-k-edit
https://open.spotify.com/track/5YLnfy7R2kueN0BRPkjiEG

Nvidias PC-Prozessor N1X im Geekbench
Erste Einträge in einer Benchmark-Datenbank attestieren Nvidias kommendem N1X 20 CPU-Kerne und mehr als 4 GHz Taktfrequenz.
https://www.heise.de/news/Nvid…

The Trump administration has shifted from bureaucratic threats to armed suppression of political opponents.
By beginning with vulnerable groups who have less legal standing and social capital to resist repression,
the Trump administration is making a strategic choice, hoping to provoke less public outcry
and then use these precedents of repression later against a broader population.
This is a textbook example of democratic backsliding, similar to what we have witnesse…

Military Crackdown on LA Protests Portends Further Erosion of Everyone’s Rights
Governments at all levels from both parties have paved the way to an authoritarian response to dissent.

Watch live: NIH director testifies in Senate amid deep cuts to research (The Hill)
https://thehill.com/policy/healthcare/5341647-nih-director-testifies-senate-cuts/
http://www.memeorandum.com/250610/p68#a250610p68

I'm not sure it's legal to have such a well-reasoned discussion of AI and tech employment, but in case it is: #linkTuesday

Wondering how to make Bluesky work for you to expand your social media reach? Join me today at 1pm AEST to learn what works for me and how to maximise your presence on this platform.
FRIDAY 13 June, 1PM AEST – “Exploring Bluesky”
FYI: I am a psychotherapist and grief educator using social media to open up meaningful conversations. I'm sharing how Bluesky helps me connect, create thoughtful content, and build supportive communities online.
Facebook link is here:

Stilletjes heeft ook YouTube de richtlijnen voor desinformatie verruimd als gevolg van het Trump-tijdperk. Schelden en liegen mag vaker, vooral uit politieke bronnen. Dat ontdekte de New York Times (link zonder betaalmuur)
https://www.

Notepad: Vorschau zeigt Textformatierung und Markdown-Unterstützung
Der rudimentäre Text-Editor Notepad bekommt neue Funktionen. Die Vorschau zeigt Textformatierungen und Unterstützung für Markdown.

Archer startet Testprogramm für eVTOL Midnight mit Pilot an Bord
Archers Flugtaxi soll 2028 bei den Olympischen Spielen in Los Angeles eingesetzt werden. Ein Pilot testet das eVTOL für die Zertifizierung.