Sage

entropy fighter | she/they

[Sage @mx00s]

@TaliaRinger It's a sandbox because we heard somebody say the word "sandbox" and it sounded nice. That's all. 😇

[Sage @mx00s]

@zetalyrae So did you land on a fix for this use case?

[Sage @mx00s]

@CanadaHonk Plugging in your laptop?

[SPEEA @speea]

@Boeing contract offer results:
Profs:
64.25% REJECT contract offer
87.82% AUTHORIZE STRIKE

Techs:
71.87% REJECT contract offer
89.71% AUTHORIZE STRIKE

Members: A survey soliciting ideas on what an acceptable offer would look like will go live today! #NoNerdsNoBirds $BA

[Sage @mx00s]

@domenkozar Certainly, but why not both? Understanding the range of potential factors involved may help if you're serious about pushing to modernize regulations.

[Sage @mx00s]

@domenkozar Do you know why they're illegal? I don't, but I wonder if it has to do with overhead to the utility due to reactance.

[Sage @mx00s]

@defnotbeka I'll bite. Who first talked about it?

[Sage @mx00s]

@RileyRalmuto @defnotbeka The 500 zeros got me.

[Rebecca Valentine @defnotbeka]

there is honestly so much vast untapped potential in the vast world of Actually Intelligent formal methods, but no one cares about that enough to, you know, try to make it into a thing

[Sage @mx00s]

@TaliaRinger Tech bros. It's always the tech bros.

[Sage @mx00s]

@CollinWilkins7 @VicVijayakumar I agree with all that and feel capturing at least some of that nuance is really important here.

Handing over more data to systems we don't fully trust to handle it the way we want because...YOLO *shrug*...feels like we're not owning/forcing enough accountability.

[Sage @mx00s]

@mycoliza The ones who made it through the layoff filter, yes.

[Sage @mx00s]

@CollinWilkins7 @VicVijayakumar In that case, would you kindly publish all of yours? Please and thank you.

[Sage @mx00s]

@mycoliza How do you feel about Rust being bootstrapped with help from Python?

[Sage @mx00s]

@ShriramKMurthi Will they still get to learn about traditional metacircular interpreters?

[Sage @mx00s]

@defnotbeka Sadly, software engineers are doomed to not understand the concept of regular languages and *real* regular expressions unless they study the formalism. Implementations are generally too powerful or, in this case, not powerful enough. *sigh*

[Sage @mx00s]

@Love2Code Transitive goodness 😊

[Sage @mx00s]

@lauriewired Is the intent to reduce the state space to to (only) what's necessary?

[Sage @mx00s]

@matterasmachine @getjonwithit *shrug* these aspects are beyond me.

All I'm saying is there's value in models and faithful implementations thereof that let us more effectively test our understanding.

[Sage @mx00s]

@matterasmachine @getjonwithit However, they don't need to study the proofs of those theorems if they're willing to trust Lean is doing its job correctly.

[Sage @mx00s]

@matterasmachine @getjonwithit Good question! Those who understand advection-diffusion could audit the definitions and theorems provided to Lean, the theorem prover. https://t.co/lb6RP1iJAa