nextos

8 ms·

121.
by nextos 9mo ago
True. The UK is somewhere in the middle and worth considering. London has decent investors and while they are not as risk-taking as SF ones, they are still quite reasonable. EU investors, with some tiny exceptions, are terrible in that rega
122.
by nextos 9mo ago
Regulators are generally really conservative. Spiegelhalter et al. already wrote a fantastic textbook on Bayesian methods for trial analysis back in 2004. It is a great synthesis, and used by statisticians from other fields. I have seen it
123.
by nextos 9mo ago
Well, you have many options. Given that you seem to have a good publication record, I'd expect a couple of offers after making 5 or 10 applications. If you are a good programmer, avoiding areas that are too hot (e.g. ML) and focusing o
124.
by nextos 9mo ago
A classic way to bridge the gap is to put a great academic brand on your CV. For example, you could work as a research assistant in CS for a famous university (e.g. Cambridge, Imperial, ETH). Since the salaries they offer are low, the compe
125.
by nextos 9mo ago
The Tiger to Snow Leopard era was fantastic. Things were simple and worked. There was also a great boutique apps ecosystem. Right now, it seems that macOS is going through its enshittification phase, sadly.
126.
by nextos 9mo ago
Yes, Gentoo is like NixOS, sort of a meta-distribution. Being the base of ChromeOS makes it highly influential. ChromeOS market share is >5% in many countries, sometimes around double digits.
127.
by nextos 9mo ago
Sounds a like a great solution, adding random skip connections so that information flows from the bottom to the top of the hierarchy. Certainly, few companies have managed to avoid this trap. It's largely an unsolved problem. I've
128.
by nextos 9mo ago
I think that because their total compensation is lower than FAANG, especially at senior levels, and they are seen as uncool, they sometimes have issues retaining top-notch talent. It's paradoxical, because MS Research is probably the b
129.
by nextos 9mo ago
15-20% cancers are caused by viral infections, probably more. E.g. EBV is strongly associated with several lymphomas. There are other significant clinical associations for HPV, HBV, HCV, HTLV-1, HHV-8, and many others.
130.
by nextos 9mo ago
Lots of viruses are really oncogenic. The real success here is the ability of Denmark to track effectiveness. It sounds crazy but most countries do not have electronic health record capability to measure the effect of many interventions at
131.
by nextos 9mo ago
OSMAnd and others can do offline maps and POI search if you want. You could also run Google Maps web through Tor if needed. Tor is easy to use on Android.
132.
by nextos 10mo ago
FWIW, Novo Nordisk also tried to kill their GLP-1 effort several times according to the project lead, Lotte Bjerre Knudsen: https://archive.is/oLnBl In large organizations, I guess a big chunk of success comes from being ab
133.
by nextos 10mo ago
The advantage of Apple is that they deal with a tiny amount of hardware. Vertical integration enables aggressive optimizations. I agree that in case of Linux, a udev rule generator would be a fantastic step ahead in terms of usability.
134.
by nextos 10mo ago
One of my favorite machines was the MacBook Air 11 (2012). This was a pure Intel machine, except for a mediocre Broadcom wireless card. With a few udev rules, I squeezed out the same battery performance from Linux I got from OS X, down to a
135.
by nextos 10mo ago
Probably, I would go through https://htdp.org . Excellent textbook, intended for non-CS majors as well. Builds solid timeless understanding.
136.
by nextos 10mo ago
The semantics of Dafny is carefully designed to make verification efficient. Dafny can compile to and interface with a few languages, including C#.
137.
by nextos 10mo ago
There are excellent probabilistic extensions to temporal logic out there that are very useful to uncover subtle performance bugs in protocol specifications, see e.g. what PRISM [1] and Storm [2] implement. That is not within the scope of TL
138.
by nextos 10mo ago
Yes, in fact there is research on type systems to ensure information flow control, avoiding unauthorized data access by construction. Concrete Semantics [1] has a little example in §9.2. [1] http://concrete-semantics.org/c
139.
by nextos 10mo ago
That's my opinion as well. Some functional language, that can also offer access to imperative features when needed, plus an expressive type system might be the future. My bet is on refinement types. Dafny fits that bill quite well, it&
140.
by nextos 10mo ago
In case of LLMs, due to RAG, very often it's not just learning but almost direct real-time plagiarism from concrete sources.
141.
by nextos 10mo ago
FWIW, Jolla just announced a new phone: https://commerce.jolla.com/products/jolla-phone-preorder
142.
by nextos 10mo ago
That was my point, it is not a disability from an education POV, or at least I would not consider it as such without an independent audit.
143.
by nextos 10mo ago
I reviewed incoming applications during one Oxbridge academic application cycle. I raised some serious concerns, nobody listened, and therefore I refuse to take part on that any longer. Basically, lots of students are pretending to be disab
144.
by nextos 10mo ago
Samsung has good hardware, but their software is really mediocre, at best. Many of their devices are laggy and slow down further after some updates. This is the case even on high-end devices. Our 12-month-old Galaxy Tab is slower than a 7-y
145.
by nextos 10mo ago
Some of the current EU ID cards are actually smartcards, so in terms of privacy guarantees and separation of concerns, we are moving backwards. I am also more comfortable with a low-tech solution that is not linked to my personal devices. S
146.
by nextos 10mo ago
Personally, I liked the low-tech solution of code cards + password (2FA), used by e.g. Denmark as digital ID, now discontinued. I am aware that it is imperfect, and if you are not careful with MITM attacks you can get in trouble, but it was
147.
by nextos 11mo ago
Dino (XMPP, https://dino.im ) is a great desktop client to talk to other XMPP clients, in particular Conversations, due to its broad support of XEPs.
148.
by nextos 11mo ago
This is a valid concern. Perhaps, if you are still interested in giving Linux a chance, you should consider immutable distributions like Fedora Silverblue or even going one step further with NixOS. NixOS has a declarative configuration that
149.
by nextos 11mo ago
IMHO, this remains a great space to explore. You type some formal specification in e.g. Hoare logic, and a mix of SAT/SMT and LLMs autocomplete it. Correct by definition. It would also facilitate keeping engineers in the loop, who woul
150.
by nextos 11mo ago
No, I haven't. I have used them with shallow embedding techniques that are relatively similar, but not in this way.

More ›