dcbuilder.eth ⚪️

I have been claude coding away for the last 3 days on a refreshed version of my personal website dcbuilder[.]dev, in it I have added a new jobs and candidates board because I have many friends both looking to fill roles and looking for opportunities.

@cryptodavidw cool! Added to reading list, god bless AI, finally blazing through a huge backlog

ever wondered how to work with the clean framework to formally verify arithmetic circuits in lean 4? Take a look at this write up that uses clean to formally verify circom's poseidon implementation. blog.zksecurity.xyz/posts/poseidon…

35 million names. One ecosystem. ENS-powered names are spreading across every corner of crypto. May 2026 ecosystem snapshot ↓

Base is partnering with Succinct to bring zero-knowledge proofs to Base Azul. SP1 will prove $7.4 billion in deposits as @Base joins a growing list of major L2s adding validity proofs to their roadmap with Succinct.

@visegrad24 At least Sweden is waking up

One Somali immigrant is estimated to cost the Finnish state €951,000 over a lifetime. One Iraqi migrant: €697,000. A native Finn contributes a net +€3,400 per year. It takes roughly 280 working Finns to offset a single Somali arrival. 🇫🇮🇸🇴 ➡️ #google_vignette" target="_blank" rel="nofollow noopener">visegrad24.com/articles/the-f…

coding with Codex 5.5 instead of Claude 4.7

Ethereum is turning privacy into a first-class primitive. Frame transactions (EIP-8141) + 2D nonces remove the need for intermediaries: fees can be paid from the withdrawal itself, no third party relayer or doxxed account needed anymore. Next steps include: - cheaper deposits/withdrawals (more throughput, cheaper proving) - enshrined privacy at L1 More details in the ethresearch post: ethresear.ch/t/frame-transa…

@zmanian Nice

So this really worked for me. Use the apps.apple.com/us/app/breathw… app HRV up by 30% on average Resting heart rate down

A network launching its own stablecoin is one of the most interesting use cases in crypto. USDM is already at 500M+ market cap, generating more than 15M in annualized revenue for MegaETH.

@_TomHoward @levelsio @airthings @NorbertDragan .

@levelsio @airthings @NorbertDragan How does it compare to Aranet?

I got the @airthings Plus (unaffiliated, I just like the product), I think @norbertdragan recommended it I been through so many air sensors, and I really think this is the best one so I bought one for living room and then another one for bedroom, and will get another one for my coworking Why so many? Well one of the sensors I bought turned out to be a fake random number generator 😂 Another one kept phoning home to Chinese servers, kinda dodgy. Another one had values that made sense but turned out to be based on kinda estimating from other sensor values, so it didn't actually HAVE the sensor it displayed about (this is common to save money) Why the Airthings is so great: - The device is just super thoughtful and non-invasive, the screen is e-ink (I think?), no backlit, no LEDs shining at you, just black and white, it looks like a paper screen, beautiful, it knows its place! - It measures A LOT of things: AQI (PM2.5+PM10), CO2 (!), VOC, Radon (!), humidity and temperature, and it actually has sensors for all! - You don't need to pair it to WiFi, it just works by itself! (why is this great? So I remember getting that Awair sensor and I was in a hotel nomading and I couldn't even set it up cause captive hotel portal, such an Internet of Shit design to not be able to set up without WiFi) - But when you do pair it with WiFi, it easily connects to your Home Assistant and sends your sensor data to HA without any issue, that lets you automate stuff based on your air quality I love it :D

@fildotai 100% accurate

what if the spanish government built github?

Last week, Ethereum core contributors gathered in Svalbard for the Soldøgn interop: a week long event focused on hardening Glamsterdam implementations to scale Ethereum securely ☀️ Read the full recap, including their candidate post-fork gas limit, below:

Crypto has not started yet.

@cto_junior share files with us?

Say hello to my chud pet

@abcoathup @AnettRolikova @EthPrague I totally get it, we'll still be around in a few years

@dcbuilder @AnettRolikova @EthPrague I’d love to, but unlikely to be for a few years. Family responsibilities makes travel difficult.

Prague food guide @EthPrague version! There will be no food provided at ETHPrague this year, so I created this handy guide to help you navigate the local food scene and find options near the venue. This will be a long post with many tips, so bookmark it and come back to it during your trip! Link to Google Maps with spots mentioned in this post below! Setting the scene: Prague is a super safe and walkable city with excellent public transportation, an amazing food scene, and a rich beer culture. Use Bolt to get from the airport to the city, it should not cost you more than $20-ish (around 600 czk). ETHPrague is hosted at Obecni Dům, which is a central location with many nearby food options. It is also close to the major attraction, the Clock Tower (Orloj), which you shouldn't miss! Where to eat and drink beer around the ETHPrague venue within a 10-minute walk: - Burger service = my fav burgers right by the venue - Pizza nuova = amazing Italian right by the venue - Pult = beer hall - Kavarna Kampus = casual beer & drink & cafe spot - Prokop Coffee & Croissants = My favorite croissants and coffee in the Old Town! - Nase Maso = casual butcher with great burgers, pastrami, steaks - Lokal Dlouhá (with many locations throughout the city) = The best Czech food and beers - Restaurace Červený Jelen = Popular steakhouse - Sia = Amazing Asian restaurant - Cukrář Skála = My favorite cake shop in Prague! You must try their ice cream too! - Kantýna = Traditional Czech cuisine, expect meaty meals and great beer - Zem Prague = Upscale Czech cuisine, perfect for business dinners or lunches. - Vinograf = excellent food, on the higher-end side There’s also a mall with fast-food restaurants very close to the venue, offering plenty of food options—consider this as a backup! Extra tips! - Dlouha street = full of commercial clubs, popular bars, and a great younger party-and-going-out vibe. Clubs and Bars located on this street (about a 10-minute walk from Obecni dum): Roxy, James Dean, Steampunk Prague = usually the “afterparty” spot, Kenton’s New York Bar, FRAME = excellent gin & tonic bar! - More underground clubs = Cross club, Bukanyr, Fuchs2, Bike jesus - Matuška Brewery (two locations) = Their beer recently won two medals in the World Beer Competition (out of 1,600 beers!). - Prague has tons of laptop-friendly cafes, such as Space Cafe Karlín, Kolektor, Miners (in Letná), Cafe Neustadt, Tvaroh... - Riegrovy Sady: Park with an amazing sunset view and a beer garden. Tourists must see spots not to miss: - Orloj watch tower (about 10min walk from the ETH Prague venue) - Charles Bridge - Prague Castle (accessible from the Restaurant Lví Dvůr area—otherwise, you have to walk up the hill!) - Walk to see the major Prague “must-see” spots: Start at the castle (begin by the restaurant Lví Dvůr), walk through the castle area, visit “Zlatá ulička” (it’s paid, but worth a visit!), then continue down to the Lennon Wall and stroll around the beautiful area locals call “Czech Venice” (it’s tiny). Cross Charles Bridge to the Orloj. This should take about 20–40 minutes, depending on the time of day and how crowded it is. Random facts about Prague + good to know: - Prague has tons of Vietnamese spots, and most of the corner stores (večerka) are run by Vietnamese people. - The best pho is at Pho100! - Beer is sometimes cheaper than water. - Do NOT use public transportation without a ticket. Ticket inspectors are very strict and can be confrontational. Just buy a ticket or pay the fine (about 50 euros)—don’t argue with them for your own peace of mind. - Prague used to have the most Michelin-starred restaurants in the EU—it’s a foodie heaven! - You can find tons of great cafes and restaurants in Prague! Use the app “Coffee Trip” and filter by what you’re looking for. Anything else that I missed in this guide that you would find helpful? Comment, and I will try to reply!

@abcoathup @AnettRolikova @EthPrague then come for ethprague.com

@AnettRolikova @dcbuilder @EthPrague I miss Prague.

thankful to @recmo for creating ruint -- over 17M all time downloads, probably one of the most important crates in the eco to ensure we can co-maintain ruint for the long run, we've moved the repo to the alloy-rs org we started alongside @_prestwich to foster core, stable and performance primitives for the evm ecosystem big kudos to @DaniPopes for driving the project forward all this time github.com/alloy-rs/ruint crates.io/crates/ruint

@AnnaRRose Fair enough

@dcbuilder ye, but I don't wanna spend time playing that game...

zkMesh went out last night, zkmesh.substack.com/p/zkmesh-april… catch up on the latest in ZK