University of Illinois

https://github.com/a16z/halmos

Banger toolkit for static analysis for smart contracts.

@ncitron.eth is the person responsible for this on fc?

Working on building zkTLS infra/products. A ruthless empiricist and meme connoisseur.

http://opacity.network

Just a gurrl🌸🧚…
























































Nothing to see here🌚

I have a friend in there rn
she tells me the campus is super large
how did you get around and connect with people😭?
she's struggling

she's studying environmental sciences
2nd year

I would tell her to do a few clubs and actually stick with some to see if she makes friends or enjoys it.

Easier at the start of semester so I’d cast a wide net.

Physical activity has other benefits as well

Probably worth sitting down and writing what types of friends she wants.

Have fun? Intellectual convos? Gossip about boys? Idk but could be a helpful exercise

okay I'd tell her about all of these tips

I was thinking about onboarding her to farcaster so she could spend her free time her but I'm scared the algo might not be friendly to her

BTW what did you study in uiuc?