OOPSLA'23 paper presenting a new pedagogy for teaching Rust's ownership model:

https://arxiv.org/abs/2309.04134

To explain Rust's runtime, they wrote a compiler plugin that simulates a Rust program and visualizes the state of memory at each step. The plugin can visualize programs that are normally rejected by the borrow checker so as to explain undefined behavior. https://i.imgur.com/vzwvxEL.jpg

💯 I think channels are for now the best way to get fast, consistent, iterative feedback on something from Farcasters

I agree and it’s been interesting to see members of @purple collaborate in public for example. Could prove to be a good alternative to Telegram and Discord.

Yeah, for now the pace of channels is way better than Telegram & they feel more social than Discord 

Now is a good time to figure out Channel culture bc it's so undefined

This doesn't really contribute to the discussion, I might be being too pedantic for the analogy

But cosmic ray bit flips are a thing, I would consider them mistakes

It would be interesting to see if they had any impact in learning, specifically LLMs or other AI models

But usually I would expect the result to be a crash if anything or other undefined behavior

if console.log(fun) it's easily Function

but console.log(fun())... best guess: undefined because the fn isn't returning anything

hell yeah https://i.imgur.com/HrPf8qX.png

lol my intention was that this arrow function must return an empty object

so I did

const fun = () => {}

// undefined
wtf why? well turns out it is evaluated as you said as a function scope. So the short hand for returning an empty object is

const fun = () => ({})

🌶️ Hot take - "TIL legal" #1

❌ Don't...
think of legal as an impenetrable shield. It's impossible to eliminate all risk when regulation is undefined (Exb. A: Coinbase was  unblvably diligent)

✅ Do...
think of legal as (1) a lens to see your risks (2) a design partner to help create risk-minimized products https://i.imgur.com/ykkUMau.jpg

You might have better luck with the hub-web package (in the same repo) which only has browser deps

I've gotten all the way to where I'm submitting makeCastAdd to a client (getHubRpcClient) and it errors out with this:

TypeError: undefined is not an object (evaluating 'import_grpc_web2.default.grpc')

Any ideas?

How would you rate your Protocol Literacy, on a scale of 1-10?

(terms left intentionally undefined)

depends on the protocol  (← (terms left intentionally undefined))

I def agree with this sentiment. It’s the mechanics of how that could actually work, especially wrt decision making which is obviously essential for any org, that is super interesting to me. Like distilling decision making down to fundamental first principles then reconstructing from there

decision-making can be cut off and pivoted to algorithmic, generative DAOs if the particiation parameters are formally specified. e.g. Ethereum nodes.

This is interesting…sort of raises the question around what constitutes strategic decision making vs rules-based decision making. 🤔

In the latter parameters can be formally defined and programmatically implemented, but in the former I think there will always (necessarily) be undefinable parameters

Mild is a function of the arrogance/great ratio. 

Da Vinci: Pretty mild
Andrew Tate: no mild at all
Elon? TBD~

Are you somehow implying that Andrew rate has done good things lol

No mild at all is an undefined ratio for infinite arrogance / nothing of value so... No..  I'm not. But I'm glad we cleared it up because I want there to be no confusion lol

ok fine, technically undefined. But positively so

Why "web3" is ngmi https://i.imgur.com/9ld1bvW.png

@perl great writing that aligns to my thinking that web3 paradigms are a toolkit to be used to create better products, not a product in itself

Karthik Senthil's cast has been saved as a perl.

Peter Kim currently has undefined perl points.

View Peter Kim's collection of saved perls here: https://perl.xyz/profile/peter?perlId=1659

Elon isn't rich because of his Twitter account — but he's the richest person on Earth becuase of his Twitter account?

I understand- there isn’t a good way to ask this. The “underground” account market would max on a 1M follower account with a random niche. As selling accounts becomes normalized (excluding his name brand) there is an undefined value for followers/niche

@bli / following