Omar

@0mar

189 Following

55 Followers

Dogan pfp

My quick thoughts on Mina, with diagrams:

2 replies

8 recasts

43 reactions

Omar pfp

Will it be recorded and published anywhere?

0 reply

0 recast

0 reaction

Greg pfp

all the projects built this weekend at @ethglobal singapore 🔥🔥

8 replies

14 recasts

96 reactions

David pfp

@promptrotator.eth

seems like there is a new paradigm emerging around search and planning. two separate but related takes on the topic: https://x.com/fchollet/status/1802801425514410275 https://www.youtube.com/watch?v=eaAonE58sLU

0 reply

3 recasts

4 reactions

Trigs pfp

Is this the future? Self hosted AI agents that parse incoming messages to notify users of content they are likely interested in or obligated to respond to. Who can keep up without it anymore?

3 replies

4 recasts

10 reactions

avi pfp

https://github.com/warlock-labs/noether

0 reply

1 recast

3 reactions

Agost Biro pfp

I've been studying number theory and abstract algebra as a hobby, but I got frustrated with not being able to verify my proofs, so I started learning the Lean proof assistant. There are many ways to learn Lean: https://leanprover-community.github.io/learn.html Skimming the resources, the Mathematics in Lean in book clicked the best for me so I went with that: https://leanprover-community.github.io/mathematics_in_lean/index.html Specifically, I got convinced by the Infinitely Many Primes section which is about halfway through the book. It's a simple theorem, but the rigorous proof is not trivial: https://leanprover-community.github.io/mathematics_in_lean/C05_Elementary_Number_Theory.html#infinitely-many-primes

1 reply

2 recasts

7 reactions

Omar pfp

Is advanced copy still available?

0 reply

0 recast

0 reaction

Omar pfp

Just finished this book after the recommendation from Vitalik Buterin I liked the concept of implicit feudalism. Being aware of it is a tremendous step towards going forward. But for me I wished it has more technical examples about self governance. One last thing, some information about Middle East are not accurate.

0 reply

0 recast

0 reaction

Omar pfp

Oh I'm sorry for being late. Just read it now. Thanks for clarification.

0 reply

0 recast

0 reaction

Omar pfp

Is there a discord server or a telegram group for this community?

0 reply

0 recast

0 reaction

YB pfp

The crypto version https://x.com/pourteaux/status/1047143498108014592/photo/1

0 reply

2 recasts

3 reactions

HH pfp

Firn was based on this innovation btw https://www.youtube.com/watch?v=3n25k9eAhjM

0 reply

1 recast

3 reactions

kazani.base.eth 🦂 pfp

kazani.base.eth 🦂

Programming ZKPs - From Zero to Hero This post shows how to write basic Zero Knowledge Proofs (ZKPs) from scratch, and how to program group signatures yourself. https://zkintro.com/articles/programming-zkps-from-zero-to-hero

0 reply

1 recast

2 reactions

avi pfp

society when we have verifiable coprocessors for everything https://warpcast.com/vitalik.eth/0xda32fed8

0 reply

4 recasts

10 reactions

kepano pfp

1. what tools do you use in conjunction with Obsidian to create/edit/view .md files? 2. how is interoperability of Markdown files useful to you?

9 replies

81 recasts

87 reactions

Aar Aalto pfp

All math books should be this beautiful.

17 replies

35 recasts

57 reactions

avi pfp

plonk in a nutshell

1 reply

1 recast

11 reactions

Vitalik Buterin pfp

Vitalik Buterin

When debugging a ZKP verifier, make sure to keep checking not just that the proof verifies on valid inputs, but also that the proof verification returns an error on invalid inputs (or with nonsensical tweaks to the verification mechanism).

77 replies

621 recasts

2676 reactions

a16zcrypto pfp

One of the top 10 quotes from Read Write Own by @cdixon.eth 🟧

2 replies

10 recasts

31 reactions