Charles Hoskinson
@IOHK_Charles
Dire Wolf Mode | Sateré-Mawé Warrior | Honorary Berkutchi
8830 AC64 17F2 5164 195C 05DE 21E3 E377 13E1 5586 | CEO of IOG and King of the Rats
1.6K Following 1.1M Followers
UPDATE "Cardano $ADA has a very large community, significant market cap, but we're not seeing that translate into DeFi TVL or DeFi activity. That's an opportunity, it's something I was interested in for a while. RealFi can be part of changing that." Says RealFi ceo John o Connor
Show more
I haven’t been as excited about a programming language since when I first started learning Rust.
Lean4 is an extremely powerful language. However, one thing it’s missing is good tutorials and examples! So I built an online Lean4 learning tool!
I predict Lean becoming one of the most popular languages in the coming years amongst AI labs, blockchain researchers, and agents. It’s what powers verifiable auto-research.
Lean4 increases the velocity at which humanity can make mathematical discoveries.
To be ahead of the curve, learn some lean today!
Open to feedback and suggestions! 😅
Show more
If you're still not in the Midnight Discord...
what are you doing?
👉
Concept Art for Moriarty
When you know, you know
New pre-release for Foreman: Return of the ForeDi: Pel has come to Foreman.
Devs versus Builders
@toly What do you think I've been doing for the last five years :)
"Why are runes always ancient, why'd we stop making new runes?"
"Brother. we made runes so complex that sand started thinking"
bar crawl where selective disclosure is the most important feature
It’s Saturday night. I decide to check up on Bad Holly … She’s all mobbed up again. What are they up to? 🤔
They’re on the move, I follow … turn, straight, turn, straight, turn straight to the bar, lmao 😂 🤣 guess she had a busy week 🤗
Show more
That's why Midnight Exists!
(last one for today)
That's Why Midnight Exists.
It's what he would have wanted...
@corroonian @MidnightCitySim @IOHK_Charles Got spawned yesterday! 👀💪😈
Join the discord (Midnight Stage) and who knows, maybe you'll be next! 🥹
Party in the City and Bad Holly's right in the middle of it 😈 But, what are they doing??? Flash mob? Group selfie? Waiting to pay cover? Family table no rezzy? Guess I’ve gotta keep watching 😜😂😍
Show more
That's why Midnight Exists!
So, murdering children is justice now? People have lost their minds
So this is what we are doing now? Are we violating the juror's privacy rights and then attacking him for his decision? The media continues to be scum.
It's 2026; you are forced to be on a jury. You make a decision. People who don't like it can publicly harass you.
Show more
EXCLUSIVE: The holdout juror in the Lindsay Clancy trial had a history of domestic violence allegations, the NBC10 Boston Investigators have learned through court documents and interviews with family members. Read the full investigation here.
Show more
Here's a good summary of the Navier-Stokes scandal
Hello, hello everyone! 💃
⛏️💎 Minners Cave is now LIVE... and the miners are working faster ⚡
Who else loses sight of their Agent while exploring Miners Cave? 😅
#MidnightCity#, thanks for including that "Find Agent" button! 😂😂😂
The updates keep coming in the city! 🤖 🌃
Show more
It's exciting to see Jolt enter the lattice space. We started Nightstream last year with the Linux Foundation
And published ProtogaLattice: Constant-Round Lattice-based Folding for General Polynomial Relations
Show more
This is a brilliant piece of work and the fulfilment of a huge effort from the Jolt team.
Jolt has always been a counter-narrative play that challenged the perceived canonical superiority of hash-based SNARKs. There are extreme advantages working with a proof system that enables algebraic homomorphisms and I'm very excited to see how the field of lattice SNARKs develops.
Show more
