Tootfinder

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

No exact results. Similar results found.
@fanf@mendeddrum.org
2026-05-28 14:42:03

from my link log —
Creusot helps you prove your Rust code is correct.
github.com/creusot-rs/creusot/
saved 2026-05-28

GitHub - creusot-rs/creusot: Creusot helps you prove your Rust code is correct.
Creusot helps you prove your Rust code is correct. - creusot-rs/creusot

@jom@social.kontrollapparat.de
2026-04-30 20:02:26

Jedes Gasthaus sollte mindestens genauso viel Liebe in die alkoholfreie Bierauswahl stecken, wie in die andere. Christians Gasthaus zeigt, dass das geht. 🍺 Sehenswert!

Zwischen Spessart und Karwendel: Christians Gasthaus ohne Alkohol - hier anschauen
Seit 1. April ist der Schiederhof in der Gemeinde Wiesenfelden ein 'trockenes' Wirtshaus: kein Bier, Wein oder Schnaps steht mehr auf der Karte. Der Grund: Der Wirt Christian Groß ist alkoholkrank. Mehrmals hatte er schon Rückfälle, weil Alkohol in einer Wirtschaft immer verfügbar ist. Der Suchtdruck war einfach zu groß - vor allem, wenn der Stress wieder einmal überhandnahm. Zusammen mit seiner Familie hat Christian deshalb eine Entscheidung getroffen: Ihr Waldgasthof wird alkoholfrei! D…

@cdarwin@c.im
2026-03-29 05:13:42

“Mike Johnson, House Republican extremists, and Donald Trump are why people missed their flights on Saturday.”
bsky.app/profile/chrisgeidner.

Chris Geidner (@chrisgeidner.bsky.social)
This “lawmakers remain at a stalemate” framing is all over the place and is so bad. While technically accurate, it’s misleading and a disservice to readers. If Senate Rs, Senate Ds, & House Ds agree to something, but House Rs keep that deal from getting to Trump, the framing should reflect that.

@aardrian@toot.cafe
2026-05-29 12:19:50

“Accessibility question: is nesting interactive elements bad?”
christianheilmann.com/2026/05/
Yes, bad.
• Reduced hit area;
• Extra tab-stops;…

@NFL@darktundra.xyz
2026-05-29 12:50:15

Niners RB Christian McCaffrey shrugs off workload concerns entering age-30 season nfl.com/news/niners-rb-christi

Niners RB Christian McCaffrey shrugs off workload concerns entering age-30 season
As Christian McCaffrey approaches his 30th birthday next week, the San Francisco 49ers RB isn't concerned with his durability after leading the NFL in touches last season. 

@EarthOrgUK@mastodon.energy
2026-05-30 03:23:03

On Making Christmas Greener - Twelve top tips that the Internet gave to me - for a green Xmas... Have fun, save money, do the right thing by the planet - triple win! #greenXmas - earth.org.uk/note-on-greenin…

On Making Christmas Greener
Twelve top tips that the Internet gave to me - for a green Xmas... Have fun, save money, do the right thing by the planet - triple win! #greenXmas

@brian_gettler@mas.to
2026-04-29 19:43:06

Crachat, "La dérape" (2024)
#MusicWomenWednesday

@servelan@newsie.social
2026-05-29 15:53:36

Philadelphia poised to square off against Trump in Third Circuit over future of slavery exhibit | Courthouse News Service
courthousenews.com/philadelphi

@cdarwin@c.im
2026-03-29 23:06:53

I feel like—from all sides—this case is The Big Moment for SCOTUS.
Have they completely abdicated or is there any semblance of separation of powers and rule of law?
If they side with Trump it feels like a death knell of sorts.
... If we aren’t there already.
-- Kendyl Hanks

Chris Geidner (@chrisgeidner.bsky.social)
NEW: The birthright citizenship arguments will show what Donald Trump has done to the United States. Trump's executive order to end birthright citizenship is at the Supreme Court on Wednesday. The case will test his anti-immigrant authoritarian project — and the court. Today, at Law Dork: https://www.lawdork.com/p/birthright-citizenship-arguments-preview

@servelan@newsie.social
2026-04-30 21:09:05

Yeah, we know.
Trump’s anti-LGBTQ crusade violates U.S. and international human rights laws, review finds - LGBTQ Nation
lgbtqnation.com/2026/04/trumps