Tootfinder

After an ugly week, an ugly bill (Jennifer Rubin/The Contrarian)
https://contrarian.substack.com/p/after-an-ugly-week-an-ugly-bill
http://www.memeorandum.com/250616/p35#a250616p35

from my link log —
Dynamic witnesses for static type errors in OCaml, or, ill-typed programs usually go wrong.
https://arxiv.org/abs/1606.07557
saved 2025-05-31

Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong)
Static type errors are a common stumbling block for newcomers to typed functional languages. We present a dynamic approach to explaining type errors by generating counterexample witness inputs that illustrate how an ill-typed program goes wrong. First, given an ill-typed function, we symbolically execute the body to synthesize witness values that make the program go wrong. We prove that our procedure synthesizes general witnesses in that if a witness is found, then for all inhabited input types…

Achicar el Estado: ¿solución o ilusión para mejorar la eficacia estatal?
https://radio.uchile.cl/2025/06/13/achicar-el-estado-solucion-o-ilusion-para-mejorar-la-eficacia-estatal/

Tämä tie Ilmajoella on niin vaarallinen, etteivät pyöräilijät uskalla ajaa sitä – turvallisuus maksaa kuitenkin miljoonia #Ilmajoki

Tämä tie Ilmajoella on niin vaarallinen, etteivät pyöräilijät uskalla ajaa sitä – turvallisuus maksaa kuitenkin miljoonia
Etenkin raskaan liikenteen määrät ovat kasvaneet Alaasentiellä, eikä kevyelle liikenteelle tahdo jäädä tilaa tien reunasta.

Dunno what your writing process is but mine usually is just a thing kinda building up inside me and then I spend a night to write it instead of getting enough sleep because I just can't let it go even for another night. It's a weird sensation.

Amazon plans to hold Prime Day 2025 from July 8 until July 11, lasting four days instead of the usual two and open for Prime members (Cameron Faulkner/The Verge)
https://www.theverge.com/news/685299/amazon-prime-day-2025-dates-when

Amazon Prime Day stretches to four days of deals this year
Amazon’s 2025 Prime Day will begin Tuesday, July 8th, and lasts through Friday, July 11th. There will be a ton of smart home, headphone, TV, laptop deals.

Draw an Ugly Person An Exploration of Generative AIs Perceptions of Ugliness
Garyoung Kim, Huisung Kwon, Seoju Yun, Yu-Won Youn
https://arxiv.org/abs/2507.12212

Draw an Ugly Person An Exploration of Generative AIs Perceptions of Ugliness
Generative AI does not only replicate human creativity but also reproduces deep-seated cultural biases, making it crucial to critically examine how concepts like ugliness are understood and expressed by these tools. This study investigates how four different generative AI models understand and express ugliness through text and image and explores the biases embedded within these representations. We extracted 13 adjectives associated with ugliness through iterative prompting of a large language m…

LEGO is officially doing a Godzilla set- this one's gonna be tough to avoid wanting to grab. I usually don't go for new LEGO (too pricey). But I already have a bit of a zilla collection. And wow, damn.
More: https://www.fangoria.com/official-godzilla-lego-set-d…

An Official GODZILLA LEGO Set Is Coming Our Way
The LEGO Ideas team has confirmed that a fan-created GODZILLA set is becoming an official product that you will soon be able to get your hands on.

GOP Senate Version of the Big Beautiful Bill Includes an Ugly Attack on Courts' Ability to Protect Constitutional Rights (Ilya Somin/Reason)
https://reason.com/volokh/2025/06/14/gop-senate-version-of-the-big-beautiful-bill-includes-an-ugly-attack-on-courts-ability-to-protect-constitutional-rights/
http://www.memeorandum.com/250614/p77#a250614p77