Billy Levin

programmer

[Billy Levin @billylevin]

Essential viewing https://t.co/k3UEqBYn8J

[Billy Levin @billylevin]

@HSVSphere @bcantrill Generally not a fan of tech talks but all of Cantrill’s that I’ve watched have been worth the time. I even have one as my pinned tweet

[Billy Levin @billylevin]

@HSVSphere I am going to create a harness with only a nu tool and it will have a hidden self-destruct if it tries to run Python with it

[Billy Levin @billylevin]

@nihilunbounded “My arbitrary percentage X has shifted to arbitrary percentage Y” wow that’s deep

[Billy Levin @billylevin]

@HSVSphere It's a shame that "performance" is taken to mean "raw speed" instead of what should be the correct definition: "doing the correct thing as fast as possible". Nothing "performant" about software that isn't performing as it should

[Billy Levin @billylevin]

@nihilunbounded Enjoyable and angering and compelling read. Good luck to you

[Billy Levin @billylevin]

@poteto Do you do property tests also?

[Billy Levin @billylevin]

@doomslide @tszzl Me too. Maybe the mixed messaging is simply a result of human ego and enjoying being "in the know" coinciding with their earnest fears about things. It's tiring to read all the time in any case.

[Billy Levin @billylevin]

@alcuintweets @AnthropicAI I am scared to imagine what an Anthropic rationalist's idea of a "Good" world would look like

[Billy Levin @billylevin]

@doomslide I don't understand it at all and I don't think it's deliberate. @tszzl does the same thing (not to pick on him in particular). If it's serious then be serious about it. If it's not, stop riling people up for no reason telling them they're going to die, be poor forever, etc.

[Billy Levin @billylevin]

@doomslide A lot of them present themselves in this weirdly ambivalent way: pontificating about how Serious this all is (but in lowercase); this technology is super duper dangerous (but I'll continue to work on it and enrich myself)

[Billy Levin @billylevin]

@AdamRackis I’m curious if those people would feel the same about code that’s literally life and death. I assume not.

[Billy Levin @billylevin]

@GeoffreyHuntley @bot Will you write about the kinds of things you use it for?

[Billy Levin @billylevin]

@bcantrill Congratulations! Inspirational company and individuals!!

[Billy Levin @billylevin]

@visakanv "Belinda says that heaven is a place on earth
Well so is hell"

https://t.co/cT5WOLWQk6

[Billy Levin @billylevin]

@HSVSphere Ethereal sphere lives on

[Billy Levin @billylevin]

@threepointone It is baffling to the point that I have to believe the people talking this way are not being sincere. Or they have just never had an emotionally resonant experience with any piece of art ever...

[Billy Levin @billylevin]

@GeoffreyHuntley I am still quite new to PBT and I’m wondering if it’s “a thing” to worry about the oracle being correct. Do we just rely on it being simpler and easier to reason about? Do people more formally “verify” the oracle in cases where verifying the real implementation isn’t practical?

[Billy Levin @billylevin]

@seatedro @jonahberman24 Some things automatically convert “--“ to a proper em dash

[Billy Levin @billylevin]

For anyone who prefers to read Rust over Python, or wants the explanation "dumbed down" a bit, I've created a little prototype here: https://t.co/PXekSn9uGF

[Billy Levin @billylevin]

As well as the concept itself, the implementation details of property-based testing frameworks are really cool! Here is a paper by @DRMacIver and @afd_icl showing a reduction technique that basically amounts to manipulating bits to reduce test-cases: https://t.co/a6DCemYJp4