Tootfinder

a bit of a blast from the past!
https://mastodon.online/@rfceditor/114700678397803497

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
Zhiyao Zhong, Cyrus Omar
https://arxiv.org/abs/2506.10781 https://

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
Students in programming languages and formal logic courses often struggle with constructing rule-based derivation trees due to the complexity of applying inference rules, the lack of immediate feedback, and the manual effort required for handwritten proofs. We present Hazel Deriver, a live, web-based editor designed to scaffold derivation construction through multiple layers of support. Built on the Hazel live programming environment, it provides a structured, interactive experience that encour…

Ukraine reportedly strikes ammunition depot in occupied Donetsk Oblast: https://benborges.xyz/2025/07/02/ukraine-reportedly-strikes-ammunition-depot.html

temporarily pasting something into MS Word and the Editor pops up with this real helpful tip 📎

Since #January, it's essentially been a constant "we're focused on breaking news in the #US so not interested in #global stories" from editors.

Coming back from holidays in Scotland (😍) I wonder what is the best way to organize photographs in albums, edit them, maybe comment them and share them online with chosen people?
(in a private and controlled way, no AI training of any kind)
#PhotoSharing #PhotoSoftware

Cryptee | Encrypted Secure Photo Storage & Encrypted Documents Editor
Cryptee is an encrypted secure photo storage service, and an encrypted documents editor to write personal docs, notes, journals, store files and more.

Journalism is under fire: will the press defend democracy?
www.editorandpublisher.com/stories/america-and-our-democracy-are-under-attack,255597?newsletter=255688
#Journalism #FreePress

Russian strike on Poltava kills 2, injures 11, Ukrainian officials say, conscription office set on fire: https://benborges.xyz/2025/07/03/russian-strike-on-poltava-kills.html

HyperCard was magnificent. Still is.
The HyperTalk language was cool — but even cooler IMO was the way the dev environment mixed code with direct manipulation of the UI. There are lots of problems with that approach for generalized Ui development, yes, but the experience of it was magical.
Unity and the like have a similar editor structure — edit UI objects, attach code to them — but the feeling is totally different somehow.
https://mastodon.social/@ricmac/114643259120579546

BREAKING: Deputy commander of Russian Navy killed in Ukrainian strike in Kursk, Russian official confirms: https://benborges.xyz/2025/07/03/breaking-deputy-commander-of-russian.html