Tootfinder

from my link log —
Unification-free ("keyword") type checking.
https://www.haskellforall.com/2024/02/unification-free-keyword-type-checking.html
saved 2025-09-01

Unification-free ("keyword") type checking
Unification-free ("keyword") type checking From my perspective, one of the biggest open problems in imple...

El Cheeto is tearing down the East Wing of the White House.
He says, of course, that he isn't. But he is.
And he promises to preserve historical elements and artifacts.
But he won't - does anyone remember when he was trying to get New York to allow him to build the horrid "trump tower" on the site of the then existing Bonwitt Teller building (a building full of and covered by art deco works)?
Well back then El Cheat-o promised to preserve those Bonw…

Everett Randle, a former partner at Kleiner Perkins, joins VC firm Benchmark as general partner, following a slew of personnel departures at Benchmark (Natasha Mascarenhas/The Information)
https://www.theinformation.com/briefings/benchmark-names-ev…

Benchmark Names Everett Randle as New General Partner 
Everett Randle, a former partner at Kleiner Perkins investing out of its growth-stage funds, has joined Benchmark as the firm’s newest general partner, the early-stage firm announced Monday. At Kleiner, Randle worked on investments including enterprise search startup Glean and legal AI startup Harvey, earning him a top spot on The Information’s Next General Partners list in 2024. The hiring

Sherrod Brown's Race Will Test Trump Voters' Buyer's Remorse (Alex Roarty/NOTUS)
https://www.notus.org/2024-election/sherrod-brown-ohio-test-trump-voters-buyers-remorse
http://www.memeorandum.com/250818/p146#a250818p146

Next Generation #NowPlaying #nowplaying #originalmusic #streaming

Next Generation #NowPlaying
Stan Stewart - @muz4now

Behind the scenes talk about how the English-language webcast of Japan's #SLIM landing on the Moon went: https://www.youtube.com/watch?v=Fxe3owbJr38#t=1h10m26s (from 1 hour 10 minutes 26 seconds) - see also https://cosmos.isas.jaxa.jp/landing-on-the-moon-behind-the-scenes-of-the-night-when-slim-made-history/ for a related article and https://skyweek.wordpress.com/2024/01/17/slim-vor-mond-landung-peregine-vor-erd-crash/ (from "Japans SLIM – mit zwei Extra-Vehikeln – vor der Mondlandung" in chronological order) for my live coverage back then, based on the JAXA webcast and direct reception of radio signals from the lander by radio amateurs with a 20 meter dish in my home town.

Creative Courage: Addiction Recovery Through Art and Music
#MusicTherapy
https://muz4now.com/2024/creative-courage-addiction-recovery-through-art-an…

Creative Courage: Addiction Recovery Through Art and Music
Stan Stewart - @muz4now

Last year I raised the idea of Open Source Quality Institute: https://www.tbray.org/ongoing/When/202x/2024/04/01/OSQI
Today, I’m wondering if anyone has tried to launch an Open-Source-Maintainer guild or union or whatever? It could set rates and draft contracts…

OSQI

Trump Media reports Q2 net sales up 5.5% YoY to $883.3K, a net loss of $20M, vs. a $16.4M net loss in Q2 2024, and $3.1B in cash and investments, up ~800% YoY (Todd Spangler/Variety)
https://variety.com/2025/digital/news/trump-truth-social-tmtg-q2-2…

Trump's TMTG Truth Social Q2 Earnings: $20M Loss on $883K in Net Sales
Trump Media & Technology Group, the parent company of Truth Social that is majority-owned by President Donald Trump, posted earnings for Q2 2025.

Anzahl der errichteten #Balkonkraftwerke pro Jahr in #Deutschland mit Stand vom 01.08.2025.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das Registrierungsdatum der #Steckersolaranlage

#Regenwald.org Jahresbericht 2024. https://www.regenwald.org/nl/4929/1/636186989

„Leben in Harmonie mit der Natur“
Seit kurzem ist unser Jahresbericht 2024 online. Auf 37 Seiten legen wir Ihnen dar, was wir und unsere Partnerorganisationen im vergangenen Jahr geleistet haben, um die Regenwälder zu bewahren und Indigene zu unterstützen.

"In a record year for forest loss across the tropics, more than a fifth of all the primary forest destroyed in 2024 was in Bolivia, placing the Latin American nation at the very heart of a global crisis."
Bolivia Burning: ‘We are on the edge of a precipice’ | Latin America Bureau

Bolivia Burning: ‘We are on the edge of a precipice’ | Latin America Bureau
In a record year for forest loss across the tropics, more than a fifth of all the primary forest destroyed in 2024 was in Bolivia, placing the Latin

De vernedering van Von der Leyen is de vernedering van alle Europeanen.
https://www.demorgen.be/meningen/de-vernedering-van-von-der-leyen-is-de-vernedering-van-alle-europeanen~bb4305b0/?re…

De vernedering van Von der Leyen is de vernedering van alle Europeanen
Het akkoord met de VS over handelstarieven is een signaal van verregaande zwakte en inertie van de EU. Dat is geen toeval, schrijft Sophie in ’t Veld, lid van het Europees Parlement tussen 2004 en 2024. ‘Al twintig jaar staan we stil.’

But nice lawns and golf courses and unblemished flower gardens are so important. We can't possibly give up routine use of #pesticides.
Yet it's clear that even "benign" pesticides, like #pyrethroids, have adverse impacts. Even if they are harmless to people and pets, they …

Eagles unveil 2024 Super Bowl banner amid fireworks before NFL opener against Dallas https://www.foxsports.com/articles/nfl/eagles-unveil-2024-super-bowl-banner-amid-fireworks-before-nfl-opener-against-dallas

In 2024 Jane Goodall Left This Message
‘Hope Isn’t Just Wishful Thinking’
https://www.nytimes.com/2025/10/01/climate/jane-goodall-interviews.html?unlocked_article_code=1.qU8.6Zom.tQ7ncRpY92KO&…

Jane Goodall’s Thoughts for a Reporter: ‘Hope Isn’t Just Wishful Thinking’
A Times correspondent who interviewed Dr. Goodall recalled their conversations about the state of the planet.

Plonger dans le dossier de presse sur les affaires OKC qui s'étend de 1997- Š 2025 !
Comment nos sociétés traitent la question des dérives sectaires et la place des enfants mineurs dans ce genre de dérive ?
#PressKit #ChardonsBleus

Dossier Presse 1997-2024
Beaucoup d'articles de presse ont été écris depuis 1997 sur OKC et Robert Spatz, mais malheureusement une partie de ces articles sont derrière des barr ...

But nice lawns and golf courses and unblemished flower gardens are so important. We can't possibly give up routine use of #pesticides.
Yet it's clear that even "benign" pesticides, like #pyrethroids, have adverse impacts. Even if they are harmless to people and pets, they …

Microsoft launches a $19.99 per month Microsoft 365 Premium subscription, bundling Copilot Pro and Microsoft 365 Family subscriptions along with cloud storage (Jordan Novet/CNBC)
https://www.cnbc.com/2025/10/01/microsoft-365-premium-bundle-ai-copilot.html

Microsoft launches AI and productivity software bundle for consumers
The software company introduced Copilot Pro at $20 per month in early 2024.

I learned this sad news with a huge delay because WKIT 404s today for some reason 😑 (WKIT was bought at the last minute by Jeff Solari and Greg Hawes, but up until now I didn't know this, as I tune in only occasionally.) ->
Stephen King’s radio stations to sign off for good at month’s end (Published: Dec. 2, 2024 at 5:01 PM EET)

Stephen King’s radio stations to sign off for good at month’s end
Stephen King’s radio stations are signing off for good at the end of the month.

Resisting AI Solutionism through Workplace Collective Action
Kevin Zheng, Linda Huber, Aaron Stark, Nathan Kim, Francesca Lameiro, Wells Lucas Santo, Shreya Chowdhary, Eugene Kim, Justine Zhang
https://arxiv.org/abs/2508.08313

Resisting AI Solutionism through Workplace Collective Action
In the face of increasing austerity and threats of AI-enabled labor replacement at the University of Michigan, a group of workers and students have coalesced around the project of "AI resistance" since Fall 2024. Forming a cross-departmental coalition including librarians, faculty, staff, graduate workers, and undergraduate students, we have hosted a public workshop questioning the techno-deterministic inevitability of AI use at the University and are working with other campus organizations to …

I just found this UK report on #covid epidemiology from 2020 to Dec 2024; the graph I most noticed is below - they looked at blood donors for spike (S) and Nucleo (N) protein antibodies over time; The spike proteins are in both infection and vaccine, while N is infection only - so you can see when people got vaccinated and how now pretty much everyone (95.5% as end of January) has been infected as…

Epidemiology of COVID-19 in England: January 2020 to December 2024

Trump embraces Project 2025 after disavowing it during 2024 campaign (Herb Scribner/Axios)
https://www.axios.com/2025/10/02/trump-project-2025-russ-vought
http://www.memeorandum.com/251002/p100#a251002p100

🔊 #NowPlaying on #BBCRadio3:
#ThroughTheNight
- Brahms Symphony No 3 at the BBC Proms
A BBC Proms performance from 2024 that includes Schoenberg’s Verklärte Nacht from the BBC Scottish Symphony Orchestra and Mahler's Kindertotenlieder with Alice Coote.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002hn0c

Jährlicher Zubau und Rückbau von #Balkonsolarleistung in Deutschland mit Stand vom 01.08.2025.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das Registrierungsdatum der #Steckersolaranlage ersetzt.
Mehr zu

LLM-Based Identification of Infostealer Infection Vectors from Screenshots: The Case of Aurora
Estelle Ruellan, Eric Clay, Nicholas Ascoli
https://arxiv.org/abs/2507.23611 https…

LLM-Based Identification of Infostealer Infection Vectors from Screenshots: The Case of Aurora
Infostealers exfiltrate credentials, session cookies, and sensitive data from infected systems. With over 29 million stealer logs reported in 2024, manual analysis and mitigation at scale are virtually unfeasible/unpractical. While most research focuses on proactive malware detection, a significant gap remains in leveraging reactive analysis of stealer logs and their associated artifacts. Specifically, infection artifacts such as screenshots, image captured at the point of compromise, are large…

from my link log —
Making a compiler to prove tmux Is Turing complete.
https://willhbr.net/2024/03/15/making-a-compiler-to-prove-tmux-is-turing-complete/
saved 2025-08-01

Spoiled 4 Us All
- so few ... spoil it for us all -
#NowPlaying
https://muz4now.com/2024/spoiled-4-us-all-nowplaying/

Spoiled 4 Us All #NowPlaying
Stan Stewart - @muz4now

Multi-wavelength Study of HESS J0632 057: New Insights into Pulsar-Disk Interaction
Jaegeun Park (Chungbuk National University), Hongjun An (Chungbuk National University), Chanho Kim (Chungbuk National University), Natalie Matchett (University of the Free State), Kaya Mori (Columbia University), Brian van Soelen (University of the Free State), VERITAS Collaboration, :, A. Archer, P. Bangale, J. T. Bartkoske, W. Benbow, J. H. Buckley, Y. Chen, A. J. Chromey, A. Duerr, M. Errando, M. Es…

Multi-wavelength Study of HESS J0632+057: New Insights into Pulsar-Disk Interaction
We present an analysis of new multi-wavelength observations of the TeV gamma-ray binary HESS J0632+057, conducted using SALT, Swift, NuSTAR, and VERITAS in 2023--2024. By combining these new data with archival observations, we confirm previous suggestions of orbital variability in the source's X-ray spectrum, including increased X-ray absorption at the orbital phase interval of $ϕ\approx0.3\textrm{--}0.4$. The source's X-ray flux within this phase interval seems to have exhibited a significant…

Comment on "Quantum tunneling from Schwarzschild black hole in non-commutative gauge theory of gravity"
A. A. Ara\'ujo Filho, Iarley P. Lobo
https://arxiv.org/abs/2507.22965

Comment on "Quantum tunneling from Schwarzschild black hole in non-commutative gauge theory of gravity"
The particle creation via quantum tunneling was recently calculated for the Schwarzschild non-commutative black hole solution in Ref. [Phys. Lett. B 848 (2024) 138335, e-Print: 2310.02445 [gr-qc]]. Nevertheless, it contains inconsistencies in the calculations that need to be properly corrected. In particular, the event horizon was incorrectly determined in that work, which affected all the subsequent calculations. Moreover, the same issue have been repeated elsewhere by the same authors in Refs…

Native American teens kayak river to celebrate dam removals, symbolizing restoration and honoring ancestors. #climatechange #climatesolutions #climate

Native American teens kayak US river to celebrate dam removals
Four dams were dynamited and removed between 2023 to 2024, freeing hundreds of miles of the Klamath.

The Uranus Flagship: Investigating New Paradigms for Outer Solar System Exploration Workshop Summary Report
Amy Simon, Louise Prockter, Ian Cohen, Kathleen Mandt, Lynnae Quick
https://arxiv.org/abs/2508.21074

The Uranus Flagship: Investigating New Paradigms for Outer Solar System Exploration Workshop Summary Report
This white paper is a summary of the Uranus Flagship Workshop that took place 21 to 23 May 2024 at NASA's Goddard Space Flight Center. Co-led by Goddard and Johns Hopkins Applied Physics Lab conveners, we had a broad, international, Science Organizing Committee, and a largely early career Local Organizing Committee from APL and GSFC. From prior workshops, it was apparent that the community was wildly enthusiastic about starting a mission, but lacked focus on what was possible or where to begin.…

Comscore: US and Canada summer box office revenue was $3.67B, down slightly from $3.68B in 2024, and well short of the $4B from the Barbenheimer-fueled 2023 (Pamela McClintock/The Hollywood Reporter)
https://www.hollywoodreporter.com/movies/m

Summer Box Office Clobbered by Kryptonite: Domestic Revenue Barely Matches Last Year
The May to Labor Day season initially soared, but global grosses took a nosedive as foreign movie ticket sales plunged further and a glut of male-skewing tentpoles battled for scraps in the U.S.

Interface crossing behavior of prolate microswimmers: thermo and hydrodynamics
Rishish Mishra, Harish Pothukuchi, Harinadha Gidituri, Juho Lintuvuori
https://arxiv.org/abs/2507.23708

Interface crossing behavior of prolate microswimmers: thermo and hydrodynamics
Motivated by recent experiments of motile bacteria crossing liquid-liquid interfaces of isotropic- nematic coexistence (Cheon et al., Soft Matter 20: 7313-7320, 2024), we study the dynamics of prolate microswimmers traversing clean liquid-liquid interfaces. Using large-scale lattice Boltzmann simulations, we observe that neutrally wetting swimmers can be either trapped or cross the in- terface, depending on their initial angle, swimming speed and the interfacial tension between the two fluids. …

Spontaneous Symmetry Breaking, Group Decision Making and Beyond 2. Distorted Polarization and Vulnerability
Serge Galam
https://arxiv.org/abs/2509.06649 https://

Spontaneous Symmetry Breaking, Group Decision Making and Beyond 2. Distorted Polarization and Vulnerability
This paper extends previous work on echo chambers modeled by an Ising-like system at zero temperature (1. Echo Chambers and random Polarization, Symmetry 2024, 16(12), 1566). There, polarization emerged as a spontaneous symmetry-breaking process with a randomly selected direction. Here using a mean-field analysis and Monte Carlo simulations I show that this mechanism is highly vulnerable to minimal distortions. An external symmetry-breaking field, even vanishingly small, suffices to impose a gl…

Internal data: Amazon registered 5.4M US Prime sign-ups over the 21-day run-up to Prime Day and the four-day event, ~116K less than 2024 and 106K below its goal (Greg Bensinger/Reuters)
https://www.reuters.com/business/retail-co

Anzahl der errichteten #Balkonkraftwerke pro Monat in #Deutschland mit Stand vom 01.08.2025.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das Registrierungsdatum der #Steckersolaranlage

Slovenia becomes first EU country to impose arms embargo on Israel | Israel-Palestine conflict News | Al Jazeera
https://www.aljazeera.com/news/2025/8/1/slovenia-becomes-first-eu-country-to-impose-arms-embargo-on-is…

Slovenia becomes first EU country to impose arms embargo on Israel
The Central European country has also recognised Palestinian statehood in 2024.

Sustain Creativity – Pushing Too Far – part 2 #brokenankle #composer #musician

Sustain Creativity - Pushing Too Far - part 2
Stan Stewart - @muz4now

Phase transition properties via partition function zeros: The Blume-Capel ferromagnet revisited
Le\"ila Moueddene, Nikolaos G Fytas, Bertrand Berche
https://arxiv.org/abs/2508.20084

Phase transition properties via partition function zeros: The Blume-Capel ferromagnet revisited
Since the landmark work of Lee and Yang, locating the zeros of the partition function in the complex magnetic-field plane has become a powerful method for studying phase transitions. Fisher later extended this approach to complex temperatures, and subsequent generalizations introduced other control parameters, such as the crystal field. In previous works [Moueddene et al, J. Stat. Mech. (2024) 023206; Phys. Rev. E 110, 064144 (2024)] we applied this framework to the two- and three-dimensional B…

Streudiagramm der Entwicklung der #Bruttoleistung von #Balkonkraftwerk​en in #Deutschland mit Stand vom 01.08.2025.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durc…

EconAgentic in DePIN Markets: A Large Language Model Approach to the Sharing Economy of Decentralized Physical Infrastructure
Yulin Liu, Mocca Schweitzer
https://arxiv.org/abs/2508.21368

EconAgentic in DePIN Markets: A Large Language Model Approach to the Sharing Economy of Decentralized Physical Infrastructure
The Decentralized Physical Infrastructure (DePIN) market is revolutionizing the sharing economy through token-based economics and smart contracts that govern decentralized operations. By 2024, DePIN projects have exceeded \$10 billion in market capitalization, underscoring their rapid growth. However, the unregulated nature of these markets, coupled with the autonomous deployment of AI agents in smart contracts, introduces risks such as inefficiencies and potential misalignment with human value…

XL-Calibur Polarimetry of Cyg X-1 Further Constrains the Origin of its Hard-state X-ray Emission
Hisamitsu Awaki, Matthew G. Baring, Richard Bose, Jacob Casey, Sohee Chun, Adrika Dasgupta, Pavel Galchenko, Ephraim Gau, Kazuho Goya, Tomohiro Hakamata, Takayuki Hayashi, Scott Heatwole, Kun Hu, Daiki Ishi, Manabu Ishida, Fabian Kislat, M\'ozsi Kiss, Kassi Klepper, Henric Krawczynski, Haruki Kuramoto, Lindsey Lisalda, Yoshitomo Maeda, Hironori Matsumoto, Shravan Vengalil Menon, Aiko Mi…

XL-Calibur Polarimetry of Cyg X-1 Further Constrains the Origin of its Hard-state X-ray Emission
The balloon-borne hard X-ray polarimetry mission XL-Calibur observed the Black Hole X-ray Binary (BHXRB) Cygnus X-1 (Cyg X-1) during its nearly six-day Long Duration Balloon (LDB) flight from Sweden to Canada in July 2024. The XL-Calibur observations allowed us to derive the most precise constraints to date of the Polarization Degree (PD) and Polarization Angle (PA) of the hard X-ray emission from a BHXRB. XL-Calibur observed Cyg X-1 in the hard state and measured a $\sim$19-64 keV PD of ($5.0^…

Anzahl der #Balkonkraftwerke in #Deutschland mit Stand vom 01.08.2025.
Der aktuelle Höchststand liegt bei 1060581 registrierten Anlagen.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das Registrierungsdatum der

Kumulativer Zubau von #Balkonsolarleistung in #Deutschland mit Stand vom 01.08.2025.
Die summarische Leistung aller offiziell registrierten #Steckersolaranlagen beträgt…

Habits for Creativity – Investing in Yourself for Improved Mental and Physical Health #creativity #inspiration #motivational

Habits for Creativity - Investing in Yourself for Improved Mental and Physical Health
Stan Stewart - @muz4now

🍮 Wissen zum Nachtisch: 🍨
Retröt: Mit #Steckersolaranlagen kannst Du selbst auf Deinem #Balkon Teil der #Energiewende werden, Deine

Steckersolaranlagen für Deinen Balkon: Sparen mit der Energiewende
Spare Stromkosten mit einem Balkonkraftwerk! Finde heraus, was die neuen Regelungen 2024 für Dich bedeuten. Einfach installieren und profitieren.

Die #Klimakrise trifft #Kanada und #Europa.
Im Juli 2025 wurden auf beiden Seiten des Atlantiks außergewöhnlich starke

Jährlicher Zubau und Rückbau von #Balkonsolarleistung in Deutschland mit Stand vom 04.10.2025.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das Registrierungsdatum der #Steckersolaranlage ersetzt.
👉 Zusatzlesestoff: Förderantrag

Kumulativer Zubau von #Balkonsolarleistung in #Deutschland mit Stand vom 04.10.2025.
Die summierte Leistung aller offiziell registrierten #Steckersolaranlagen beträgt b…

Der Markt für #Elektroautos in Deutschland zieht nach dem Rückgang 2024 wieder an.
Im ersten Halbjahr 2025 waren 17,8 Prozent der #Neuzulassungen vollelektrisch.
Gründe sind neue Modelle, stärkere

E-Auto-Markt: Die E-Autos sind zurück
Nach einem schwierigen Jahr 2024 verkaufen sich E-Autos jetzt wieder überraschend gut – ganz ohne Prämie. Ein Grund dafür: Tricks der Hersteller.

Anzahl der registrierten #Balkonkraftwerke in #Deutschland mit Stand vom 04.10.2025.
Der aktuelle Höchststand liegt bei 1149038 registrierten Anlagen.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das Registrierungsdatum der

Anzahl der Inbetriebnahmen von Balkonkraftwerken pro Jahr in #Deutschland mit Stand vom 04.10.2025.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das Registrierungsdatum der #Steckersolaranlage ersetzt.
👉 Zusatzlesestoff: Rechte und Förderung

Die #Klimakrise trifft #Deutschland.
2024 war das heißeste Jahr seit Beginn der Messungen, mit 2,7 °C über dem langjährigen Mittel.
Die Zahl der #Hitzetage hat sich seit 1950 verdre…

Juli 2025: Viel Regen, wenig Sonne und trotzdem zu warm
Auf den trockenen, sonnigen Juni folgte ein feuchter, trüber Juli, meldet der Deutsche Wetterdienst. Wie waren die Temperaturen in Ihrer Region?

Healing Melodies #NowPlaying #nowplaying #originalmusic #streaming

Healing Melodies #NowPlaying
Stan Stewart - @muz4now

Greener Grass #NowPlaying #nowplaying #originalmusic #streaming

Greener Grass #NowPlaying
Stan Stewart - @muz4now

What’s in the works? How to keep moving even when it hurts #brokenankle #creativeprocess #inspiration #muse

What's in the works? How to keep moving even when it hurts
Stan Stewart - @muz4now

#Streudiagramm der #Bruttoleistung von #Balkonkraftwerk​en in #Deutschland mit …