Dimka Yilrit

412 posts

Dimka Yilrit

Dimka Yilrit

@DimkaYilrit

Computer scientist,software engineer, web developer....

Jos, Nigeria Katılım Eylül 2022
628 Takip Edilen210 Takipçiler
Dimka Yilrit retweetledi
devlongs
devlongs@devlongs_·
gean update! we have just wrapped up devnet-3. solid progress across consensus, stability, and sync. Now moving into devnet-4 as specs stabilize and interop begins. Steadily progressing towards testnet.
English
1
7
28
763
Dimka Yilrit retweetledi
devlongs
devlongs@devlongs_·
After completing Devnet-3 work, we have started preparation for Devnet-4. Focus for this phase includes: 1). recursive PQ aggregation via leanVM 2). coalescing partial aggregates into one final aggregate per message 3). one-aggregate-per-message block semantics
English
1
2
10
162
Dimka Yilrit
Dimka Yilrit@DimkaYilrit·
@blockfuselabs we’re building @geanclient, a redesigned Ethereum Beacon Chain consensus client. We’re currently In Devnet 3, where we’re introducing the aggregator role In earlier devnets, the validator processing a block also handled attestation aggregation. @leanEthereum
Dimka Yilrit tweet mediaDimka Yilrit tweet media
English
0
1
7
38
Dimka Yilrit retweetledi
gean
gean@geanclient·
The GEAN TEAM
gean tweet media
English
20
24
72
4.4K
Nick Mudge 💎
Nick Mudge 💎@mudgen·
Oh my gosh! I thought diamonds and ERC-8109 Diamonds, Simplified wasn't going to change, or not much. Boy was I wrong! Major breakthrough today. The diamond standard (ERC-8109) is going to change drastically. But it is good -- it's going to be even better. Believe it or not, diamonds are going to be significantly simpler and much more gas efficient to deploy and upgrade!
English
7
1
31
2.4K
Gordian
Gordian@0xgordian·
twitter is cool. but it’s 100x better when your timeline is full with people who code and build things. if you’re into tech, AI, startups, product, design, web dev, web3, or programming, say hi 👋
English
1.1K
157
3K
148.9K
I D R I S
I D R I S@olanetsoft·
Most ZK and privacy content is made for people who already understand ZK and privacy. I'm building the opposite. Tutorials, explainers, and deep dives for developers starting from zero. First batch dropping soon.
English
12
9
85
2.3K
ogazboiz
ogazboiz@AkpoloOgaga·
Just Won the @web3bridge in-house Arbitrum hackathon with Mindchain AI! Built a decentralized AI demo on Arbitrum Sepolia w/ Stylus contracts: on-chain credits to gate Gemini LLM + MNIST inference, community-submitted knowledge base, Privy wallet onboarding, and a React demo where you can buy credits, draw digits, and chat with the AI. Drew digits, bought credits, asked the AI questions – all trustlessly metered on-chain. Live demo: mindchainai.vercel.app Learned a ton shipping full-stack (Rust contracts + React and so on) in a sprint. Decentralized AI is here 💫 #Web3Bridge #Arbitrum #Stylus #DecentralizedAI @arbitrum
ogazboiz tweet media
English
21
6
64
1.7K
Dimka Yilrit
Dimka Yilrit@DimkaYilrit·
Just set up a full Ethereum node on my local machine. Execution Layer: @ethrex_client (Rust-based EL client) Consensus Layer: @sigp_io Lighthouse Both clients synced successfully and are now exchanging data seamlessly Next: Deploying smart contracts to my own node
Dimka Yilrit tweet mediaDimka Yilrit tweet mediaDimka Yilrit tweet mediaDimka Yilrit tweet media
English
1
0
2
101
Imade.
Imade.@ImadeIyamu·
BASE AI Safety & Ethics Fellowship 12-week remote fellowship designed to develop Black researchers, practitioners and leaders in AI Safety, AI Security, AI Governance Must have background or undergrad degree in computer science, cybersecurity, information security, policy, law, political science, economics, sociology, etc baseresearch.org/base-fellowship
English
17
213
909
89.1K
Fede’s intern 🥊
Fede’s intern 🥊@fede_intern·
we gave ourselves 10 days at @class_lambda to recover and focus. i'm gonna be doing this: - start a new book about gleam, the programming language - why formal verification matters now (in most cases i was against using them until recently) - design the new version of concrete, our programming language, using lean to build a formally verified kernel with linear types, algebraic effects, and security capabilities - write a tutorial on how to install openbsd and what makes it special to me - do a deep dive on one smt solver or theorem prover - sketch out thoughts on without napeoleon was crucial for the development of free markets - write a post about the objectives of philosophy and the death of consciousness - read more nick land, sloterdijk, and mark fisher - Organize 2026 objectives for every company in @ergodicgroup - write a brief introduction to leptokurtosis and taleb’s ideas about fat tails, decision making, what's ergodicity and how non ergodicity is connected to fat tails let's see how it goes. i'm normally very productive in this time in the year since i can escape from day to day life
English
19
0
51
5.9K
Dimka Yilrit retweetledi
Scar Face | Blockfuse Labs
Scar Face | Blockfuse Labs@ScarFaceLabs·
Watch out for Blockfuse Labs The wave of Web3 developers coming out of @blockfuselabs are dangerously competent with industry relevant skills With the support of @BasedWestAfrica, Cohort III wasn’t just successful, it set a standard Builders. Thinkers. Executors. The ecosystem is about to feel it
Scar Face | Blockfuse Labs tweet mediaScar Face | Blockfuse Labs tweet mediaScar Face | Blockfuse Labs tweet mediaScar Face | Blockfuse Labs tweet media
English
0
8
15
341