Login

u/Diligent_Comb5668

▲ 2 r/nederlands

Wat is er aan de hand met de reddit app?

Ik zat net in een discussie en ik krijg allemaal witte errors, superveel comments verwijderd. Is de app kapot ofzo?

reddit.com
u/Diligent_Comb5668 — 11 days ago
▲ 464 r/rust

My first ever PR got approved!

Ngl I'm so happy! Feels like a pretty big deal. Have been programming for years now but never had the confidence to send a PR, getting my first ever approved pretty fast, (with some mistakes I had to fix) feels great!

Idunno I'm just so happy and don't know anyone personal I can share this with that understands it 😂 So I figured I'd say it here.

Bit of a useless post but yeah, just happy ☺️

reddit.com
u/Diligent_Comb5668 — 13 days ago
▲ 340 r/nederlands

Mijn ouders kampen al een aantal maanden met problemen met heet water bij hun in huis. Dachten eerst dat het van de Grohe kraan kwam, gelijk een nieuwe thermostaat gekocht van 70 piek. Zitten ze al maanden te douchen op half waterkracht omdat het anders niet warm wordt.

Ik: De leiding zit verstopt.

Ouders: Nee dat kan niet alles loopt door.

Ik: het is duidelijk een druk probleem, ergens in de leidingen gaat het niet lekker, waarom zou je anders wel op half kunnen douchen en anders koud?

Ouders: NEE DAT KAN NIET DAT HEEFT NIKS MET DE CV KETEL TE MAKEN.

Ik: Nou oke zoek het dan zelf maar uit.

Vandaag belt mijn ma me op, rioolreiniging langs geweest omdat het water op de grond lag met schijt, drama natuurlijk. Ik gelijk: En doet het water het weer? Ma: Ik ga kijken "Verek je hebt gelijk" 😂

Dus als je niet maanden lang koud/half wil douchen, ouders van Reddit, af en toe hebben je kinderen gelijk.

reddit.com
u/Diligent_Comb5668 — 18 days ago
▲ 6 r/AskAmericans

So I was thinking about this after watching something on reddit, The person was going 60 mp/h in a 35 mp/h zone. Wouldn't you lose your license then?

The thing that amazed me was that the police person was pretty chill about it, like she only got a fine but that is almost 2x the speed limit that would certainly do something to your record or license or something right?

reddit.com
u/Diligent_Comb5668 — 25 days ago
▲ 3 r/ethdev+1 crossposts

Okay so I was sitting with a pico 2 W, I was thinking to myself What more can this do? The reason I initially bought the thing was for a totally different project. Automating a boat so we can legallyish sail the canals of Amsterdam with a autobob.

Like I think for many of us in this sub, we have somewhat of a foundational understanding of low level hardware control but that practice is just not adopted quite often anymore because of a bunch of great frameworks.

So yeah, I fell in to a rabbit-hole. This repository had been sitting for a while locally on my system for another project I had surrounding ZK-proofs and since I never have dealt with MCU's before I was pretty amazed at how fast and consistent it is in a bunch of stuff, like it's one of those things that one technicality knows it can do better. Just no access or need for it, and messing around with that thing made me realize it might just be perfect for zero knowledge proof verification.

So I have been benchmarking for some days and the results are pretty interesting. You can read all the results on the GitHub repo, there is a documentation site on the way but that will be Monday business.

Turns out you can get SNARK verification running on a Cortex-M33 ~1.01 seconds

RISC-V (Hazard 3) ~1.05 seconds.

And all on 111KB RAM on a RP2350

I haven't even touched the DSP-intrinsics (SMLAL, UMAAL) for the M33 yet. There is still a lot of "boring" manual assembly optimization left to do to shave off more milliseconds, but seeing it hit ~1s on a Pico 2 was a big "Aha!" moment for me to be honest.

Yeah, pretty wild stuff. Never knew that would fit on such a small cheap piece of silicon. All no_std.

https://github.com/Niek-Kamer/zkmcu

u/Diligent_Comb5668 — 24 days ago