sterlind

26 ms·

361.
by sterlind 2y ago
Using human language models for math problems is a bad idea for exactly this reason: judging correctness of proofs in English is subjective, whereas proofs in Lean are objective and easy to machine-check. Deepmind's AlphaProof was so r
362.
by sterlind 2y ago
"biohazard parties" are for HIV+ men only. you don't have to fear transmitting HIV if your partners are already HIV+.
363.
by sterlind 2y ago
tell me, how often do you find yourself writing `interface{}`?
364.
by sterlind 2y ago
I guess I'm an outlier, but I love Haskell's syntax. It's so intuitive and matches how my brain works. most of the type system feels natural, as well. I just wish for a dialect with strict evaluation, and side effects instead
365.
by sterlind 2y ago
not just the US, they couldn't sell to the West. Sanctions for an IP violation would likely bind all the signatories to WIPO or whatever. sure they could sell internally, but the chips would have to be pretty good to risk pissing off I
366.
by sterlind 2y ago
have you tried Simulink? it gets hated on and it's proprietary but I bet you'd really like it. there's also Drakon if you're down with flow charts.
367.
by sterlind 2y ago
it sounds like the ideal solution would be something functional (so you have a computation graph), pure (so you can cache results) and lazy (so order of expressions doesn't matter.) why not Haskell? or even a pure/lazy subset&#x2F
368.
by sterlind 2y ago
They also reap the benefits of AI researchers across the world using Llama as a base. All their research is immediately applicable to their models. It's also likely a strategic decision to reduce the moat OpenAI is building around itse
369.
by sterlind 2y ago
For a further exploration of this particular utopia, see Snowcrash by Neal Stephenson.
370.
by sterlind 2y ago
and yet everyone is blaming Windows sigh . Windows actually runs a lot of drivers in user-mode, even GPU drivers. largely this is because third-party drivers were responsible for the vast majority of blue screens, but the users would blame
371.
by sterlind 2y ago
Case in point: the Viih_Sou incident [0]. Viih_Sou was an anonymous account famous for defeating Daniel Naroditsky and Wesley So with a meme opening: 1.a4/...a5, then sacking the rook on move 2. After Chess.com banned the account, GM B
372.
by sterlind 2y ago
reminds me of how the Seattle Flu Study blew the whistle on covid community transmission, during the start of the pandemic in the US. at the time, the CDC only allowed testing for known exposures and travel to China. their lab wasn't
373.
by sterlind 2y ago
I once saw a Clojure implementation of red-black trees that had an inline, visual diagram of each tree pattern to match on, and how to mutate the graph (at one of the Strange Loop conferences.) extremely slick, since code was generated fro
374.
by sterlind 2y ago
this looks pretty sweet. tla+ looks scary and mathy at first, but it's really a pretty simple concept: define some state machines, explore the state space, see if you run into trouble. with this you get a nice classic sequence diagram
375.
by sterlind 2y ago
coal miners carried canaries to warn of CO. chemical weapons workers brought bunnies in cages to monitor nerve gas leaks. it's an old tradition - it's simple, and it works. though why not Geiger counters for radiation? there must
376.
by sterlind 2y ago
dumb question but how well do sharpies work in space? the ink diffuses through the felt tip - that doesn't require gravity. wouldn't that work pretty well? also crayons seem like a better bet than pencils - they're still flam
377.
by sterlind 2y ago
wonderful. keep at it, Meta. they've given me so much hope this past year. they're heading off a future where an oligopoly of massive tech companies gets AGI first, engages in regulatory capture and locks the doors behind them on
378.
by sterlind 2y ago
I assume by CSAM you mean any indecent image of a child, since there's only one legitimate use of material generated by, or for, child sexual abuse: as evidence, to catch and prosecute child molesters. that's the problem: the labe
379.
by sterlind 2y ago
one factor is how many copies of the p53 tumor suppressor gene they have. larger animals (with more cells) tend to have more copies of p53. p53 causes cells to self-destruct if they go off-script. many cancers have p53 mutations to thwart
380.
by sterlind 2y ago
The presumptive immunity standard only applies to official acts that aren't "core" exercises of the President's constitutional authority. Any enumerated power is core and enjoys absolute immunity , regardless of motive
381.
by sterlind 2y ago
> The President of the United States is the most powerful person in the country, and possibly the world. When he uses his official powers in any way, under the majority’s reasoning, he now will be insulated from criminal prosecution. Or
382.
by sterlind 2y ago
Seriously! I held off VR for years, but the prospect of actually walking around in the worlds of Myst and Riven finally made me cave and buy a VR headset. They're such a natural fit for the platform - these are worlds to be savored and
383.
by sterlind 2y ago
why is she doing this? for the money, or out of some form of spite?
384.
by sterlind 2y ago
I really wanted to like F#, and I kinda do, but it has a number of quirks, compiler issues and cracks in the design that are getting worse: First off, the compiler is single-pass. All your definitions have to be in order. This even extend
385.
by sterlind 2y ago
Julia bucks the trend with its static duck typing; it's one of few languages where composition really works well. If your type defines + and * you can make matrices of them and multiply them together, then do linear algebra with them o
386.
by sterlind 2y ago
Most of my career as an algorithm designer has been to boil problems down to their abstract essence, categorizing what kind of problem it is, reading papers to find a solution and implementing it. Unfortunately, ACM and IEEE are paywalled,
387.
by sterlind 2y ago
Why does Qualcomm need a license to design a custom ARM chip in the first place? Assuming they're not reusing or deriving from licensed IP blocks, and that they just cracked open a reference book and implemented the instruction set fro
388.
by sterlind 2y ago
As much as "trapped in the wrong body" is a cliché, the physical aspect of gender dysphoria is profound, and often overlooked. I don't care about competing in women's sports, or what locker room I had to use. I cared abo
389.
by sterlind 2y ago
are those miracle filters what the DeLorean used for power in Back to the Future?
390.
by sterlind 2y ago
> But how this individual got infected "is a big question mark that at least this initial report doesn't really address thoroughly." Quite. Apparently all his family have tested negative, but one wonders if the virus is

More ›