dnautics

14 ms·

391.
by dnautics 6mo ago
MOND explains 1. 2 is "who can say" because nobody has reconciled MOND with Relativity (not that it's impossible, it's just hard and annoying math, could be a lack of effort thing, could also be a real theoretical constr
392.
by dnautics 6mo ago
> NIFs that shell to zig I'm aware
393.
by dnautics 6mo ago
i am writing the sw stack for my own pharma startup. we have 2 very high value DAU, one of whom is me, and probably will max out at 1000 in our wildest dreams. long term, our biggest concern is a security regression that lets outsiders see
394.
by dnautics 6mo ago
it's a general pattern. Allocators use the exact sane vtable mechanism. It's not like first class or anything, but that's fine: its enough of a pain in the ass to set it up that you dont start doing BeanFactoryFactory ever
395.
by dnautics 6mo ago
completely reasonable. eventually you internalize them, and the rules aren't that bad and are consistent.
396.
by dnautics 6mo ago
thick? wait till he finds out what FUTO was an acronym for
397.
by dnautics 6mo ago
i do think llms are great, i vibe code a lot of zig (working in a locally deployed semi-embedded on-prem device), and i think the zig policy is a good idea at least for the next five years.
398.
by dnautics 6mo ago
zig doesnt make algebraic types hard. algebraic types are exceptionally easy and also safe. and unlike rust, named in a way thats friendly to c devs. zig makes stupid metaprogramming tricks on algebraic types annoying (not hard). so, being
399.
by dnautics 6mo ago
yep. as an expert programmer there are things i did not have access to. for example, i have an embedded-lite hardware project that required a one line patch to a linux kernel Module. i know what a kernel module is and im reasonably certai
400.
by dnautics 6mo ago
idk in elixir we basically do exactly whats happening with io parameters when mocking or swapping implementations that all satisfy the same behaviour. here. i am not the only one that refers to it as dependency injection: https:/&#x2
401.
by dnautics 6mo ago
i dont think its generally a good idea to be making complex type generators like this in zig. just write the type out. the annoyingness of the thing you tried to do in zig is a feature. its a "don't do this, you will confuse the
402.
by dnautics 6mo ago
because you're not reaching for elixir when you need performance. btw we do sometimes bitch about performance :)
403.
by dnautics 6mo ago
"slightly different ways to initialise stuff." can you elaborate? theres only what 11 datatypes in elixir?
404.
by dnautics 6mo ago
io is not a monad. theres nothing stopping you from stashing a global io "object" and just passing the global wherever you interface with the stdlib. It's dependency injection . and yes, you can model dependecies like a mo
405.
by dnautics 6mo ago
i worked for ham smith and my understanding through him is that both sides relied on data that the other produced. here are technical details, both were more or less independent, the celera sequence did include data from the other side as u
406.
by dnautics 6mo ago
iiuc it was hamilton smith who insisted that shotgun sequencing would work. the nih side insisted on primer walking until celera started assembling the genome so rapidly that the nih had to get in on shotgun too
407.
by dnautics 6mo ago
i believe he also was the human genome project, he arranged to have one of the samples be him
408.
by dnautics 6mo ago
or better yet actually use "grug" which comes with architectural sense
409.
by dnautics 6mo ago
as per anthropic, only about 250 documents of any given concept required.
410.
by dnautics 6mo ago
having worked in amyloid, and in an a-beta lab in the second half of the 2000s, we always said under our breath in group meetings that we were skeptical about the amyloid hypothesis, but our grant applications certainly did not say that (or
411.
by dnautics 6mo ago
the existence of a body named X does not imply they were doing X, or doing X well. a better argument would be that trump doing this is possibly toxic because the process of resetting becomes overly political and associated with trump shenan
412.
by dnautics 6mo ago
> The current system is not perfect but it’s far better than no system at all. you should question this assertion. your assertion is dependent on the assumption that science is a strictly positive sum game (with respect to funding). i
413.
by dnautics 6mo ago
> What's your evidence that the system in the US is overall net negative? really? reproducibility crisis, stagnation in various fundamental fields, and bullshit ive seen with my own eyes working in the salt mines of academic scienc
414.
by dnautics 6mo ago
well the first step is the same, so might as well get that part done with.
415.
by dnautics 6mo ago
> latter implying some immutable law of the universe I think the implications is slightly weaker -- it implies some immutable law of training datasets?
416.
by dnautics 6mo ago
> The idea of sovereignty is a cornerstone of how we organize our global society. It is, but it's kind of a thin lie. How's sovereignty going for ukraine? Hong kong? Chechnya, South ossetia, and abkhazia? Puerto Rico? Weste
417.
by dnautics 6mo ago
please provide a link to a chinese geek publically posting in china that Xi Jinping needs to be replaced. Equivalent, here look, us state-funded news agency posting discussions about how trump needs to be replaced: https://www.
418.
by dnautics 6mo ago
> the answer is that Andrew naively believes that they can recreate comparable optimization. That's exactly wrong. > There are a whole lot of misstatements about Zig and other matters in the comments here by people who don't
419.
by dnautics 6mo ago
> I would expect many Chinese geeks to have the same values as us for the greater good of humanity. Yes, they just can't talk about some of those values publically.
420.
by dnautics 6mo ago
They're just removing the obligate dependency. I'm pretty sure they will keep it around as a first-class supported backend target for compilation.

More ›