Peppi Littera

970 posts

Peppi Littera

Peppi Littera

@peppilittera

🎭Azpt5umoSR6jqvKSDfH6YCYf/XIWHZbe2dznRNkiIicq1🎭 now @informalinc // co-founder of @sardexnet // still trying to make things happen

Sardinia Katılım Şubat 2008
3K Takip Edilen1.1K Takipçiler
Todd Fisher
Todd Fisher@taf2·
Good luck getting tool calls to work … spent 4 hours without internet and multiple qwen 3.5 models on m4 max 128gb - felt like I was running an intel laptop from 2019 again melting and quickly running out of battery. Single shot was decent - once it tried doing any amount of complex tool calling either via open code , codec or Claude it was failing hard
English
1
0
0
83
antirez
antirez@antirez·
If you want, you can't just run a 1T model from SSD, but a 10T model from manual pen and paper math. The fact is that even small LLMs like Qwen 3.5 35B are already almost too slow for serious usage in high end Mx Apple Silicon. Running big LLMs slow is nice, but useless.
English
19
5
115
17.3K
Peppi Littera retweetledi
Cloudflare
Cloudflare@Cloudflare·
Italy’s "Piracy Shield" forces providers to block content in under 30 minutes without judicial oversight, which leads to overblocking (taking down legitimate websites alongside infringing ones). We're appealing a €14M fine to protect the Internet from automated censorship and ensure infrastructure providers aren't forced to overblock. cfl.re/4cMh0WA
English
78
390
2.4K
110.7K
Peppi Littera retweetledi
Ethan Buchman (🐝,🦇)
Ethan Buchman (🐝,🦇)@buchmanster·
We're going after payments from first principles. Mobile-first signing. Fully private on-chain (thank you @penumbrazone). Easily allocate to DeFi yield. Pay and get paid in yielding assets. Deposit from @base or across the EVM ecosystem. With clearing via the Cycles Shielded Graph coming soon. The future of money is private and decentrally cleared. Cycles Pay is coming. A payments experience you couldn't even dream of.
Cycles@cyclesmoney

x.com/i/article/2021…

English
26
33
163
12.6K
Peppi Littera retweetledi
Ethan Buchman (🐝,🦇)
Ethan Buchman (🐝,🦇)@buchmanster·
We're hiring a cryptographer and protocol lead to join our small team @cyclesmoney Help us take shielded pools to the next level with our Shielded Graph design. Our vision is a new kind of privacy preserving hyper-capital-efficient payments and finance platform. Link below
English
11
10
84
10.1K
Peppi Littera retweetledi
Enrico Bottazzi | enrico.eth
This week, I resigned from my job at the Ethereum Foundation and will take a break from crypto for a while. This occasion gave me the chance to think about how crazy the last four years working in crypto have been. Here are my thoughts: leku.blog/posts/crypto.h…
Enrico Bottazzi | enrico.eth tweet media
English
45
12
296
36.1K
Peppi Littera retweetledi
StarkWare 🥷
StarkWare 🥷@StarkWareLtd·
1/ S-two is live. The fastest prover in the world, and the first to make client-side proving actually possible on everyday devices. Now open to all, and coming soon to Starknet 🧵
English
111
217
735
223.9K
Peppi Littera retweetledi
Informal Systems
Informal Systems@informalinc·
0/ Announcing Malachite's bold 1-year roadmap - incorporating: seamless EVM compatibility, multi-proposer design for a 10x throughput improvement, 30% reduction in latency, and more!
Informal Systems tweet media
English
2
20
60
13.4K
Peppi Littera retweetledi
Jay Anderson
Jay Anderson@TheProjectUnity·
The ancients understood the profound importance of acoustics/tones, they understood how to make the stones sing.
English
271
2.5K
15.7K
822.4K
Peppi Littera retweetledi
Cycles
Cycles@cyclesmoney·
0/ Scottish free-banking, Clearinghouses, & the Scottish Enlightenment
Cycles tweet media
English
1
5
12
1.2K
Peppi Littera retweetledi
Gabriela Moreira
Gabriela Moreira@bugarela·
Quint girl (me) tries consensus for the first time and this is what happened!!!! 🤯 Mysticeti consensus was challenging to learn, and using Quint to understand it made all the difference. And as a result of my learning, the world gets a unambiguous executable spec of it 🔗👇
English
3
5
21
1.5K
Peppi Littera retweetledi
jehan
jehan@JTremback·
What if you could run an EVM smart contract network, but with sub-second finality, big blocks, and high throughput? We’ve been working on some experiments at Informal to enable running Ethereum smart contracts on top of our next-generation consensus protocol, Malachite.
English
5
13
56
15.7K
Peppi Littera retweetledi
Informal Systems
Informal Systems@informalinc·
In blockchain, no one succeeds alone. That's why we partner with teams, invest in promising projects and incubate groundbreaking ideas. Ready to accelerate together?
English
2
9
22
1.2K
Peppi Littera retweetledi
Gabriela Moreira
Gabriela Moreira@bugarela·
I was on a podcast 🎙️✨ Talking all about Quint and why formal verification is so amazing. Thank you @gogoDiegoCrypto for inviting me and being an amazing host 💜 I'm still a newbie on this stuff, but I enjoyed it a lot. Check it oooout 👇
MACROCOSM@MacrocosmPod

Quint: A modern and executable specification language w/ @bugarela 00:00 Quint intro 07:29 Background 12:05 Formal Verification 19:20 TLA+ 24:05 Languages 25:51 TLA+ vs Quint 29:07 using Quint 38:48 Misconceptions 48:43 Check it out!

English
2
5
20
1.3K
Peppi Littera retweetledi
Informal Systems
Informal Systems@informalinc·
Quint was an amazing tool to secure @leftCurveSoft’s Jellyfish Merkle Tree 👯‍♀️ Twin testing 🎯17 invariants ⚙️ Millions of simulations ✅ Model checking 🪲 Very subtle bug found Read the case study: bit.ly/41IPy64
English
1
6
14
5.6K
Peppi Littera retweetledi
Charlie Morris
Charlie Morris@chtmorris·
Late last year, a mind-blowing whitepaper was released by @informalinc and co-authored by the likes of @buchmanster and @socrates1024 Cycles Protocol: A Peer-to-Peer Electronic Clearing System I’ve been wrapping my head around it. Let’s explore “tldr style” 1/n 🧵
English
11
12
88
13.2K
Peppi Littera
Peppi Littera@peppilittera·
Happy to see Quartz (of which I am an humble contributor) being used and adopted. See below for more p.S. Big shout-out to @0xfairblock for the work they put in this!!!
Fairblock@0xfairblock

Titans are attacking - and Paradis Island needs more walls! FairyCycles combines MPC + TEE, giving users stronger walls to protect their confidential computations. Read more about our work on secure MPC + TEEs with @cyclesmoney' Quartz SGX sidecar, here: github.com/Fairblock/fair…

English
3
0
8
44