The Almarty (@martystumpf) 's Twitter Profile
The Almarty

@martystumpf

Building stuff. Loves #FP #Haskell #Rust #PLT #Compiler #FormalVerification. Always learning. Prior: Economist. Vegan, WOC.

ID: 408685870

linkhttp://thealmarty.com calendar_today09-11-2011 19:13:06

622 Tweet

276 Followers

479 Following

Avi Press (@avi_press) 's Twitter Profile Photo

Who is the most productive Haskell engineer you know? We have the perfect opening at Scarf. Fully remote, tiny team, high traffic, making tangible progress in the mission of open source sustainability -- with Haskell. RTs greatly appreciated! about.scarf.sh/careers/softwa…

Jeremy Gibbons (@jer_gib) 's Twitter Profile Photo

I'm giving a talk at Birmingham this Friday, about David Turner, Richard Bird, the Sieve of Eratosthenes, and Total Functional Programming. It's at 11:00 UTC, also livestreamed on Zoom, open to all: researchseminars.org/seminar/Theory…

Lita Engineering (@lita_xyz) 's Twitter Profile Photo

🗣️HackerHouse Announcement 🗣️ We're joining forces with @teamf16y to bring you the Frontiers of d/acc zkHackerHouse, happening @EthDenver from 2/25-3/1! 🏠💻 bit.ly/frontiers-of-d…

🗣️HackerHouse Announcement 🗣️
We're joining forces with @teamf16y to bring you the Frontiers of d/acc zkHackerHouse, happening @EthDenver from 2/25-3/1! 🏠💻 

bit.ly/frontiers-of-d…
Lita Engineering (@lita_xyz) 's Twitter Profile Photo

Lita Lita Engineering will be at the ZK Summit & ZK Accelerate🧵 Excited to connect with leading minds in Zero Knowledge technology in Athens, Greece!

Ventali (@ventali_) 's Twitter Profile Photo

1/ A Zero Knowledge Paradigm: Pt 1 - Intro to zkVMs At Lita, we believe zero knowledge cryptography is a powerful, universally adoptable tool for scaling and securing any software Put simply, ZK is the bridge to mass adoption of trustless systems

1/ A Zero Knowledge Paradigm: Pt 1 - Intro to zkVMs

At Lita, we believe zero knowledge cryptography is a powerful, universally adoptable tool for scaling and securing any software

Put simply, ZK is the bridge to mass adoption of trustless systems
StarkWare 🐺🐱 (@starkwareltd) 's Twitter Profile Photo

ZK is a public good that should belong to everyone. Matter Labs, the corporate entity behind ZKsync, has filed trademark applications in nine countries, claiming ZK as its exclusive intellectual property, even though they neither created nor contributed to the creation of this

Lita Engineering (@lita_xyz) 's Twitter Profile Photo

Valida Alpha Release has arrived. With the alpha release of our C Compiler and LLVM compiler backend, devs can now compile, run, and test C programs on #valida - our brazenly fast and performant zkVM. [1/]

Valida Alpha Release has arrived.

With the alpha release of our C Compiler and LLVM compiler backend, devs can now compile, run, and test C programs on #valida - our brazenly fast and performant zkVM.

[1/]
🔎Julia Evans🔍 (@b0rk) 's Twitter Profile Photo

I know $12 USD is a lot of money for some people, so to celebrate 1000+ sales (!!!!), I'm giving away 1000 PDF copies of How Git Works (honour system: only if $12 is a lot for you!) Here's the link, enter code BUYONEGIVEONE at checkout to get a free copy wizardzines.com/zines/git/

Ventali (@ventali_) 's Twitter Profile Photo

1/ Big debate in zkVM design: Custom vs general-purpose ISA? General ISAs are versatile, hardware-friendly, but NOT designed for zkVM's specific needs. Short 🧵 + Link to full article 👇

1/ Big debate in zkVM design: Custom vs general-purpose ISA?

General ISAs are versatile, hardware-friendly, but NOT designed for zkVM's specific needs.

Short 🧵 + Link to full article 👇
Dr. Jen Golbeck (@jengolbeck) 's Twitter Profile Photo

Elon has made it so basically everything you'd done on Twitter, including your DMs, will be used to train their AI called "Grok". It's turned on by default. Click this link and uncheck that box to turn it off x.com/settings/grok_…

Elon has made it so basically everything you'd done on Twitter, including your DMs, will be used to train their AI called "Grok". It's turned on by default. Click this link and uncheck that box to turn it off x.com/settings/grok_…
Lita Engineering (@lita_xyz) 's Twitter Profile Photo

Lita x Liberty House invites you to the SBC Cryptography IDEAHOUSE. Co-working and workshop space where you can collaborate with SBC speakers, cryptographers, and founders. Join us at📍NYC 🗓️ Aug 5-12 Limited spots. More info + RSVP now: lu.ma/f4il3mq0

Lita x <a href="/libertyhouse__/">Liberty House</a> invites you to the SBC Cryptography IDEAHOUSE.

Co-working and workshop space where you can collaborate with SBC speakers, cryptographers, and founders.  

Join us at📍NYC 🗓️ Aug 5-12 

Limited spots. More info + RSVP now: lu.ma/f4il3mq0
Lita Engineering (@lita_xyz) 's Twitter Profile Photo

We recently discussed our Valida zkVM stack at an online session hosted by Polygon. Here’s a summary of the design choices we’ve made for Valida 👇🧵

We recently discussed our Valida zkVM stack at an online session hosted by <a href="/0xPolygon/">Polygon</a>.

Here’s a summary of the design choices we’ve made for Valida 👇🧵
Ventali (@ventali_) 's Twitter Profile Photo

Valida team Lita Engineering is looking for one top crypto engineer. Based in SF. Needs to be actively working on SNARK optimizations and have deep theory background and engineering experience working with proving system. DM me your CV + code samples if interested.

Nick Sullivan (@grittygrease) 's Twitter Profile Photo

If you’re interested in getting started in cryptography, check out the crypto 101 course by Dr. Alfred Menezes from UWaterloo. cryptography101.ca He’s planning on publishing the lectures from his Applied Cryptography course, which was my introduction to the field.

Ventali (@ventali_) 's Twitter Profile Photo

our crypto team will be talking about optimal zkVM design on Oct 15, from prover design, VM design, compiler design to VM-hardware co-design! are you pumped???

Lita (@0xlita) 's Twitter Profile Photo

Did you hear about the recent paper about forging ZK proofs? Confused about why it matters / how bad the situation is? 🧵 TLDR: There was a recent result of practical attacks on certain SNARK proving schemes. This highlighted an important general theoretical concern, which

The Almarty (@martystumpf) 's Twitter Profile Photo

After over 6 years of being a compiler dev, I've decided to take a break. It's been about a month and I'm loving it. I'm so inspired and feel like I've gone back to the early "the always learning Marty" days. Stay tuned for what I'll build!

LaurieWired (@lauriewired) 's Twitter Profile Photo

Fading out audio is one of the most CPU-intensive tasks you can possibly do! Values that get close (but not quite) zero, hit an underflow gap known as "Subnormal" range. It’s a mathematical conundrum so tricky, both x86 and ARM made special CPU instructions just to handle it!

Fading out audio is one of the most CPU-intensive tasks you can possibly do!

Values that get close (but not quite) zero, hit an underflow gap known as "Subnormal" range.

It’s a mathematical conundrum so tricky, both x86 and ARM made special CPU instructions just to handle it!