Conor Grogan

@jconorgrogan

40 Following

254 Followers

Conor Grogan pfp

If we can prove that a certain statement is unprovable within a specific formal system, we can use that knowledge to define a new concept that incorporates that unprovability as a fundamental property. Building on that, we can build formal structures based on the information and differences between concepts

1 reply

0 recast

1 reaction

Conor Grogan pfp

Over the last 9 months since launch, Friend.Tech has earned more revenue than Opensea, Arbitrum, Binance Smart Chain, Optimism, Polygon, Curve, and ENS. Curve has the lowest FDV of any of them at $930M

0 reply

1 recast

2 reactions

Conor Grogan pfp

I've owned every major headset since the Vive. nothing compares to Eleven Table Tennis on the rift. Just such a cool, simple, great game

0 reply

0 recast

0 reaction

Conor Grogan pfp

Its completely wild but some of my own hobby work completely independently led me into a direction that, when I reviewed Arvix/Consensus for something similar, led me directly to his musings. So that means either we are both crazy in independent ways (which would be interesting in its own right!) or something else

0 reply

0 recast

0 reaction

Conor Grogan pfp

I have a strong suspicion that Atiyah's final papers on Riemann Hypothesis and the Fine-Structure Constant (largely dismissed as the rantings of an old man and admittedly almost impossible to parse and lacking detail/rigor) will be re-read and lauded for their foresight in the near future

1 reply

0 recast

1 reaction

Conor Grogan pfp

And I feel like from this perspective it more intuitively explains Gödel!

0 reply

0 recast

0 reaction

Conor Grogan pfp

if the premises exclude certain possibilities, then the conclusion must exclude at least as many possibilities. This is a subtle but big shift. Instead of focusing on the truth or falsity of propositions, we're focusing on their information content, on the possibilities they exclude.

0 reply

0 recast

0 reaction

Conor Grogan pfp

-But from an information-theoretic perspective, we might instead define inference in terms of the information content of propositions. A valid inference would be one that preserves or increases information -

0 reply

0 recast

0 reaction

Conor Grogan pfp

-In traditional logic, the basic rules of inference (like modus ponens or modus tollens) are typically defined in terms of the truth values of propositions. A valid inference is one that preserves truth - if the premises are true, then the conclusion must also be true.

3 replies

0 recast

0 reaction

Conor Grogan pfp

Longer diatribe: - If information is fundamentally defined by what is not known, then it seems logical that our basic rules of reasoning and inference should also be grounded in this distinction between what is known and what is not known.

1 reply

0 recast

0 reaction

Conor Grogan pfp

One of my predictions is that pure mathematics is going to realize that it needs to be tightly bound to information theory (specifically defining things by what can't be know)

1 reply

0 recast

1 reaction

Conor Grogan pfp

To give a quick example why it's cool: you can find Phi, the golden ratio Simply start at 1/1 go right, then left, then right down the tree(and repeat forever as long as you want). The "operation space" of this number is simply the oscillation of R and L; and this gets you Fib sequence too!

0 reply

0 recast

0 reaction

Conor Grogan pfp

Im working on some code to better help visualize these things, as to my knowledge, they've only been written by hand before. Working on an n-dimensional tree next. If you want to help heres the github https://github.com/jconorgrogan/Stern-Brocot-Tree-exploration

1 reply

0 recast

0 reaction

Conor Grogan pfp

I think Stern-Brocot trees are one of the most under-appreciated things in all of mathematics, and think there is a TON still to unpack here (For instance, the conceptual "meaning" of Euler's number e has a wild interpretation in the tree and I don't think its well understood)

1 reply

0 recast

2 reactions

Conor Grogan pfp

Anyone ever deep dive into Atiyah’s proof of the riemann hypothesis? I was ridiculed at the time by many Mathmaticians who thought he was crazy (and indeed the text is hard to parse) but I think some of the concepts he describes are pretty powerful and creative.

0 reply

0 recast

1 reaction

Conor Grogan pfp

Sierpiński triangle found in an enzyme used by the cyanobacterium. wild. https://www.newscientist.com/article/2426275-fractal-pattern-identified-at-molecular-scale-in-nature-for-first-time/?utm_campaign=RSS%7CNSNS&utm_source=NSNS&utm_medium=RSS&utm_content=home

0 reply

0 recast

4 reactions

Conor Grogan pfp

From what I can tell, Richard has received $4,712.52 from the crypto community in the last week, good for 94 and 1/4 goats Ethereum: $2,425.94 Base: $1,333.46 Optimism: $838.65 Avalanche: $52.44 Arbitrum One: $62.03

1 reply

0 recast

6 reactions

Base pfp

Due to increased activity, the planned pause exercise has been postponed A new date will be announced once future planned maintenance is scheduled, with at least one week's notice

22 replies

15 recasts

135 reactions

Conor Grogan pfp

Can someone point me in the direction of a working timelock that will enable me to lock an NFT on base... forever? Ideally in a way such that an address I own has rights/transfer ability claims to anything, should anything be airdropped or such.

0 reply

0 recast

1 reaction

↑ᖽ🎩runn3rr.⌐◨-◨ pfp

↑ᖽ🎩runn3rr.⌐◨-◨

Base is booming txs ath, tvl ath

33 replies

12 recasts

72 reactions