nextos

55 ms·

541.
by nextos 2y ago
The Basque Country has a GDP (PPP) of 108 [1]. Higher than France (101), as an average, or Italy (97). I'd say its a well developed region comparable to Northern Italy. Both were badly hit by the Euro. Had they kept their own currencie
542.
by nextos 2y ago
Mondragón is where it started, to raise the standard for disadvantaged workers. But lots of employees live and work in much nicer spots like the San Sebastián area. Many engineering and hardware companies all around the Basque Country are
543.
by nextos 2y ago
I'm confused by this statement. For me Linux boot is incredibly fast, even on old machines with slow storage. For example, my MacBook Air 11 (running Linux) boots to login so fast I barely see any boot logs. systemd-analyze reports the
544.
by nextos 2y ago
I think it is already seeing some adoption at normal & boring companies, which is a sign of maturity. Frankly, the biggest problem is that it needs some better docs, i.e. some serious corporate funding to get them written.
545.
by nextos 2y ago
Sure, but if you run the same Nix flake on two macOS machines with the same architecture, it will have the same behavior. Most of package managers don't offer that guarantee. Only Guix has a similar level of assurance? Nix openly recog
546.
by nextos 2y ago
I collaborate with people that use macOS while I use Linux. For reproducible environments, Nix has served us well. Despite the myth, it is not hard to use unless you need to package something complicated or messy. Then it may become hard.
547.
by nextos 2y ago
As a starting point https://d2l.ai/chapter_preliminaries/index.html and https://d2l.ai/chapter_appendix-mathematics-for-deep-learnin... is enough.
548.
by nextos 2y ago
Try NixOS. It's the most important advance for Linux in many years. It hides a lot of complexity. Most systems can be configured with a file that is just a sequence of key-value pairs. For example, enabling PulseAudio is simply: hardwa
549.
by nextos 2y ago
This is a didactic exercise. Julia is fantastic, but lacks funding to develop a differentiable programming ecosystem that can compete with Torch or Jax. These two have corporate juggernauts backing them. Still, it is quite remarkable how fa
550.
by nextos 2y ago
I know, this is why I said it's not perfect.
551.
by nextos 2y ago
This is why Linux should be taking things like the xz exploit more seriously and, at least, adopting a solution like firejail or bwrap everywhere. It's not a perfect solution, but it's a step in the right direction towards patchin
552.
by nextos 2y ago
What freaks me out is that clearly many large manufacturers design boxes so that it is easy to resell returned products as new. Lots of mobile phones are packaged with weak seals that do not damage the cardboard once taken out. Google does
553.
Apps for GNOME(apps.gnome.org)
1 points by nextos 2y ago|0 comments
554.
by nextos 2y ago
I had looked into Elixir/Erlang + ML before, and I keep revisiting it for Python alternatives. How developed is Elixir/Erlang in this area? What are the key advantages?
555.
Automated programming, symbolic computation, machine learning: my personal view(link.springer.com)
4 points by nextos 2y ago|0 comments
556.
by nextos 2y ago
IMHO we should go beyond this. In biology and medicine, you need to spend a significant amount of money to catch errors, as you have to reproduce huge costly experiments. I think NIH, Wellcome and other funders should consider creating a r
557.
by nextos 2y ago
I experienced some of these issues. For me, what eventually clicked is either simple automated tiling (xmonad with fullscreen and split horizontal/vertical) or Emacs-like manual tiling (StumpWM). I don't have a huge screen, so mor
558.
by nextos 2y ago
IMHO, Airbus is a good counterexample of how EU could do things better. It's not perfect, but it's competitive and successful. Lots of countries contributed to its success, leaving (most) political issues aside.
559.
by nextos 2y ago
I've joined some large EU efforts in the past, and it's always like this. Lots of different parties involved focused on producing tons of absurd documents, and nothing else. Some have good intentions, but it doesn't matter. T
560.
by nextos 2y ago
This is a very accurate, and very depressing, summary of why EU is stuck since the 2000s. Most EU tech and non-tech companies, with some notable exceptions like Spotify, have this mentality.
561.
by nextos 2y ago
I found it decent for niche languages like Haskell and Isabelle/HOL. Isabelle is quite challenging, but there is a mid-sized corpus to train on. So I was hoping the opposite would be true, but maybe just wishful thinking.
562.
by nextos 2y ago
Does this mean that according to EU, or France, E2E-encrypted platforms need to "cooperate" (provide backdoors)? Or does it refer to public channels only?
563.
by nextos 2y ago
Perhaps st: https://st.suckless.org
564.
by nextos 2y ago
It was indeed a really nice car, especially in the US, where leasing price was reasonable. I am also upset that Smart failed at turning their ForTwo into an affordable EV. Two great small cars that are gone.
565.
by nextos 2y ago
The problem is that avoiding microplastics in food is really hard . Lots of food that is not packaged in plastic is full of microplastics. These are leaking into food during processing or from the environment. Car tires are full of plastic
566.
by nextos 2y ago
The Notmuch client is also really well done.
567.
by nextos 2y ago
My bank used to do this. They also forced you to type things for certain operations using a screen keyboard where key labels were shuffled.
568.
by nextos 2y ago
Alternative mobile OSes may work for banking apps, it's hit or miss. For example, SailfishOS (perhaps the only viable Linux distribution on phones, a successor of Nokia N770-N9) comes with an Android emulation layer if you purchase the
569.
by nextos 2y ago
Thanks. It's a toy at the minute, there is nothing super impressive. Taking this forward would require a lot more work and funding to pay for computation to fine-tune models further. It's an interesting topic, perhaps good for a s
570.
by nextos 2y ago
Mostly autonomous, with a bit of guidance, but this might be because the training set has examples that are similar enough, making interpolation easy.

More ›