bankisan

@bankisan

84 Following

173 Followers

bankisan pfp

I have a friend who is a really strong software eng. in crypto, early in their career, and wants to find a great place to excel with support from solid senior folk. Reach out if you know somewhere that fits this or are interested yourself!

0 reply

0 recast

1 reaction

bankisan pfp

Is there a better alternative to Goodreads? I feel like it gets no love from the parent company and it’s getting worse overtime

1 reply

0 recast

1 reaction

bankisan pfp

Played at Elea Estates in Cyprus on the weekend. Really fun track and 23ºC/73ºF in December is a nice touch as well.

0 reply

0 recast

1 reaction

bankisan pfp

Twin Peaks post reminded me of this Nicolas Jaar mix. Starts with Angelo Badalamenti explaining how the theme song was created and then evolves into such a beautiful mix: https://www.mixcloud.com/consoli/nicolas-jaar-essential-mix-no-bbc-edit/

1 reply

0 recast

3 reactions

bankisan pfp

Diving into a new codebase is like beginning a new fantasy book. You have to learn about all the characters, places, and new facts. The world building takes time but once completed, you’re in flow and time just slips.

0 reply

0 recast

3 reactions

bankisan pfp

I shouldn’t be saying this, being Greek and all, but after a week in Istanbul I must admit the baklava here is much better 🤤

0 reply

0 recast

3 reactions

bankisan pfp

@kenny Catstanbul

0 reply

0 recast

1 reaction

bankisan pfp

For those using Foundry, what's your local dev deployment like? If there's a script, what exactly are you running in the script for the deployment?

2 replies

1 recast

4 reactions

bankisan pfp

If you’re in Toronto, come see me talk about zkShield and building consumer ZK tech 😎 https://x.com/hashcloak/status/1716506389864989007

0 reply

0 recast

0 reaction

bankisan pfp

Day 3 + 4 of learning lean. Abandoning the user manual to work through Mathematics in Lean (https://leanprover-community.github.io/mathematics_in_lean/index.html). Doing some trivial proofs in rings to get better with the syntax.

0 reply

0 recast

0 reaction

bankisan pfp

What’s the process of creating a new channel? For example, I would love to have a Math channel. Does a channel require a maintainer and an advocate to begin?

1 reply

0 recast

1 reaction

bankisan pfp

Day 2 of learning Lean. Proofs are becoming fun again

1 reply

0 recast

2 reactions

bankisan pfp

Where are we at with formal verification of Solidity code? Any new state of the art resources?

1 reply

0 recast

3 reactions

bankisan pfp

0 reply

0 recast

5 reactions

bankisan pfp

Going to Chicago for a weekend fun trip. What’s a **must** do?

1 reply

0 recast

0 reaction

bankisan pfp

If I was to build a build an onchain social game primarily for farcaster users, which L2 chain should I deploy it to?

1 reply

0 recast

1 reaction

bankisan pfp

Looking for 2 others to join myself and another founder at a mini-hack house at Devconnect (Nov 12-20th). Priority given to evm devs, zk folks, or early-stage founders! Some photos of the place:

2 replies

0 recast

4 reactions

bankisan pfp

😤 SafeCounter, on OFAC compliant counter library is an affront to our industry. I will not stand for this. Instead, you can use, CommunityCounter: A counter contract which is community owned, optionally anonymous, with socialized costs https://github.com/bankisan/community-counter

1 reply

2 recasts

3 reactions

bankisan pfp

🚀 I'm excited to release the devnet version of zkShield! Devs can locally deploy a private ShieldAccount multisig and use the demo frontend to interact with it. It's the next step to make zkShield a public good and production ready 📃 Read the paper : https://github.com/bankisan/zkShield/blob/main/PAPER.md

0 reply

0 recast

1 reaction

bankisan pfp

Looking to travel to the best cities for crypto founders and do one month in each. Would love to do coliving with founders as well. Where should I go?

1 reply

0 recast

1 reaction