Viewing profile — dnautics

xoreax has a famous video showing how to find hidden x86 secret instructions that... who knows who asked the manufacturer to put there. the story of the hardware setup (pxe booted …

uniquely among maintenance drugs some people report saving money on GLP-1s, they spend less on food than the drugs cost... But think of the farmers!

why not both?

in an era when interviews are done by zoom, is there a height effect for men?

it's been a while since the patenting system benefit small time inventors

> its not government funded It's not the user fee model that's broken, it's the revenue basis. Maybe it would be more effective if they tripled the filing cost and if you successfu…

the best buy insight is a bit insider, i used to be coworker with the fellow who was on the design team that led the best buy market research stint

there was an electric variant proposed, i think, but no solar panels.

> The first corporation went bankrupt in 2011. The VCs forced the founders out, tried to move production to china, then iirc banked on a sketchy deal where best buy was trying to g…

good news, the ceo of this non tech company has years of experience as a competent sofware dev

nah. my company (not a tech company)'s stack is ai generated and it has created credible value.

a lot of these products have been around for too long for it to fit the model you're proposing

fta: "this is a story driven more by an American decline in soft power than by a Chinese surge." sonething tells me this will shift by the end of the decade

> soft power hows that going for them?

> And the straightforward systems that we know like insulin have complex post translational modifications. insulin is not straightforward, the way the insulin molecule interacts wi…

the existence of iter is to hide implementation detsils from you.

i think rusts composition is problematic. you can have two abstractions that if you mix them the outcomes are not what you expect unless you have a deep understanding of the detail…

well pascal doesnt use ^ for multiplication

> I think it's the best language for LLMs because of the type system? i work in ~dynamically typed language and the llms almost never make a type error.

personally i think you should just have a separate proof language that doesn't also try to be a programming language and build a bridge between them (ideally as a compilation targe…

i find Zig does it fairly well. there is also no ambiguity between pointer and multiply.

that is one way things can be structured, yes.

the verb you used was "lasts" not "intended".

there are departments where it's the only way to get a masters, and it's nothing to do with foreign students paying, and i suspect more to do with lawsuit evasion for exploitative …

because its good to have people not be misled by absolute statements like this "No MS lasts 3-4 years" that are simply incorrect. do you enjoy being a source of misinformation?