nextos

22 ms·

271.
by nextos 1y ago
Besides, at least in Linux, lots of kernel options can tweak Intel/AMD CPUs to make them mostly silent. The problem is that manufacturers don't put much thought into building good cooling systems. Lenovo, for instance, has so many
272.
by nextos 1y ago
> That's why those OS were mostly used by geeks and power users, and "regular" users were using feature phones that "just work". The N9, N900's successor, shipped with MeeGo 1.2 "Harmattan" and had
273.
by nextos 1y ago
Look into companies doing trials with a credible track record. For example, Immunocore has good T cell receptor designs to bind common antigens in breast cancer tumors. For solid tumors, including breast cancer, the protein ID is IMC-F106C.
274.
by nextos 1y ago
> Bayesian statistics Look into real-world examples in e.g. The Bugs Book (Lunn et al) or any of Gelman's books. Pyro and PyMC also have good real-world examples in their tutorials.
275.
by nextos 1y ago
Apple did skeuomorphism really well, which is hard and requires a lot of design work. I cannot understand why they gradually abandoned that, as it was clearly a competitive moat in terms of usability. I've seen how computer illiterate
276.
by nextos 1y ago
Makes sense. I have no experience with Vi-like layers built on top of Emacs, but I think standard Emacs is much easier to use right now than it was in the past. Most major packages work really well with zero configuration. There's even
277.
by nextos 1y ago
In what ways do you find VSCode or Cursor superior or more convenient to Emacs?
278.
by nextos 1y ago
> Eventually I got tired of dealing with the host of plugins and customizations The trick is to stick to as few packages and as little configuration as possible. And when opting to install a package, sticking to something popular and wel
279.
by nextos 1y ago
That seems to be a very old tutorial. It's indeed confusing that they host that on the official site. The official manual states equals is used for =verbatim= quotes: https://orgmode.org/manual/Emphasis-and-Monospa
280.
by nextos 1y ago
> How do you use it? I have a global bind for gptel-send (C-c g). Then, in any buffer, I typically type C-u C-c g. This lets me customize the prompt and lots of parameters, such as the context, before gptel-send is actually called.
281.
by nextos 1y ago
=string= leads to the text being transcribed verbatim. A good hint is to recall that the equals sign kinda implies verbatim.
282.
by nextos 1y ago
I've found Emacs plus gptel very pleasant to use. And following the ethos of Emacs, it is backend agnostic and very malleable. Besides, if you want something inexpensive, using Gemini 2.0 Flash as a backend is completely free. Google p
283.
by nextos 1y ago
It might be my Emacs bias, but I find Org much nicer as a format. For instance, timestamps and todo items make it trivial to use Org as a planner. This would be great to have in applications such as Apple Notes.
284.
by nextos 1y ago
AFAIK, Z-Library already does this, to some extent. Basic full-text queries do search inside the body of books and articles. It's a bit smaller than Anna's Archive, as they do host their own collections. From some locations, it&#x
285.
by nextos 1y ago
FWIW, I think pipewire has been enabled by default for some time in Nix right now?
286.
by nextos 1y ago
Changes were often designed to be impossible to perform if your architecture was not flexible, or to show your algorithms had poor time or space behavior. So, changes were designed both to test you were the author and to fail poorly desig
287.
by nextos 1y ago
The requested change was the same for everyone. They would have also run your project through a series of unit tests and would let you fix your code if they had encountered any bugs. Being able to implement the change was a necessary condit
288.
by nextos 1y ago
My school solved this quite well, I think. Homework wasn't graded. You were supposed to build a project or a series of projects. There was a practical exam at the end of the term where you were asked to make one big change to your home
289.
by nextos 1y ago
It's nice to see theorem proving gain some momentum in a mainstream mathematics topic such as analysis. In PLT, we already had a flagship book (The Formal Semantics of Programming Languages by Winskel) formally verified (kind of, it&#x
290.
by nextos 1y ago
I think Nix is getting an unfair reputation for being too hard. Simple things are IMHO simpler in Nix than in any other distribution, and what one needs to know to accomplish them is tiny. It has basically reduced my sysadmin maintenance ta
291.
by nextos 1y ago
Actually, the Danish economy was a lot more interesting (read more complex and diverse) a decade or two decades ago. Lots of mid-sized engineering companies, for instance. The government is rightly worried about things becoming a Novo Nordi
292.
by nextos 1y ago
They cite one of the works of Gert Smolka (Smolka and Panangaden, 1985), who was the original creator of Oz. But I agree that Van Roy and Haridi did a lot of research on functional logic programming back in the 1990s that seems to be ignore
293.
by nextos 1y ago
I don't think his book is meant to be read from cover to cover. It's useful in many ways, as an outline, as a reference, or as an entry point to your niche of interest. Let's say you are interested in diffusion models. You re
294.
by nextos 1y ago
Kevin Murphy's book, particularly volume 2, is really well organized and summarizes the state of the art: https://probml.github.io/pml-book/book2.html It's a really good entry point to current ML, written by
295.
by nextos 1y ago
Oxbridge suffered a lot of collateral damage from Brexit because of EU funding cuts and massive loss of EU staff and EU students, who now have to pay foreign fees (4-5x regular home fees). An increase in fees also made it prohibitively expe
296.
by nextos 1y ago
Appeal to tradition is reasonable in this context because of the Lindy effect: https://en.wikipedia.org/wiki/Lindy_effect . The longer something has been around, the more likely it's going to be around in the futur
297.
by nextos 1y ago
Apple is generally really good at trying to keep their machines silent. When they originally transitioned to Intel, their Core 2 Duo laptops were both cheaper and more silent than the competition. As a Linux user, that's one feature fr
298.
by nextos 1y ago
DeCODE, which was a very fancy Icelandic company roughly in the same niche as 23andme (founded in the 1990s!), also got bought by a pharma. Amgen in their case. For more background, see: https://en.wikipedia.org/wiki/De
299.
by nextos 1y ago
C# had the chance to learn from Java. Java was a bit rushed. Gosling said he was not given enough time to add closures. Even without generics, Java would have been quite elegant and much less verbose. The alternative, anonymous inner classe
300.
Concepts, Techniques, and Models of Computer Programming [pdf](webperso.info.ucl.ac.be)
2 points by nextos 1y ago|0 comments

More ›