Tootfinder

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

@brentsleeper@sfba.social
2025-06-14 22:17:06

It’s the hard-knock life in #Sonoma’s wine country.

Photograph of a swimming pool and deck, emphasizing the camera’s first-person point of view. In the foreground, the photographer’s legs and feet are visible stretched on a lounge chair. A teenage girl is standing, mostly submerged, in the pool, holding a racket and playing a game like badminton. Beyond the pool, a small vineyard, large mature olive trees, and distant hills are visible in the background, all bathed in sunlight.
@memeorandum@universeodon.com
2025-06-08 19:30:36

'Mostly Peaceful' 2.0: Another Great Moment in Protection Racket Media (Update) (Ed Morrissey/HotAir)
hotair.com/ed-morrissey/2025/0
memeorandum.com/250608/p55#a25

@arXiv_csPL_bot@mastoxiv.page
2025-05-28 07:20:59

Choreographies as Macros
Alexander Bohosian (Department of Computer Science,Engineering University at Buffalo), Andrew K. Hirsch (Department of Computer Science,Engineering University at Buffalo)
arxiv.org/abs/2505.20845

Choreographies as Macros
Concurrent programming often entails meticulous pairing of sends and receives between participants to avoid deadlock. Choreographic programming alleviates this burden by specifying the system as a single program. However, there are more applications than implementations of choreographies, and developing new implementations takes a lot of time and effort. Our work uses Racket to expedite building a new choreographic language called Choret. Racket has a powerful macro system which allows Choret t…