$attenuate's stack effect looks like this:

(Cap Quotation -- AttenuatedCap)

The Joy-inspired semantic model plays really well with ideas like capability attenuation as well. We can use quotations evaluated in a special environment to attenuate the value before the entity's behavior is executed. For example this attenuation adds 1000 to each incoming value to the "box" entity:

```
(
0 field -> x
[] field -> history
(
-> v
v x set!
history get v cons history set!
) -> M
) $e (1000 add) $attenuate -> box

12 box $message
```

The precise Entity semantics are shamelessly stolen from Third/Clod (https://git.syndicate-lang.org/ehmry/third/src/branch/clod)
When a message is delivered, a fresh temporary data stack is initialized, and the message value is placed on top, then the Entity's `M` behavior is unquoted, placed on top of the K stack and evaluated in the Entity's own local environment.

Some notes:

`->` is the only infix operator, it binds the top of the data stack to a symbol following it.

`field` takes whatever's on the top of the data stack and adds it to the Store, and returns an address for the value. get/set! take this addr and get/set! the Store value accordingly.

`$e` is the entity spawn command, it takes a quotation and executes it, then stores the resulting environment for later use, and then pushes a capability to the newly minted entity on the data stack.

My Syndicate Actor Model catlang managed to spawn it's first entities and send it's first messages!

It's implemented in Racket on top of a remix on the CESK machine.

Anybody here in Fedi use #mailfence for email? I'm having a weird situation where I can't reach the server from my Mac, but it's fine on my iPhone. The connection times out on the Mac

Iphone is on iOS 27, and I can get to mailfence on the app, thru Safari and DDG browsers.

Mac was on MacOS 26.2, and neither Safari or DDG could get to the server. Upgraded to MacOS 27 to see if that fixed things, but fun fact, no!

Any #fedihelp would be appreciated!

I know there's a lot of news but is anyone talking about how bad this Microsoft outage today is? I haven't had work email since five hours ago.

Gov. Shapiro just got a massive hard on. Gonna spend $500B to rebuild a bridge in a week.

https://www.nbcphiladelphia.com/news/local/tacony-palmyra-bridge-stuck-open-cargo-ship-crash-new-jersey-pennsylvania-thursday/4496427/

#Philly

RE: https://social.growyourown.services/@FediTips/117605017875221372

This is important because I can’t interact with people’s posts in other languages and it makes us all look silly

#RayBradburyChallenge day 24

#Poem: Anna Marie Hong: Sijo for & after Hwang Chini https://cdn.prod.website-files.com/59c2da476a389000016bfa13/6a541c2da52b15bf92abf477_V75N1p103-Sijo%20for%20%26%20after%20Hwang%20Chini-Hong.pdf

#Essay: Jen Kinney: Seven Days At The Bin Store https://defector.com/seven-days-at-the-bin-store

#Story: Ayşe Papatya Bucak: The Writer Writes from Prison https://copper-nickel.org/journal/spring-2025

I am halfway through this book and I am so excited for every chapter! I need a book club of linguistic history nerds to discuss it with!!! Is that you?

Why Q Needs U by Danny Bate
https://dannybate.com/book/

Poor Roger. Hearing loss due to tinnitus must be awful! I'm glad I got to see him with Duran Duran one final time a few weeks ago.

https://www.bbc.co.uk/news/articles/crwy499k504do

View from my office right now 😬

lol @ trump wanting tim apple to be the new ceo of nvidia

Pea sized hail in Harleysville in November

Thunderclap just now so loud it made me flinch and the dog run to the basement.

#Microsoft cloud issues will turn out to be caused by:

Oh, and re the Humble Bundle thing, probably best to make sure it doesn't have any of your payment info.

And make sure you have a copy of your purchases.

And maybe delete your account 😬

Not sure if its Baader-Meinhof or AI echoes but I'm suddenly seeing so many posts about people hitting stationary objects in the road and being surprised when they can't blame the people who dropped them for not avoiding a collision.

@atro any specific recs you like to start learning more about linear logic and subtyping?