JP

I get computers 'putin'

[JP @japesinator]

I've been seeing a lot of complaints that CVE-2020-0601 didn't have a fancy logo and website, so my colleagues @trailofbits and I did our best to pitch in.

https://t.co/l6fY3y31mu

[JP @japesinator]

RSVP before the entropy runs out

[Paul Kehrer @reaperhulk]

Next week is Real World Crypto 2020 right on @trailofbits's home turf, NYC. If you're in town and want to enjoy free food, drinks, and a venue brimming with high quality entropy come and join us on Thursday January 9 from 7-10pm at Prohibition: https://t.co/CfVf0geM1K

[JP @japesinator]

Bonus: https://t.co/62ZfIFZkRS is probably the craziest code I wrote this year. I can't hope to explain it in a tweet, but I'm working on a blog post that should be out soon.

[JP @japesinator]

Before 2019 ends, I wanted to release my current research with @trailofbits: Umberto, a "poststructural fuzzer" built with fancy Haskell tricks. It lets you apply simple mutators (defined on numbers or strings) inside large structures (like xml entities)

https://t.co/HLFiQkvGZs

[JP @japesinator]

Related: contributing should be relatively easy, and I'm very open to PRs. Supporting JSON is ~one line of code, supporting your favorite format probably is as well.

[sclv @sclv]

if someone ever tries to tell you something "because godel" direct 'em to this paper. not only are most "popular" uses of "godel incompleteness" dead wrong, but it turns out, a good 2/3 of the "proper" uses of it make it out to be too strong as well.

[JP @japesinator]

@term_xv https://t.co/BDs2uxXZTY

[JP @japesinator]

My team is hiring! If you want to discover, analyze, and explain bugs in cryptographic software, link below has details. Incredible people, fascinating problems, lots of flexibility, great benefits

https://t.co/77UiSYnPjV

[〈 Berger | Dillon 〉 @InertialObservr]

The Fine Structure Constant, a thread.

(1/137)

[JP @japesinator]

@VladZamfir @nrryuya @anneouyang @rv_inc What is a "type of fault" in this context? I'm not sure I understand the claim being made exactly. Happy to read more if you have recommendations

[JP @japesinator]

This summer, I mentored @anneouyang while she did some incredible work rigorously analyzing CBC Casper. This kind of work is critical for broad adoption of proof of stake, and imo doesn't receive nearly as much attention as it should.

[Trail of Bits @trailofbits]

Formal Analysis of the CBC Casper Consensus Algorithm with TLA+ https://t.co/fKDPeg34G9

[JP @japesinator]

@VladZamfir @nrryuya @anneouyang @rv_inc You believe CBC Casper achieves safety + liveness with >= 1/3 of the network faulty?

[JP @japesinator]

@mountain_ghosts liftA2 (&&) f g

[fat motorcycle twins truther. theyre not dead @fart]

im a big bearded javascript guy and my avatar is a funko pop and my bio says some shit like "I Make Internets."

[Dan Guido @dguido]

Is there anyone with an arxiv account that can endorse a @trailofbits employee for "https://t.co/XwcrrFGMCD"? We have papers we want to publish. DM me, thanks!

[JP @japesinator]

@fubuloubu @jmartinez_43 @trailofbits that's the algorithm they would use, but the problem is constructing a computer to run it

[Trail of Bits @trailofbits]

Crypto 2019 Takeaways https://t.co/iJ4eDQ4gTm