skysight-inc/HackerNews huggingface dataset:
List::map vs List_map is merely a syntactic difference. That's not the issue.

Mutable collections are invariant, immutable collections are covariant. Mutable collections do not support map in the mathematical sense, immutable collections do.

I didn't say that if you map List<A> to List<B> that List<B> is then a subtype of List<A>. That is only the case if A is a subtype of B. Rather, the ability to write map implies that List is covariant, and conversely, covariant types support map.

A type Foo<T> is covariant if T appears only as an output to methods and not as an input to methods. For such types you can implement map(f) by returning a proxy that calls the original object, but whenever a method returns a value v of type T you return f(v) instead.
If you can't afford to buy, then you doubly can't afford to rent. Money spent on rent is essentially burned. Do everything you can to avoid it.
that's why anyone should install a osmosis filter at home
Notch coding Minecraft comes to mind: https://www.youtube.com/watch?v=MhQ70O1MiXc

See also https://www.gun.io/blog/what-i-learned-from-watching-notch-c...
Maintenance is an often ignored life cycle cost factor. Especially for complex systems, e.g. planes or ships or stuff like that. The longer a system is operated the higher the obsolescence risk gets. In part because the need for spare parts is much lower than during initial production. With life cycles for individual components getting shorter keeping the cost effective mass production up is not worth it. And then system get really expensive to operate. Militaries all over the world feel the impacts.

That being said, the extension of maintenance, supply chain and logistics, is even more often ignored. I think modularization is a potential solution in the future, at least foe the defense sector. In civil aerospace the maintenance problem is under tight control, an aircraft that is not flying is just a cost factor. But then there is a lot of competition for civil aircraft maintenance, so single aource suppliers are rarer than for defence.
Social Capital's Chamath Palihapitiya on Falling for Ponzi Scheme of SV
Two quick questions for anyone that has already tested it:

- Does it include a dark theme by default, or not yet? :-/

- Can you install flatpak with `apt-get` or do you need to install some apt sources first?
I pulled a 1,500-year-old sword out of a lake
>I think it's an issue with SVG icons

How so??? SVG is a vector format
The problem with systems is emergent and unexpected behaviour.

Things can go very bad very quickly once a death spiral kicks in.
Apple's repair policies are terrible for the environment, entirely anti-consumer, and violate anything close to resembling the hacker ethic. But I doubt Rossmann's claim that the CBC video was the cause for Apple's action. It was probably his work in Albany on the Right to Repair bill where he was repairing legislators and staff laptops, on site, in the lobby of the building.
Quotes from Chanakya Neeti
They just have decided like Red-Hat did before them, that there is no money to be made on the Linux desktops and they better focus on IoT and server as long term survival plan.

There was a blog post about it.

Yet they still have one of the best laptop support.
The paper: http://people.csail.mit.edu/vlk/dawg-micro18.pdf
There are so many issues with that piece of software.
Please, go back to reddit with those insightful comments.
The main thing seems to be ensuring nutrient/hormone sufficiency. For example, keeping everything on a NutrEval + hormone + thyroid panel in range. Diet alone can maintain, but supplements are usually required to achieve sufficiency. A vitamin D (and magnesium) supplement is often needed either way.

Aging (rather than longevity) usually refers to vitality and skin quality. Wrinkling/Sagging isn't normal at any stage of development (up to menopause), though it is common. Sagging is usually due to poor lymph movement and muscle tone. Wrinkles are usually due to poor hydration. Both can be made worse by declining collagen/progesterone.

Maintaining nutrient sufficiency, following iodine protocol, and applying MSM lotion does a lot to slow "aging."
Earn Money by Driving on Uber – Uber Sign Up
Because there's a large subset of people that believe God wants all children to live, and simultaneously believe once they're out, they're someone else's problem. They never seem to connect the two.
10 IU D3 : 2 mcg+ MK-4. Vitamin K2 MK-4 becomes active at 1.5 milligrams, with some taking 5-9 mg daily: https://examine.com/supplements/vitamin-k/.
Is this only US based or wordlwide?
Couldn't agree more! Considering that up to 50% of total costs are actually coming from operating a system I'm still puzzled to what degree that is ignored.

Usually, you find that kind of "accountant" (a good one is worth his weight in gold in these cases) in the supporting bureaucracy. Actual user tend to understand the need for spare part availability and sound maintenance. Bureaucrats care about formalities, usually sitting in an office they have no incentive to be any different.
Ask HN: What is next?
Suppose that you have mastered CS as a hobby project. Let's say you have watched all the classic courses, like 6.001 2004, CS61A, Dan Grossman's Prog Langs, Programming methodology course by Gregor Kiczales, Scala courses by Martin Odersky, even the OCaml MOOC etc, etc. Basically, you have bootstrapped yourself to an equivalent of a major in CS (in a foreign language media) just for fun. Originally it was the way to practice English language.

Then you have realized that there is absolutely no market to this kind of knowledge. You are supposed to have top-tier CS degree from an Ivy league college to get a high paying job in the valley (not necessarily having a half of CS knowledge I've accumulated) or to compete on an online sweatshops like UpWork for $10 a task (well, I am exaggerating a bit).

It is rather a cliche that one need a framed diploma on the wall instead of possession of a book knowledge, especially in the age of outsourcing and remote sub-contracting - I am Jack's complete lack of surprise.

Of course, I know how wonderful it is to write an open source software for the benefit of humanity as a whole, or how to contribute to a top-tier open source project (hi all the guys who are sumbining minor typo corrections and insignificant code reorderings to ghc or golang) but I literally don't know what should I program and why.

This is, of course, related to the overcrowded market. The positions for writing, say, fintech in Haskell in a startup in London or improving Dotty in Geneva are quite limited, related to a population of 7 billion (so you better to have an Ivy leagues credentials indeed) and there is, of course, no demand for top-tier functional languages on Upwork. (I won't even touch PHP or Java, sorry).

So, what next, giving that I am 40+, which means no job prospects no matter what? To give it up and run some fast food joint or what not?
Imagine yourself as a resident of that "universe" (I prefer to think of it as "branch").

Why should a sequence of unlikely events be a distinguisher between different interpretations of a theory, which make the same probabilistic predictions as each other?
Users are not the customer - advertisers are. We don’t pay facebook to use it advertisers do.
I wasn't thinking in terms of a developer getting to the office. Personally, I don't think I've driven my car to work for at least the past ten years. Many days it doesn't leave the driveway. But there aren't adequate alternatives that would allow me to get rid of it altogether.
> why exactly you should be aware about the differences?

Because they aren't assured to be the same. They might happen to be the same on your current platform.

C++ isn't like Java. It's the programmer's job to be very aware of these sorts of platform-specific points of variation.

I don't see why you'd deliberately write undefined behaviour when there's no benefit to doing so. This isn't a purely academic concern - I've seen a malformed printf call wreak absolute havoc, presumably because it was stripping too much or too little data off the stack. Was a nightmare to track it down.

I don't want to think about which particular families of dangerous type-based mistakes are permissible in my codebase -- I'd rather write code which is correct.

> The only cases when I encounter these differences, they look like broken C++ compiler

If you write dangerous, non-portable code that invokes UB, you may well find that it works on plenty of real-world platforms. Your code is still wrong. For the specific case of assuming that `int` is 32-bit, you'll probably get away with this sort of clumsiness, yes, but 'ILP64' targets exist, even if they're rare.

Additionally, using `int` as a dangerous alias for `int32_t` is not expressive when it comes to readability.

> Technically UB, practically works fine in 100% of cases

UB can bite you in bizarre, unpredictable, intermittent ways, especially with optimising compilers.

Why argue that a bad habit isn't that bad, when you could just avoid doing it?

> If you ask “but how do you know it works?” I’ll answer “because I read assembly”.

That's a very fragile assurance of correctness. Unless you explicitly embed that assembly code, the compiler is free to generate different code at any point in future. Can you guarantee that you'll never change or upgrade your compiler, tweak its flags, or target another platform? Can you guarantee the optimiser will never change its mind and generate different code for that function?
Not with infinite precision.
The whole point of svg and (vector graphics) is that you can scale them to whatever you want.
Ladino, not to be confused with Ladin (also called "Ladino" in Italian), another romance language with few speakers from southern Europe: https://en.wikipedia.org/wiki/Ladin_language
Proof that quantum computers are inherently faster than classical
Interesting points!

What about the right collaborations tools. Which ones do you usually use?
That experiment really has nothing to do with actual pilot wave theories. It just rules out a fluid-mechanical analogue of quantum mechanics (which anyone could predict anyway since fluid mechanics isn't non-local in the same way).
Depends on the western country.

Italy, Greece, France, Spain are all for it...
That poor richest company, how could they survive with everyone pirating macOS running on KVM.
Because most tales humans produce right now are fanciful. People in the past told stories for many reasons, survival being one, fun another, their political conflict being yet another.

But also, I am quite confident contemporary researches don't take old tales as total lies, but neither as total truth.
For firefox at least, I don't think security patches are backported for OpenBSD, nor are newer versions. As the browser is the main way I view remote content, not being fully patched there is important to me.
SIMDized check which bytes are in a set
Or collect rain water in your own yard.

Or walk by police while black...

There are so many similar examples, that I wonder what this "free" part refers to anymore...

(Of course back in the day, even back in 1920 or so, Europe was a lot more regulated than the US).
Yeah... you mentioned

>>> maintainable, testable, extendable and configurable

but not reusable. I'm not blaming you, or disagreeing... C++ didn't produce reusable results for me either.

I dunno what you were doing 20 years ago, but I was doing this... there wasn't any problem with the classes being unclean or the boundaries cut in the wrong place. It was simply I was almost never going to use those classes a second time. If they had been C functions, I would not have needed them a second time, either, almost always.

After a year or two I realized that being the case, the entire loving OO encapsulation of then was not simply worthless but an active waste of time. And I went back to C.

If you get value from other C++ things that make it worth paying the price, that's great. But file away for a possible future horrifying 3am realization, perhaps nothing is worth the price of a gyre like boost, and just writing it in high quality C may be a better answer.
Using WhatsApp to chat with governments
Identity Diversification
Wayland is actually pretty stable. Nvidia has problem with OpenGL in Xwayland (i.e. 3d accel for x11 apps), otherwise, it should work.

There are warts though, when using Wayland. When using scaling (doesn't have to be fractional, either), X11 apps are being upscaled, not downscaled, resulting in blurriness. Unfortunately, neither Firefox nor Chrome does support Wayland natively, and who wants to use their most used app on their computer in blurry mode?
Electrical properties of dendrites help explain our brain's computing power
AOR Ortho-Core has many of these and is especially great when combined with Life Extension D + K and Doctor's Best High Absorption Magnesium.
Does 18.10 solve the Dropbox sync problem?
China to launch 'artificial moon' to illuminate city streets
The same command for me, also running on a Macbook, took just over 5 minutes, using conda 4.5.9. I also repeated inside a Ubuntu docker container with only miniconda installed and got the same.

It’s funny to me that you would expect operations involving “conda install anaconda” to be fast though. 11 minutes seems perfectly fast for that and would be comparable to pip or anything else if doing that huge of a set of package installs.

That is not at all a “trivial environment” like you said previously.
Slack or Loop Email.
To the point solutions for good collaboration among a team or remote working ppl.
There are a lot of HMRC pages/flows that desperately need the GDS treatment!
weird the UK VCT's EIS and SIS are open to anyone with the cash
Oil companies are the biggest polluters and contributors to climate change. By severely reducing the amount of fossil fuel vehicles on the roads, we lessen the demand for fossil fuels, and reduce pollution.

Big cargo ships should also be targeted, they burn significantly worse grades of fuel, and pollute a lot more.
What is an SRE and how does it relate to DevOps?
Technically, the linked article is correct that it is something that I like to say, but I stole the phrase from David Schleef (one of the Dirac developers).
> To you it's random stuff, firing - an act of outrage, to many it has meaning, firing - the right thing to do.

The case I'm trying to make is one in favor of restorative justice -- this means identifying the harms caused by an act, and seeking accountability by addressing the harms, and encouraging perpetrators to experience growth and personal transformation through empathy and understanding. I am not trying to say that the offenses are small, and people are wrong to be outraged and seek accountability for misdeeds -- in this specific case over James Gunn's actually terrible and seriously tasteless jokes. I'm just trying to make the case that as a society, seeking a pound of flesh or knocking over a statue every time someone's mistake comes to light is not an efficient methodology.
Nope, that isn't it. US aside, most rich west countries do use line drying.
It strikes me as odd in this day and age that Apple don't just officially support macOS on non-Apple hardware. If they're concerned about instability due to poor quality drivers and its impact on users' perception just offer an "approved supplier" program where hardware manufacturers can have their drivers verified and signed, as Microsoft have done in the past.

I know it's not the same as being truly open but at least it offers more options and they could charge a fee to claw back the lost hardware revenue. Manufacturers would be falling over themselves to get on the list for a little shiny Apple sticker on their boxes.

We're talking about the biggest tech company in the world here, surely they have the resources to make it possible?

Failing all that, what about an "Open" community supported macOS like Fedora is to RHEL? (Isn't this pretty much what the Darwin project used to be about?)
True, but for me, all of those things are outweighed (and then some) by one simple fact: it takes me 20 seconds to move the entire load of wet clothes into the dryer. I can’t even get to the line in 20 seconds, much less hang all the clothes…

Gigantic gas-powered clothes dryer is one of the only things I miss about life in USA.
We have a similar problem, however we are not using spark for machine learning (we use it further down in the pipeline)

The basis of our system is AWS batch, which with some wrappers is a reasonable scheduler. (we needed to make a monitoring framework, and a simple way of specifying jobs and relationships between them) from there we have a number of compute resources. If your job needs lots of CPU, then in the CPU queue it goes. Depending on how much cpu/memory you want it'll put you on a machine with other jobs.

If you need GPU, then you select the GPU queue. when you've finished with the GPU, your job should die.

Its really that simple.

The problem with the new crop of (non VFX) schedulers is that they handle arbitrary dependencies very badly. for the longest while trying to make sure that disk heavy jobs didn't land on a node hosting a DB in K8s was a massive pain (it might now be solved).

In managers like alfred from pixar which must be pushing 20 years old, it is fairly simple to tag arbitrary nodes with tags to limit job types landing on said box.

tl;dr:

AWS can provide this functionality out of the box, but its really not that full featured. these features and arbitrary tags exist already in VFX schedulers, and have done for many years. new wave managers are lacking compared to their VFX brethren
In that case you are going to find that you quickly lose your best devs. I'm not saying that resume building should be even within the top 5 priorities, but you will want to at least keep it in the back of your mind. It's a balancing act.

Otherwise the solution is to crunch-time people into oblivion and and quickly replace them when they burn out. Not exactly sustainable
But it also discourages investment if you taxed as income you just buy safer t bills etc instead of the next Microsoft or google
Update on Structured Concurrency
Canonical need to be clearer that the LTS releases are the real releases, and the interim 6-monthly releases are more like developer previews.
Sample-size of one here, but I switched to Fedora a few years back after growing tired of Ubuntu's bugs. I haven't had any real issues since, it's just solid.
5 tips for improving your customer life cycle online
The code was compiled, so they cannot make modifications. So it is in violation.

You would be right if it was PHP / Python or something else that was interpreted.

The real point to take away is that any modifications will never reach upstream.
Prefix each line with 4 spaces:

T& operator =(T x) // note pass by value
{ std::swap(*this, x); return *this; }
“What then! Do you think the old practice, that ‘they should take who have the power, and they should keep who can,’ is less iniquitous, when the power has become power of brains instead of fist?” - John Ruskin
"Finns think if there’s no important topic to discuss, there’s no conversation at all."

Nothing wrong with that. There's certainly too much of the opposite in the world.
DNA damage and declining DHEA levels are said to be excessive due to chronic magnesium insufficiency/deficiency. Also, as the body releases magnesium when ready to unroll inflammation, deficiency can result in impaired clearance.

Even acne is often prevented by sufficient vitamin D + magnesium.
Just to counterbalance and give some hope: projects like CLASP (CL on LLVM) got university funds to development it (and the ecosystem on the way: LSP library,…).

https://github.com/clasp-developers/clasp

CL is still adopted by universities (for bioinformatics it seems), or innovative firms (Emotiq (blockchain), Rigetti quantum computing,…), and is still used by big ones (https://github.com/azzamsa/awesome-lisp-companies), so why not see fundings in the future…
> I didn't have to work that hard, and one day I had this realization while sitting in my gray cubicle (I was in a sea of gray cubicles surrounded by gray walls, listening to white noise and all alone): I'm like, “Man I am so tired. I need to go home and take a nap.” I went home, but as soon as I got there I realized, “I'm not tired anymore.”

Is there a name for this type of fatigue (or perception thereof)? I'm curious if this has been studied at a psychological or neurological level. As in, why do we feel tired/sleepy in these kinds of environments (as opposed to say anxious or restless)? Personally I've experienced it at least some of the time at almost every desk job I've ever had.

I don't think it's merely boredom alone. Being bored / doing nothing at home doesn't feel the same way.

I also don't think it's the same kind of mental exhaustion you experience when working on something really challenging, like trying to crack a very hard math problem or something. Clearly in these situations the problem is that the tasks at hand, if any, are neither complex nor difficult.
The sheer amount of space that was forcefully taken from pedestrians and cyclists, in order to make room for cars is absolutely astounding once you take a critical look at it.

Those 4-lane boulevards though city centers could fit generously-proportioned sidewalks and bike paths and greenery, food stalls, cafés and dedicated bus lanes (or you could move public transit underground for better space utilization).

Instead they're full of gridlocked traffic, made up of countless ~1.5t lumps of steel and plastic, transporting a single occupant each.
I have never heard any complaints in real life, only praise. Gov.uk is brilliant for the same reason facebook beat myspace; it's clean and predictable design which focuses on functionality.
Show HN: Graphpack – ️Minimalistic zero-config GraphQL server
Who on earth would prefer that to proper scaling?
And in chapter 2:

>Now if, for such a purpose, we regard 1/1,000,000 (or one millionth) as a small quantity, then 1/1,000,000 of 1/1,000,000, that is 1/1,000,000,000,000 (or one billionth) ..

1/1,000,000,000,000 is actually one trillionth
I believe the latest we've heard is that their LLVM backend is mostly working but still pretty buggy.
relentless about user research

You're not kidding there. Every single time I go to do PAYE I get the same survey questions, even though (when I can be bothered) I tell them they could improve the site by .. not showing me the same survey every time.
Yeah I have a feeling that some companies don't trust their engineers at all and so they want them to use as many tools as possible to reduce the likelihood of mistakes.

That's probably what functional programming, 100% code coverage and code linting trends are really about; allowing companies to not have to trust their engineers. I think this is a futile effort. If you want better code, just hire better developers with more experience who can be trusted. If you are not able to identify and recruit such people, then you shouldn't be a manager.

Bad developers will find a way to write terrible code; in any language, any paradigm, with strict linting rules enforced and even with 100% test coverage.

It really bothers me that most companies feel perfectly fine trusting financiers, lawyers and accountants with extremely sensitive company secrets and business plans but they absolutely refuse to trust engineers with their own code.
Here are my favourites:
https://www.natashatherobot.com
https://www.swiftbysundell.com
http://whatsnewinswift.com
https://rambo.codes

And sporadically, I'll write a few myself:
http://blog.chrishannah.me/category/swift-tips/