nextos

30 ms·

511.
by nextos 2y ago
The basics of Emacs are not that hard. One of my introductory freshman courses taught us XEmacs in parallel, as we went through Lex & Yacc. Basically you need to learn a few basic movements, which are also really useful on any terminal
512.
by nextos 2y ago
A key subject is Logic. Logic is the Calculus of CS and should be your first stop. I recommend: * Logic for Computer Scientists by Uwe Schoening * Logic in Computer Science by M. Huth and M. Ryan The first one is short, very elegant and
513.
by nextos 2y ago
True. The paradoxical thing is that even organic agriculture doesn't currently care much about microplastics given that they are not tested. It's a huge blind spot.
514.
by nextos 2y ago
It's about reducing costs for the producers and supermarkets, ignoring externalities. That is, tons of plastic that doesn't get recycled and goes to the landfill. Now the issue seems worse as another important externality are adve
515.
by nextos 2y ago
AFAIK, glass is super stable. It won't shed anything significant unless you grind it, at least according to the literature.
516.
by nextos 2y ago
Some EU supermarkets used to have a circular glass system where products were brought in bulk, and only canned in glass inside the shop, sometimes by the customer. Bottles were then returned after use, washed locally and reused many times.
517.
by nextos 2y ago
This is probably one of the most prominent studies till date: https://pubmed.ncbi.nlm.nih.gov/38446676 Microplastics and nanoplastics in atheromas and cardiovascular events. N Engl J Med. 390(10):900-910, 2024. Summary: P
518.
by nextos 2y ago
I think Python's OO is a bit suboptimal even if the goal was to have method-centric OOP like in C with classes. For example, mechanisms to hide information, a fundamental part of the OO paradigm, are hacky. You need to use name manglin
519.
by nextos 2y ago
It's a shame Python has a strong anti-FP stance with crippled lambdas. And an OO system that looks like it has been bolted in, compared to Ruby which is essentially a Smalltalk with Perl-like syntax and some Lisp influence. These two i
520.
by nextos 2y ago
Was the plan all the time to go B2B (drug development) and they just used B2C (selling SNP kits) to hoard samples? Even considering all FDA limitations, I cannot understand how bad their genetic risk scores are. They have talent, they have
521.
by nextos 2y ago
That's so true, you can write Fortran in any language! I've seen great Java codebases and atrocious Clojure out there. Developing good non-over-engineered abstractions is hard . But with Lisp it's a bit easier. Some places d
522.
by nextos 2y ago
Sadly Common Lisp, Scheme, Clojure, Julia, OCaml, F# and Haskell jobs are quite scarce. For example, right now, I can only see ~50 LinkedIn EU Clojure ads. A dozen more mention Clojure but it does not seem to be the main focus of the job. W
523.
by nextos 2y ago
Isabelle also has a fairly large set of mathematical proofs and supporting libraries, see https://www.isa-afp.org . People routinely publish new proofs there, it is actually a regular referred journal.
524.
by nextos 2y ago
What about Roc or Koka? Or simply moving to OCaml? It's looking pretty great after v5, with multicore and effect handlers.
525.
by nextos 2y ago
> But learning functional programming through Haskell [...] had a quite formative effect on how I write code. I think it is a shame Haskell has gained a reputation of being hard, because it can be an enriching learning experience. Lots o
526.
The State of Full-Stack OCaml [video](youtube.com)
4 points by nextos 2y ago|0 comments
527.
by nextos 2y ago
I don't think British India can be described as a Golden Age, when it was arguably the biggest transfer of wealth in history. When the British started colonizing India, its share of the World GDP was approximately between 1/5 and
528.
by nextos 2y ago
This is really terrifying, I am so sorry.
529.
by nextos 2y ago
That's the problem. If I'm not going to use an iPhone, it's wasteful. Why not letting me do that, at least, from a Mac or an iPad?
530.
by nextos 2y ago
Less red tape, more freedom to operate. If done inside a conglomerate, it can be the best of both worlds. Access to Google tech and funding, but free from rigid corporate hierarchies, at least at the beginning.
531.
by nextos 2y ago
This is why they should go full conglomerate and spin off companies all the time. Otherwise, with those expectations, it's impossible to build something good and impactful.
532.
by nextos 2y ago
FWIW, I don't use Apple anymore. But I think this would be a nice product and it'd also stimulate the market. Right now, most expensive fitness trackers rely on smartphones. I think only Garmin and Polar can be set up without a sm
533.
by nextos 2y ago
I really wish they made it independent of the iPhone. I think for people that only use smartphones occasionally, it'd be ideal to have just a watch and a desktop/laptop. It'd also be a great move by Apple towards reducing dis
534.
by nextos 2y ago
> Something is broken at Mitsubishi. Beware. It could be Boeing syndrome. This is sadly happening to many companies, I guess it's part of the lifecycle, and a signal they are approaching the dysfunctional phase that precedes death.
535.
Poliovirus that infected a Chinese child in 2014 may have leaked from a lab(science.org)
46 points by nextos 2y ago|24 comments
536.
by nextos 2y ago
That's something natural, touch interfaces need to be simpler. I didn't miss any normal functionality without access to a keyboard.
537.
by nextos 2y ago
I don't use Gnome since the days of version 2, which was really nice and friendly. But I was impressed by how well the latest iteration works in a tablet. That's a great advantage, because it's the same UI as a desktop. Plus,
538.
by nextos 2y ago
Pharma and bio/tech startups in the area, mostly in Oxford and Cambridge Science Parks. So yes, local. The pharma & biotech sector is blooming in the Golden Triangle, which also includes London.
539.
by nextos 2y ago
I would also like to see those numbers. IMHO, the biggest difference comes from housing cost. For example, from my own back-of-the-envelope calculations, a £100k Oxbridge job affords a better lifestyle than a $180k NY job mostly because of
540.
by nextos 2y ago
Engineering biology is much much harder than simply knowing approximately how to fold proteins. Obviously folding proteins is an important first step. Arc Institute and others are already looking at whole cell models, i.e. systems biology

More ›