dnautics

23 ms·

691.
by dnautics 1y ago
One of the creators of posits here (I came up with the name and i think ES is my idea, did the first full soft versions in julia, and designed the first circuits, including a cool optimization for addition). my personal stance is that posi
692.
by dnautics 1y ago
Is it easy to build out a custom backend? I haven't looked at it yet but I'd like to try some experiments with that -- to be specific, I think that I can build out a backend that will consume AIR and produce a memory safety repor
693.
by dnautics 1y ago
I wrote a custom bioinformatics pipeline (CLI) in Elixir the other week. Not a terrible experience. Being able to save annotations to a binary and unpickle using term_to_binary was amazing.
694.
by dnautics 1y ago
You can get this easy by reformulating gravity's effect on spacetime as slowing down the speed of light/causality and putting a natural bound that asymptotically approaches zero. It should agree with GR everywhere except at extre
695.
by dnautics 1y ago
> it's not progressing in a consistent direction I've maintained a project in zig since either 0.4 or 0.5 and i dont think this is the case at all. supporting 0.12 -> 0.13 was no lines of code, iirc, and 0.13->0.14 was j
696.
by dnautics 1y ago
There isn't a real one yet, but to scratch an itch I tried to build one for Zig. It's not complete nor do I have plans to complete it. https://github.com/ityonemo/clr If zig locks down the AIR (intermediate
697.
Clr: Proof of concept compile-time safety for Zig [video](youtube.com)
6 points by dnautics 2y ago|1 comments
698.
Show HN: CLR, POC borrow checker for Zig(github.com)
23 points by dnautics 2y ago|1 comments
699.
by dnautics 5y ago
Your wish is my command. (Haikus don't have to have exact syllable counts) This will be my last post on hn ever.
700.
by dnautics 5y ago
>But most scientists trust the peer review process We really don't. There's so much stupid stuff that gets published on the daily. And then, you publish a paper refuting a lot of the nonsense, and people start citing your pape
701.
by dnautics 5y ago
A small drone places a dynamite stick at a vulnerable spot Edit: spacing
702.
by dnautics 5y ago
> the safety, correctness and strict type system is absolutely necessary for maintainability and refactoring purposes alone Erlang would beg to differ, and it has been continuously running on systems with uptimes longer than rust has exi
703.
by dnautics 5y ago
Just speculation but it might be because AMD does focus a ton on the HPC GPU market which is huge cash cow for them so you drivers are likely to be taken care of.
704.
by dnautics 5y ago
These questions are answered in the op paper
705.
by dnautics 5y ago
I'm sorry, that is simply not the case, neither at the protein level nor at the DNA level. Furin cleavage sites have diversity. The canonical minimal furin cleavage site sequence is RX(R/K)R, which had a highly variable amino aci
706.
by dnautics 5y ago
do you understand that there is no one "the sequence"? At best you could be referring to it as "a furin cleavage site"/"a sequence". Moreover, we know that the specific furin cleavage sequence in the SAR
707.
by dnautics 5y ago
For starters, phoenix has had "support" for the equivalent of fiber-safe database connection pools forever, and it's advanced enough that you can concurrently run tests that checkout database "sandbox" transactions
708.
by dnautics 5y ago
You're free to call me an armchair analyst and trivialize my 10 years of experience in the biological sciences, sometimes working 100 days straight, 100 hour weeks (paid at 26k USD in an expensive us city, no less), more importantly br
709.
by dnautics 5y ago
Omg you fell for that article. Look at those dendrograms carefully. They bias to load up the dendrograms with "degenerate sequences" with very close/obscure accession numbers, and basically hide the diversity of viral seque
710.
by dnautics 5y ago
> How rare? Zero other exact matches, in the database. An n of 1 has infinite variance. The relevant rarity, though is not the database, but rather "in the universe of viral sequences. The database biases for sequences that we&#x2
711.
by dnautics 5y ago
You suggested them. The only real one I can think of is price inflation, and that's like nothing next to the destructiveness of the fed. If you don't understand why arraignments for minor violations are awful for the working poor,
712.
by dnautics 5y ago
There are other first order effects that government does (e.g Inflation, arraignments for infractions, vehicle infraction revenue cutting) that drown out those second order effects. Fix those first.
713.
by dnautics 5y ago
You're changing the statement and also using bad logic. The statement was "does not hurt the poor [relative to the current situation]", not "make things better for the poor", or any standard of fairness you've
714.
by dnautics 5y ago
It's a big deal, you need about 1/3 of sel4 proofs
715.
by dnautics 5y ago
Everything you wrote is mathematically true no matter how you arrange your tax brackets unless you want brackets with negative marginal post tax income. So what is your point?
716.
by dnautics 5y ago
I think most people who advocate for flat tax advocate for a single bracket: a flat percentage with a single income deduction, which is asymptotically flat. So e.g. take 15% of (your income - 40k). This would not hurt the poor.
717.
by dnautics 5y ago
For the record, I don't think that's as big a deal. Aside from the generational wealth thing, which I am certain biases the founding type, some of the best founders came about because they had nothing to lose.
718.
by dnautics 5y ago
> You are supposed to start your own company This is not always good advice. Maybe you suck at marketing. Maybe you suck at coming up with things people like. Maybe you suck at raising money. Maybe you don't have any network at
719.
by dnautics 5y ago
Damn I passed through Roswell three times and never knew about it!
720.
by dnautics 5y ago
Well not Goddard's work. Probably solid rockets have a different lineage, too.

More ›