Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@aral@mastodon.ar.al
2025-12-11 14:46:51

I love how simple Kitten’s Streaming HTML workflow makes building features like this, especially when using class-based Kitten pages and components :)
#Kitten

Screen capture of the Team schedule interface from the Gaza Verified admin site. It is a table of names and days (Aral, Casey, Joy, Aseel, Fabio And Mondays … Fridays) with checkboxes at each name/day pair. It starts out greyed out. The Unlock to edit button is clicked and the interface comes alive (opacity returns to full and the checkboxes become green and clickable). The person toggles a few checkboxes and clicks the Lock button to lock the interface again and then repeats the process to und…
Screenshot of code (the lines editable=false and the button tag code are highlighted): class TeamSchedule extends kitten.Component { editable = false html () { return kitten.html` <section> <h3>Team schedule</h3> <button name='toggle' connect >${this.editable ? 'Lock' : 'Unlock to edit'}</button> <table id='team-schedule' ${this.editable ? '' : 'inert'}> <caption id='caption'> <markdown> Show…
Screenshot of code, continuation of the same class, starting with the end of the html() method from the previous screenshot and going till the end of the class (the table[inert] style and the onToggle() method are highlighted: <style> table[inert] { opacity: 0.9; filter: grayscale(100%); } </style> </table> </section> ` } onToggle () { this.editable = !this.editable console.log(this.editable)…
Screenshot of code (the <${TeamSchedule.connectedTo(this)} /> line is highlighted): export default class InterviewsPage extends kitten.Page { html () { const today = db.calendar.today const futureDays = db.calendar.futureDays const pastDays = db.calendar.pastDays return kitten.html` <${MainLayout} page='/admin/interviews/'> <h2>Interviews</h2> <${SignUpsSwitch.connectedTo(this)} /> <${InternalNav} /> <${TeamSchedule.connectedTo(this)} /…
@toxi@mastodon.thi.ng
2026-01-13 10:00:18

For #TextModeTuesday, some fonts from my old demoscene days, recreated in 2022 for an example project of my opensource libraries:
Figlet style text generator using big fonts:
demo.thi.ng/umbrella/big-font/

Screenshot of a proportional text-based typeface, with each character made up of box-drawing characters to create gradients within each letter form.
Screenshot of a proportional text-based typeface, with each character made up of box-drawing characters to create gradients within each letter form.
@patrikja@functional.cafe
2025-10-14 14:00:53

Had a great time presenting our paper “Domain-specific tensor languages” today at #ICFP2025 in Singapore 🇸🇬
The images attached are screenshots from the paper as teasers — diagrams for derivative rules, the Riemann curvature 4-tensor in Einstein’s index notation, and the same in diagram form.
📄 Slides:

Riemann curvature tensor in diagram notation: three "input indices" i, j, k and one "output index" l.
The Riemann curvature tensor as a combination of four terms involving partial derivatives and Christoffel symbols.
Wire diagrams showing the derivative rules for tensor composition and tensor product.
@Sustainable2050@mastodon.energy
2025-11-13 19:14:16

Tesla's share of China's EV market shrank to just 3.2% in October, down sharply from 8.7% the previous month and its lowest in more than three years.
reuters.com/business/autos-tra

@pre@boing.world
2026-01-13 23:36:36

Watched Solar Opposites, a cartoon started by Justin Roiland like Rick and Morty with lots in common.
Including Roiland being kicked out after a couple of seasons for his crimes, and being replaced. This time not with an impersonator but just a new more british actor. Stayed pretty much in vibe with his style though.
Four aliens stuck on earth, plus the adventures of the tiny people that one of the aliens shrunk to keep in his wall like an ant farm. And the Silver Cops.
Pretty good fun. Watched the five seasons on Netflix in a couple of weeks. Apparently there's another if I search or wait.
Interesting how the machine can just keep churning it out even when the lead folks disappear. That's the ideal I suppose. Create the show then let it run on without you.
#watching #tv #solarOpposites

@cheryanne@aus.social
2025-12-13 20:59:34

Boots Off Log On!™
An Agrimaster podcast where we talk all things farm business management and leadership...
Great Australian Pods Podcast Directory: greataustralianpods.com/boots-

Boots Off Log On!™ Screenshot of the podcast listing on the Great Australian Pods website
@jom@social.kontrollapparat.de
2026-01-13 16:27:39

The first and only serious alternative to the #iOS App Store #Setapp is already pulling out of Apple's mobile platforms again. This seems exactly what #Apple was aiming for wi…

Screenshot of an email from Setapp by MacPaw. The message informs that Setapp Mobile is being discontinued. The reason is complex business conditions. The service will end on February 16, 2026, and all mobile apps will be removed. Users should back up their data beforehand. Mac and iOS apps in the Setapp subscription remain unchanged; there is information about cancellation and refunds.
@cheryanne@aus.social
2025-10-14 02:42:43

Recover Hard, Recover Smart
Recover Hard Recover Smart is a podcast for athletes recovering from serious injury...
Great Australian Pods Podcast Directory: greataustralianpods.com/recove

Recover Hard, Recover Smart Screenshot of the podcast listing on the Great Australian Pods website
@cheryanne@aus.social
2025-11-14 08:24:57

So Highlands
A provocative podcast in the Southern Highlands of NSW from a long-time local, Nicole Smith, and a self-confessed Sydney transplant, Rachael Oakes-Ash...
Great Australian Pods Podcast Directory: greataustralianpods.com/so-hig

So Highlands Screenshot of the podcast listing on the Great Australian Pods website
@cheryanne@aus.social
2026-01-14 02:42:37

Jack The Story Man
My name is Jack Stephens and I am Primary School Teacher and storyteller from Sydney...
Great Australian Pods Podcast Directory: greataustralianpods.com/jack-t

Jack The Story Man Screenshot of the podcast listing on the Great Australian Pods website