nextos

22 ms·

361.
by nextos 2y ago
It's a really interesting car. Right there with the Honda S2000 one of the most interesting cars in the last 25 years. Sadly, both Nissan and Honda have failed to create a saga.
362.
by nextos 2y ago
Since the host country rarely retains the majority of the students, it can be a win-win. Some go back home with a good education and fresh ideas.
363.
by nextos 2y ago
> The idea was to provide worker visas to engineers who did well and graduated from good American universities Some EU countries offer scholarships to attract good foreign undergrads and grad students to their universities. The whole poi
364.
by nextos 2y ago
Me too. Low-profile is nicer to joints in the long run, and also makes me type faster due to low-travel switches. Bonus points if it has a little bit of negative tilt. In this regard, I found Microsoft Sculpt really good because it ticked a
365.
by nextos 2y ago
Omni Group, Panic, and Cultured Code produced and still maintain great software. But I also feel that Mac software stopped sparking joy around the mid 2010s.
366.
by nextos 2y ago
SailfishOS is pretty decent on mobile, as in a simple system that moves slowly. You can get support for Android apps with an emulation layer. Even banking apps tend to work well. Sadly, to get a license from the US you'd need a EU IP a
367.
by nextos 2y ago
Some startups are paying pretty good salaries, maybe not at the level of Google, but fairly close from what I've seen in recent recruiter messages. If you consider that many offer a hybrid working policy and this lets you relocate to a
368.
by nextos 2y ago
Insulin-specific immunotherapies are currently under development. We will soon be able to restore tolerance to insulin, and other pancreatic antigens such as GAD-65, without the need for broad immunosupressants. Ideally, this should stop β
369.
by nextos 2y ago
Automation of Hoare logic is quite good these days. Dafny, from MS Research ( https://dafny.org ), is probably the most friendly formal language of any kind. It's built around Hoare logic and its extension, separation logic.
370.
by nextos 2y ago
I was coming here to say this is a survival analysis problem, and thus a different branch of probability and statistics. However, you can also frame it as a stochastic process if you have extra epigenetic data that is associated to those 50
371.
by nextos 2y ago
Sure, but Coalton has decent interop with CL. Eventually, I expect this to be a relationship similar to Java and Scala or Clojure.
372.
by nextos 2y ago
CLOS is great, but CL also supports pure typed FP with https://coalton-lang.github.io Coalton progress is discussed briefly in the OP: https://lisp-journey.gitlab.io/blog/these-years-in-common-li...
373.
by nextos 2y ago
I wonder if this will have a similar effect to Brexit. When the Brexit referendum outcome was Leave, I was in Cambridge. The head of one of the largest departments at the university told me the week following the result most applicants who
374.
by nextos 2y ago
A comment in Nature is oddly ignoring the risks: https://www.nature.com/articles/d41586-025-00503-7
375.
by nextos 2y ago
A new risky gain-of-function experiment performed by the Wuhan Institute of Virology demonstrates infection and broad host tropism in humans using HKU5-CoV-2. This virus is closely related to the lethal MERS-CoV, responsible for the 2012 Mi
376.
Bat-infecting merbecovirus HKU5-CoV can use human ACE2 as a cell entry receptor(cell.com)
3 points by nextos 2y ago|3 comments
377.
by nextos 2y ago
Some auras have a musculo-skeletal origin. For example, some neck issue irritates a nerve or alters the pressure in a blood vessel, which in turn affects the optic nerve. I have suffered them myself, and they always came in a sequence: arm
378.
by nextos 2y ago
The xLSTM could become a good alternative to transformers: https://arxiv.org/abs/2405.04517 . On very long contexts, such as those arising in DNA models, these models perform really well. There's a big state-space
379.
by nextos 2y ago
Factor graphs are well discussed in David Barber's excellent free BRML book: http://web4.cs.ucl.ac.uk/staff/D.Barber/textbook/140324.pdf Judea Pearl described it as an excellent Bayesian textbook. There&
380.
by nextos 2y ago
It's not your fault, these can get messy very quickly. Infer.NET was started because Tom Minka and other Bayes experts were tired of writing message passing and variational inference by hand, which is both cumbersome and error prone on
381.
by nextos 2y ago
That's a great recommendation. IMHO, the single most important factor is having a good supervisor. A professor that has placed a significant proportion of his students at tenure-track jobs indicates that the research group is probably
382.
DeepComputing RISC-V Mainboard(frame.work)
3 points by nextos 2y ago|0 comments
383.
by nextos 2y ago
OP here. Perhaps I didn't explain it well, but I think the key is to de-incentivize bad behavior, and to make sure people publishing have some skin in the game. Right now, it's the opposite. The system rewards flashy findings with
384.
by nextos 2y ago
This is why funding replication studies and letting people publish null results and reproductions of important results is fundamental. It will introduce a strong incentive to be honest. Liars will get caught rather quickly. Right now, it of
385.
by nextos 2y ago
Sadly this stems from a structural problem in biology and medicine, and is far from exclusive to the field of Alzheimer's. Some reforms are urgent, otherwise progress is going to be incredibly slow. The same pattern is repeated again a
386.
by nextos 2y ago
Vimperator was even better, and allowed a very smooth operation of most Firefox without using the mouse. Sadly, it was killed by the transition to a new plugin API. Vimium and other current options lead to quite some friction, as Firefox di
387.
by nextos 2y ago
AFAIK, that's how lots of restaurants keep their stock chilled, at least in my area. They have relatively noisy exchangers outside connected to their fridges that are indoors.
388.
by nextos 2y ago
How is the build quality and cooling compared to Thinkpads? I saw some praise (e.g. from DHH) as well as some very critical Reddit posts. In EU, Thinkpads are sadly very overpriced, except cheap E/L models. The price gap compared to th
389.
by nextos 2y ago
NixOS is something to consider. It is easy to use if all you need is packaged inside NixPkgs (which is enormous). A bonus point is stability. You can upgrade without fear, including changes that would be pretty risky in other distros. You c
390.
by nextos 2y ago
IMHO, there are strategies that could extend this approach to many other domains. I was discussing this idea (along with a small prototype) with a prominent symbolic AI researcher who also agrees, and thinks that with the emergence of RL as

More ›