Daniel DeFreez

program analysis && security
he/him

[Daniel DeFreez @defreez]

Shamir Secret Sharing is a little more complicated, of course, because it supports more than two secret holders. That’s where Lagrangian polynomial interpolation comes in. See https://t.co/WkGxf885Fz from @jeremyjkun and https://t.co/V6Jp1Xj0hR.
10/10

[Daniel DeFreez @defreez]

Today’s Binance crypto bug is a fun one. This is an attempt at explaining the problem without relying on the phrases “Lagrange interpolation” or “finite field”.
https://t.co/INnAksD9aF
1/10

[Daniel DeFreez @defreez]

Now we understand @matthew_d_green's funny tweet https://t.co/IXVmD7u5dF

*sigh*, I miss the days of yes yes no before the reply all implosion.
9/10

[Matthew Green @matthew_d_green]

I’m uncomfortable using “1” as an x-coordinate for Shamir, since my stupid intuition tells me “it’s so close to 0” :) But Binance just letting you blast away at q, 2q, etc.

[Daniel DeFreez @defreez]

Another example: autocompleting dates in a table for a course schedule 1.1 Tue 9/23; 1.2 Thu 9/30… tab tab tab This is Excel Flashfill type stuff, but in md.

[Daniel DeFreez @defreez]

Writing my course materials in markdown with copilot enabled has been a fascinating experience. Pretty nifty when it works. One example is correctly completing links to datasets being discussed.

[Daniel DeFreez @defreez]

Really enjoy this book. Hands-on, approachable intro to language implementation.

[Bob Nystrom @munificentbob]

Today is the day! Crafting Interpreters is available for purchase in print, Kindle, ebook, and PDF! Behold: https://t.co/BXuTOXtDin

It took a lot longer than I expected, but it's all done now. So long that I wrote a blog post about it: https://t.co/oAygYH44A9

🎉📖🎉📖🎉📖🎉📖🎉

[Daniel DeFreez @defreez]

@da_edra @moyix Can confirm that doing this with Arch works. I used this method to build all of the C programs in core with debug info and had high rate of success.

[Daniel DeFreez @defreez]

@GetSpectrum is callously sending people to collections after they lost their homes... for burned modems #monopoly #dystopia

[Andrew Krug @andrewkrug]

@Ask_Spectrum @GetSpectrum In at least one case and likely more you are sending victims of the #almedafire to collections over cable modems that have been burned up in one of the most devastating fire events that has impacted #sooregon. Make it right!

[Andreas Zeller @AndreasZeller]

Fastest keynote ever! At #TAICPART2020, it took me only 18 minutes to live code from scratch
1. random fuzzing
2. a dynamic analysis collecting values
3. a static analysis collecting conditions
4. a symbolic fuzzer exercising all paths
Read, watch, enjoy:
https://t.co/Te3QjsqUBJ

[is-eqv.bsky.social @is_eqv]

If you heard the rumors about datalog in program analysis, but never knew what it's all about: I just published a small tutorial that will get you started with a modern datalog to implement backwards symbolic execution.
https://t.co/hyELQ1w6IL

[Ben Bartlett @bencbartlett]

Recursively rotating segments of an image rotates the image itself

🔗 Code by rvizzz on GitHub: https://t.co/HlzQKMH8I5

[Daniel DeFreez @defreez]

@moyix https://t.co/iIbdOgkKt7

[Daniel DeFreez @defreez]

@clintgibler @ramimacisabird @seanhn @RolfRolles Still interested, but for sure a lot of work. IMO @clegoues and @JAldrichCMU class notes are a much gentler intro than Principles of Program Analysis, but still a step removed from implementation. https://t.co/vyic5DjsF4