nextos

57 ms·

841.
by nextos 3y ago
Came here to say the same thing. Also, it pushes commas, full stops, and hyphens to hang over the margin. The typeset outcome is much more pleasant to the eye.
842.
Dorothy Bishop on the prevalence of scientific fraud(statmodeling.stat.columbia.edu)
31 points by nextos 3y ago|1 comments
843.
by nextos 3y ago
And magnesium + boron. I know several multiple sclerosis patients that deliberately overdose vitamin D under medical supervision. Despite relatively high doses (~2.5e4 IU / day) they do not suffer from hypercalcemia. Of course, they av
844.
by nextos 3y ago
That is because you have not used contracts when you started developing your code. Likewise, it would be hard to enforce structured programming on assembly code that was written without this concept in mind. Contracts can be quite easy to u
845.
by nextos 3y ago
AI might help programmers become more rigorous by lowering the cost of formal methods. Imagine an advanced language where simply writing a function contract, in some kind of Hoare logic or using a dependently-typed signature, yields provabl
846.
by nextos 3y ago
I thought the idle consumption difference was much larger than 15 W. Do you have any links to reliable benchmarks?
847.
by nextos 3y ago
Also Intel CPUs have much lower consumption while idling, right? As much as I like AMD, I find this a significant advantage for a workstation / small server.
848.
by nextos 3y ago
For things that do not require more expressiveness than what Stan offers, I have found the speed and quality of sampling is outstanding. Furthermore, thanks to static typing, complex models are easy to write. To be fair, Pyro is also great
849.
by nextos 3y ago
pg uses vi, see: http://www.paulgraham.com/pfaq.html . Others do Lisp in a variety of IDEs. I prefer Emacs, but it is not the only option.
850.
by nextos 3y ago
Interested as well! But the future is not so dark, things like e.g. https://github.com/lh3/minimap2 are a breath of fresh air.
851.
by nextos 3y ago
The term you need is focused research organization (FRO). Eric Schmidt funds some via https://www.convergentresearch.org . There are other similar funding entities devoted to specific domains. Nature has written a few times about
852.
by nextos 3y ago
> How exactly to make it a better product? What is a better product? I meant a better product for programmers. There are lots of discussions on HN about this topic, e.g. https://news.ycombinator.com/item?id=36530607 . In
853.
by nextos 3y ago
More content creation, programming, etc. The iPad won the tablet wars, but it is still a small niche product compared to PCs. Note how Apple is trying to claim their iPad customer base in EU is relatively small (< 45M) to avoid being reg
854.
by nextos 3y ago
It is a shame, as the iPad could become a much better product with a little more openness.
855.
by nextos 3y ago
I know, but the dominant trend was to (try to) predict diseases by calculating genetic risk scores, ignoring any environmental contributions. This trend is even known as genetic determinism. There is a whole generation of senior academics w
856.
by nextos 3y ago
Genetics is great, but a bitter lesson from the last decade for those who believed it was the major driver of disease is that the environment has a stronger effect. If we ignore Mendelian traits, i.e. rare diseases, ankylosing spondylitis a
857.
by nextos 3y ago
It was also incredible how standards-compliant they were. Google Reader was feeding on RSS data, and Google Talk was a XMPP/Jabber client that respected federation and all that. Google was even pivotal for the development of Jingle, XM
858.
by nextos 3y ago
I love this comment because IMHO most organizations that have become dysfunctional host a large number of individuals that have hacked the company ranks the way you describe. The pattern is identical in other industries and even in academia
859.
by nextos 3y ago
Came here to say the same thing. Nix can even configure Emacs with all packages, so that everything is static, deterministic, and reproducible. I am actually looking forward to the possibility of running NixOS on MacBooks.
860.
by nextos 3y ago
I agree with the OP but only partially. UniProt is a good counterexample of a database that has been built by extracting knowledge from publications and that is incredibly useful. But it took decades of expert hand-curators going through pi
861.
by nextos 3y ago
Sure, I am thinking a bit ahead. That is, a Mac Mini / Studio / Pro with a M3 Max / Ultra could be interesting.
862.
by nextos 3y ago
With VAT, I think most EU countries mandate advertised prices to include VAT. Still, US sales tax is low. EU is >= ~20% almost everywhere.
863.
by nextos 3y ago
I don't think it is? But I would love to be wrong. Cheap mobile Nvidia cards outperform regular M2 chips on small learning tasks. M3 Max might be a contender, but Metal is far from CUDA yet? A laptop M3 Max looks like it can compete wi
864.
by nextos 3y ago
Here in EU, the price I get in the local Apple Store is 2029€ = $2153.
865.
by nextos 3y ago
Will these M3 chips be competitive against cheap Nvidia cards for training small and medium sized networks? M2 weren't, and Metal support on Torch was sketchy. Getting better lately, though.
866.
by nextos 3y ago
Exactly, a calm black and white design does not need to be unfriendly. Hubbard & Hubbard or MacKay are two examples of beginner-friendly books with great typesetting.
867.
by nextos 3y ago
Or Nielson & Nielson, discussed previously in HN: https://link.springer.com/book/10.1007/978-3-662-03811-6
868.
by nextos 3y ago
I dislike the typesetting changes that came after the second edition. It was a really elegant book, reminiscent of other classic Springer Undergraduate Mathematics Series tomes. Lots of distracting color, highlighting, and boxes were added,
869.
by nextos 3y ago
On the same topic, these lecture notes are pretty approachable: https://cs.au.dk/~amoeller/spa There is also this course, partially based on Cousot & Cousot, i.e. the OP: https://janmidtgaard.dk/aiw
870.
by nextos 3y ago
That is true. Traditional soaps are quite messy. One trick with Dr Bronner's is to rinse with vinegar afterwards to balance pH.

More ›