nextos

5 ms·

31.
by nextos 4mo ago
True, there's also another factor about not having to be tied to a geographic spot, housing costs. In EU, even relatively good IT salaries are mediocre when you factor in monthly rental. A simple one-bed apartment can easily take 50% o
32.
by nextos 4mo ago
But, if I have understood correctly on a quick read, they also claim transformers have pretty low expressive power. In particular, they claim they are limited to star-free subregular languages, whereas RNNs can recognize any regular languag
33.
Warren's Abstract Machine: A Tutorial Reconstruction(github.com)
52 points by nextos 4mo ago|6 comments
34.
by nextos 4mo ago
Yes. However, there are some polygenic risk scores for EDS. While not approved for clinical practice, they can serve as guidance.
35.
by nextos 4mo ago
What treatment did your wife receive? Did she improve? Did doctors confirm Ehlers Danlos with genome sequencing?
36.
by nextos 5mo ago
I think firmware updates and even map routes can be uploaded offline by mounting the watch as a USB mass storage device? I wish Casio, Polar, Suunto and others provided this functionality. There is some community software for Polar that ena
37.
by nextos 5mo ago
Garmin can be used completely offline? AFAIK, they even have some watches with no radio hardware so that they can be used in sensible environments.
38.
by nextos 5mo ago
> a rolling release like NixOS is exactly the opposite of an LTS distro NixOS is not rolling release. This is a common misconception. You can use the unstable channel, which is a rolling release, or the regular channels which get release
39.
by nextos 5mo ago
I would say NixOS, where it is trivial to switch across releases, run software from different releases, and perform rollbacks. I have been running NixOS on several servers for more than a decade. No reinstalling, upgrading, or any breaks wh
40.
by nextos 5mo ago
I am also considering to buy 3-4x RTX 6000 Pro 96GB plus some Ryzen workstation with a grant. Is this the best general-purpose choice as of 2026 with $50k for training, fine-tuning and running large open models?
41.
by nextos 5mo ago
That might emerge as one of the main tasks of future software engineers, writing formal specifications by hand. It could be the case that Tony Hoare was right, just too early.
42.
by nextos 5mo ago
Good clothes can be definitely stitched. Some brands even offer free or reasonably priced repairs. Patagonia or Citizen Wolf are two examples that spring to mind, and it's even more common once you cross a certain price point. Same app
43.
by nextos 5mo ago
This is happening in large parts of the EU as well. It's pretty mind blowing. Since the mid 2010s, the new build construction rate has slowed down to alarmingly low levels. A few years before that, there was an oversupply, yet they kep
44.
by nextos 5mo ago
uBiome is probably the biggest one: https://ycombinator.fyi/exhibit/ubiome A shame, because the idea was good. And, with a bit of patience, it was doable.
45.
Hantavirus latest: Virus-hit cruise ship leaves Cape Verde for Canary Islands(bbc.com)
4 points by nextos 5mo ago|0 comments
46.
by nextos 5mo ago
> languages really don't matter. Just pick up the details for the paradigm True. The best programming books also reflect this ethos. Some people think Introduction to Functional Programming (1989) by Bird & Wadler is the best pr
47.
by nextos 5mo ago
IB questions require at least a mid-range calculator to obtain e.g. the ccdf of chisq, t, and other distributions. In the exam, you'd also be at a disadvantage without advanced graphing.
48.
by nextos 5mo ago
Dafny and F*, which competes directly with Lean but is more guided towards SWE, are definitely worthy of consideration.
49.
by nextos 6mo ago
I agree granting processes permission to read any file is unsustainable. In Linux, sandboxing with Firejail or bwrap is quite easy to configure and allows fine-grained permissions. Also, the new Landlock LSM and LSM-eBPF are quite promising
50.
by nextos 6mo ago
Seconded. All the Haskell people from Chalmers have produced very interesting work. Another example is Agda.
51.
by nextos 6mo ago
Different methods find different things. Personally, I'd rather use a language that is memory safe plus a great static analyzer with abstract interpretation that can guarantee the absence of certain classes of bugs, at the expense of
52.
by nextos 6mo ago
Also Claude owes its popularity mostly to the excellent model running behind the scenes. The tooling can be hacky and of questionable quality yet, with such a model, things can still work out pretty well. The moat is their training and fine
53.
by nextos 6mo ago
Even small brand new apartments tend to have their own sauna, which is quite impressive.
54.
by nextos 6mo ago
That's a very fair point. There are some publications showing lower performance for languages with less training data. I imagine it also applies to different paradigms. Most training code will be imperative and of lower quality.
55.
by nextos 6mo ago
It should be better for the reasons explained in the article. Pure functions require no context to understand. If they are typed, it's even simpler. LLMs perform badly on code that has lots of state and complex semantics. Those are har
56.
by nextos 6mo ago
I think LLMs are great at compression and information retrieval, but poor at reasoning. They seem to work well with popular languages like Python because they have been trained with a massive amount of real code. As demonstrated by severa
57.
by nextos 6mo ago
You have a point but current LLM architectures in particular are very fragile to data poisoning [1,2]. [1] https://www.anthropic.com/research/small-samples-poison [2] https://arxiv.org/abs/2510.071
58.
by nextos 6mo ago
Interesting, thanks for your replies. You should consider publishing a patient case report somewhere, as I believe there are lots of valuable conclusions to be extracted from your work.
59.
by nextos 6mo ago
This is very impressive, top labs doing research often don't have experimental designs that are this elaborate. Was the TCR and BCR-seq you conducted helpful to design cell therapies, neoantigen vaccines, and monitor progress? Given th
60.
by nextos 6mo ago
Previous discussion: https://news.ycombinator.com/item?id=47550016

More ›