skysight-inc/HackerNews huggingface dataset:
> Asking your OS package manager to additionally manage the ecosystem of every programming language you may want to develop in seems a bit out of scope, no?

For apt? maybe. For Nix? no.

Nix doesn't install packages, it creates environments. NixOS considers one environment to be the main operating system. That is the main feature of Nix: self-contained reproducible environments.

Because it is so well suited to the task, nix provides all the packages provided by Hackage, sorted into separate namespaces for each supported version of GHC. Each namespace, however, supports only one package version per package; so any packages where it makes sense to provide multiple versions has loosely adopted the name_version naming scheme as a workaround.

Out of frustration, I searched for an answer why this is the case, and found an issue someone else had already discussed at length, only to find a dead end: the issue was discarded (not honestly considered). I then commented at length to explain my line of thinking, only to hear excuses for keeping the status quo, rather than actual help or discussion. The developers commenting on the issue were hung up on their preference for "pinning", and didn't want to consider the namespace mess I have such issue with.

It seems you share the same attitude that changes cannot be done - not because you are certain that is the case, but because you don't believe it should be. There is no reason behind this attitude, and I frankly have no patience for it.

If you want to discuss this problem and any related nuances, I am happy to do so. Please do not naively tell me that my perspective doesn't exist, or cannot make sense.
Martin's Beach dispute taken to SCOTUS
Are there any strength training apps that don't require going to the gym / using equipment?
Migrate: an exceedingly simple golang postgres migration tool
> modern communication enables us to be constantly aware of the morals and values of other people and communities

You can see this not working even on HN. Mass surveillance, Chinese autocracy, many other things to do with obedience to sociopaths, regularly are filled to the brim with "arguments" about what "the average" or "most" people in country X or the world want, and they're rarely even followed by "and I agree with them because Y". Some seem to ascribe increased objectivity to that, and dismiss "personal opinions" in favor of their supposed aggregate objective ones. Lots of pointers to supposed persons, preciously few persons.
> The problem is, Proof of Work is very objective and measurable, which is why most people criticize Bitcoin for its waste of energy since it's so easy to measure.

> But proof of stake and the legacy economic system both lack such objective measures, which is why it's hard to compare them.

Bitcoin is estimated to cost $2.5 Billion dollars per year [0] to validate about 77 million transactions per year.

Visa processed about 100 billion transactions in 2015 at the cost of 12 billion dollars (revenue - net income [1]).

That makes Visa 270 times more economically efficient for cost per transaction [2]. Also, I get many other benefits using Visa like fraud detection whereas bitcoins 1 way transactions make them extremely susceptible to hacks.

The economics seem pretty obvious to me.

[0]: https://digiconomist.net/bitcoin-energy-consumption

[1]: https://en.wikipedia.org/wiki/Visa_Inc

[2]: (100/12)/(.077/2.5)
Any examples of molecules acquisition and losing?
Wait, what? What if you had a Coca-Cola and decided to have another every day for 30 years? Or have sex without a condom - why does it have to be marijuana leading to violent crime? Where are my laughter emoticons my adolescence has made me dependent upon! :)
Facebook, YouTube fail to blunt conspiracy theories
Food has a third dimension. As one food snob put it, the best meal he ever had was a can of baked beans in the army when he was really hungry. Five star meals are more about novelty than primal hunger, which is rather limiting.
Can you elaborate more on this? You know you can also report losses to reduce taxes? Or do you mean that they spent their profits on non returnable expenses(e.g. A vacation)
Every inhale and exhale, for two.
Gotcha. I was a bit confused by your "physical self" terminology as the relevance of the term "physical self" depends on whether you believe in some non-physical self or if you believe that consciousness and thus the self is just some emergent property of a particular configuration in your "physical self" (and thus there is no such thing as a non-physical self). There is a lot of evidence that if you change some configuration of your physical self that your experience of self will change.
> You then provided an example of something you claimed could not be done monadically.

Using a monad, i.e., an endofunctor with unit and join that satisfies the well-known laws, you cannot do it.

> I pointed out that you could implement such a thing with "indexed monads", which are a subclass of monads (although not one that's easily used in any current programming language, Haskell included).

Is a so-called “indexed monad” really a monad, now?

> You then claimed that in order to implement the memory allocation example you would need substructural types, which is not the case.

It is the case. What else could be the point to the threaded typestate in the definition of so-called “indexed monads”? Moreover, even with the threaded typestate, so-called “indexed monads” may fail to achieve the desired goal of manipulating resources linearly, e.g. the “indexed list monad” provides no such guarantees.
"Most" = more than 50%? Of households? (There's 118 million households in the US, so you're looking for at least 59 million households.)

...Source?
> Presumably people have 2+ dropbox accounts (personal + work).

I'd imagine there's quite a few with dozens, as they offer more space (up to a bit over 30 referrals) if you refer new users. I remember "referring" myself with a new email address whenever I'd need an extra 250 MB.
cf "What Latin Sounded Like - and how we know"

https://www.youtube.com/watch?v=_enn7NIo-S0
Indefinitely unless there is malicious software. Still improving the Javascript filter. I've already had someone try ... and I'm not even mad because all the code he posted helped me to write a better filter. There's a secret key near the post button and users must keep that key to later delete their HTML Post.

And I did update the terms to reflect that. Thank you!
The Opioid Diaries
I was thinking the same thing. It really makes me wonder whether he's trying to throw people off or if he got to where he is through dumb luck.
Care to explain that? I don't see how segwit makes it any easier for lightning to be brought into the fold.
Mark Cuban says a lot of things
This again...

If you really believe that the "decline in quality of the web" can be attributed to web developers, then I'm sorry but you're just not seeing the big picture.

Marketers want more and more precise user tracking and analytics.

Designers want bigger and heavier images (and videos!) embedded directly in a website's homepage. They want custom, web-unfriendly fonts that have to be downloaded.

Financial stakeholders want cleverer, more intrusive ads that can bypass ad blockers.

And users want desktop apps that they can "install" by bookmarking a URL.

What can devs do about this? Nothing. Refuse to engage in it? Someone else will gladly take your job. In the end, there were clear economic incentives for the web to evolve this way. In this capitalistic economy, there was just no other possible direction.

I have ten years of experience in professional web development. I personally hate Javascript too. It's a terrible language and an even more terrible ecosystem. But in the end, you can write good software in anything. What you don't let like about the web today has little to do with the technology it is built on... Or the people developing for it.
The article is very short, and specifically says bezos has encouraged people to visit it.
What are the Amazon rumors?
Firstly, AI is currently massively overhyped and people are overestimating the progress we are making. What we are currently doing is curve fitting and searching on steroids enabled by the ever increasing availability of computing power, what we know about general intelligence hasn't changed much in a long time, at least as far as I know.

I won't rule out that we may build an AGI by just throwing enough computing power at it and simply simulating brains with enough fidelity but without actually understanding how it works, at least not at first, but I really don't see much - if any - progress towards building an AGI because we know what we have to do. Maybe the secret of general intelligence is just curve fitting and searching at massive scale and we fail to find the secret behind it because there is none, but we really don't know.

That of course doesn't mean that the recent developments are not interesting or don't have useful applications, they are just not as groundbreaking as often portrayed and we probably still have a rather long way to go.

With regards to big picture thinking and general problem solving ability, I don't think you are in a particularly bad spot as a software developer or hacker. Especially not if you are doing project work or frequently change jobs and regularly have to get familiar with new business domains. Also if your focus is more at the design and architecture end of the spectrum as compared to coming up with beautiful looking CSS.

But I would certainly agree that philosophers have some ways of thinking that are at least to some degree unlike what you find in software developers, but I can't really pin it down. I only know it exists because I am frequently somewhat surprised by the thoughts and ideas that come up in philosophy and they seem not like things I would think of. Maybe it is just the level to which philosophers dissect things and which goes beyond what is required in software development but I really can't tell for sure.
I haven't done anything with cryptocurrencies but when I filed my taxes using turbo tax a few weeks ago. They did ask the question regarding it and I'd assume theyd have also guided you in the right direction.

I know there are lots of tax helper programs out there but I thought like 95% of people have someone else do taxes or use some forms of automated tool to assist them. I'd hope all these tools ask the question and prompt a direction
The Bigger Picture Around Microservices
I'm confused. The article implies that it can hover around independently, but in the gallery, it's only seen levitating inside a fat loop of copper wire connected to a stationary structure.
Why do people keep quoting Mark Cuban? He got lucky by selling his company to Yahoo just before the dotcom crash. I don't know any other worthy thing he's done since then. I really wish reporters weren't so lazy and just keep parroting things from people that they've heard of without qualifying how useful or effective the source is.
> Email is moving that direction (Proton Mail, Tutanota)

No it doesn't.

I've never heard of Tutanota, but Proton Mail is hardly evidence of anything. In fact the attack vector for email is very different when compared with other channels, as for email I'm not afraid of my email provider as I'm afraid of hacking attempts. Yes, I value security over privacy for email. Therefore I would trust Gmail more than I would trust Proton Mail.

Proton Email is also non-standard and is obviously not E2E encrypted when it comes to communicating with non-Proton recipients. If I actually wanted encrypted email, I would use GPG. It sucks from a usability point of view, but it's standard and for email that matters.

> I use Dropbox and it's still the leader in terms of features, but I see the competition catching up, with better privacy (end-to-end encryption) built in.

Curious, which competition?

I tried everything that I could find, because Dropbox has a high price and their online search didn't work well even after I upgraded to Pro.

Btw, it might actually be better to do an encrypted drive with https://cryptomator.org on top of Dropbox or Google Drive. It's definitely more reliable ;-)

Or in other words, if the service provider does not get access to your files due to encryption, then there isn't much value they can add. You can't have a secure web interface for encrypted files, you can't have online search. So might as well do application-level encryption and all you need is cheap and reliable storage.
Parent of 3.5 year old here. In the US, I would consider socializing your kid in a city then taking two or three 'seasons' (read: years) out to sail around Caribbean countries. These wouldn't need to be consecutive - you could do year on/year off if required. Great language opportunities, lots of nature, good boats are very cheap in Florida, short hops in good weather in the area are perfectly suitable for less experienced sailors, and you are close enough that flying home for 6 months to stay connected to school is a non-issue.
Where do you think "capital" comes from?

Also, I didn't say they ARE the same. It COULD be the same, or maybe PoS could come up with a tradeoff scheme that's just good enough to work but essentially conserves energy much more than PoW. But the thing about energy is when it is destroyed somewhere, it gets created elsewhere. That's how it simply works.

The most important fallacy in economics is that people can only observe what they can observe, not because they're idiots, but because it is spacially or temporally impossible. For example a huge global inflation can happen as a result of a very small stupid decision made by a government, but this may happen 10 years after the original decision.

This is why humans make bad decisions because they make decisions based on what is possible to observe, but historically these ALWAYS came back to haunt them. 100% of the time.

It MAY be the case that "this time it's different", but the more you study economics the more you become really humble. Trust me. Try it. Just need to read a couple of books.
Mark Cuban got supremely lucky selling broadcast.com to Yahoo in the deal that best illustrated the crazy boom years of the .com bubble and believes that this makes him some kind of sage instead of a lottery winner.

You just can't compare him to Gates who got where he is today through a combination of luck at birth and supremely hard work (and some questionable business tactics).
I know I'll get shit for this but... we really have no idea whether it'll run that long--or even a tiny fraction of that time.

We're short-lived beings compared to that timeline. The amount of science and engineering experience in building "10,000 year machines" (as opposed to even static stone structures) is limited. For all we know, there are entire systems of equations related to "ultra-long timeline" affects to physical systems that we don't know about.

The same way we didn't realize how fast thermals would grow exponentially when we tried to hit the 5 GHZ barrier and back in ~2002 we thought we'd have 10 GHZ CPUs within a few years and why the Netburst architecture (first Pentium 4's) completely failed. They were designed with huge pipelines that high GHZ would make up for... except the GHZ never came, and they ended up on-par or slower than some Pentium 3's. New physics became super important at those tiny sizes and high speeds and it ruined Intel's long-term plans (and with the Itanium failure, basically gave AMD the room to build the AMD64 architecture and become a major player again for awhile).

https://en.wikipedia.org/wiki/NetBurst_(microarchitecture)

So back to my point. I think it's cool that people are trying this, and yes, they most likely put tons of thought into it, and yes, I think it's great to inspire people to think about lifetimes and "humanity" as a whole centuries from now. But for the practical side, I would not put my name on a signature line that, says "This will last for 10,000 years guaranteed. If not, come back in time and shoot me."
> So people living today are literally 100x or 1000x happier than a century ago? Again, do you have any basis for this claim? How do you measure it?

You can't put an exact number to it, but you could argue that in some ways people living today are infinitely more fortunate than people living a century ago. I recently got in an airplane and flew 700 miles in two hours to visit my mother. The richest person in the world a century ago did not have that option. That's just one of many, many examples.

We could argue about whether having all these new options makes people "happier". But more options means more people are able to do more things, which gives more people more ways to figure out how to be happy. Another example of options that the richest person in the world did not have a century ago is this very conversation. Presumably we are both getting some satisfaction out of it, or we wouldn't be here at HN. Nobody living a century ago had any such option. Multiply that by all of the myriad things that we have available that people then did not. That huge expansion of possibilities is basically what the grandparent is talking about.
In most cases, ISPs give (sometimes vastly) asymmetric pipes to their customers. It’s disingenuous for them to then turn about and talk about the disparity of data flows on those pipes as if it was some surprise.

Similarly, do you believe Backblaze, cloud backup services, should be able to scream unfairness at those same ISPs?

After all, as asymmetric as flows from Netflix are, then so too are all these ISP customers sending them vast amounts of data?

And don’t think you can use the “but backup providers -knew- this” argument to say they should be eating these costs - guess who else knew?
Sure I do, the limitation is in peoples failure to recognize reality not a static notion of self.

People think of themselves as a living organism but skin makes use of dead cells. At the other end people think of non organic tattoos and dental fillings as part of who they are. Beyond that, when driving you don't think in terms of this giant extra thing, it's also part of the fuzzy self.

Really, the core failure is the rather western insistence on clear separations and concrete ideas. I would posit that self as those resources under your control is probably a better fit for how people think than a simplified biology.
Sell it at an NFL stadium?
The nice thing about scanning either by the voter or while the voter is present is that spoiled ballots - by stray, faint, or partial marks, or overvoting for too many multiple candidates -
are reduced to near zero, and are replaced by
fresh voter-marked ballots, which simplifies all later
tabulation, and reduces confusion and challenges about
mis-marked ballots, thus increasing voter confidence in
the whole election process.

Anyone who is interested in election processes should
volunteer to work an election, either helping operate a
polling place, or as a poll watcher, or similar. This
is one of those areas that looks simple, but has a lot
of difficult edge and corner cases. I've been a poll
worker and a registrar of voters, and it is not as simple
as most people would think.
Every-time, I read a 10-K or S-1 I imagine if humans evaluated their lives as companies do. Humanity will be better off. Every potential and risk to a good degree honestly evaluated.
That's odd, it works for me.
There needs to be a HN bot that just copy and pastes the same old stuff to comments like mine so people don't have to waste energy doing it over and over again.

The fact that you're comparing Visa with Bitcoin is exactly my point: Humans make decisions based on the things they can immediately see and neglect things they can't see. That's what you're doing when you're comparing visa to bitcoin.

I can't really explain this in a single HN comment, which is why I recommended studying economics. If this was so easy that I could explain it in a page nobody would need to read books or take classes.
At what point are software developers obligated to provide purchase models to suit you? Is not like there's an inherent right to have whatever software you like in whatever form or payment model you like, any more than the OP complaining that somehow having bought multiple versions of software isn't getting a new feature back ported.
All investments carry risk.
The little town banks maybe. Frankly, the national one I think try to get away with as much as they can. And their bonus system is probably to blame: "by the time this is discovered, I'll be gone with my bonus."
Those downvoting, care to give a technical reason why I am wrong?
You also have to consider the level of effort it takes to sell the bottle to someone who isn't an experienced wine dealer, and the spread that likely exists between the buyer and seller.

So even though it may be $500 to buy new, it's probably more like a $100 bottle if they sell it, so it's like getting an 80% off deal? Why not drink it?
Danny Hillis discusses the thinking behind locating it in a remote mountain here https://soundcloud.com/longnow/progress-on-the-10000-year-cl...

But the entire talk is worth listening to.

It's not intended to be a secret - it's there to be visited (I hope one day to visit it myself), the mountain is part of a pilgrimage to better frame the experience.
Sorry. I edited to add that it's based on country - information control (and its associated ambiguity) being another quality of totalitarianism.
> I think almost all problems we discuss every day: political divide, millennial job prospects, student loan debt, drug crises can be traced to wealth inequality.

I would put one caveat on this: it's due to wealth inequality that doesn't come from having created more wealth. All of the examples are of people not creating wealth, but accumulating it by transferring it from other people to themselves. That kind of wealth inequality is bad not because wealth inequality is bad in itself, but because our society as a whole needs people to be creating wealth in order to continue to exist; so if all of the smart, talented people find they can get more wealth by transferring it from others instead of creating it, our society will eventually collapse.

I think Pg had an essay about this a while back.
I have been wondering if an algorithm of Proof of Spending could somehow be in the mix. People should be rewarded for spending their money to enable a healthy economy. Of course something like this couldn't be the main part of an algorithm, but maybe somehow be considered. Not sure if there has been any research in that area.
NetworkManager handles the config file management on its own.

Debian appears to require a flag to enable this on its own: https://wiki.debian.org/NetworkManager#Enabling_Interface_Ma...

If it's enabled, networkmanager will parse out the files and present them over dbus, nmcli, etc. Changes with nmcli, gnome-network (which also uses NM), or other tooling will update the config files. The same ones in /etc/network/interfaces.d/

So, hypothetically:

auto eth0
iface eth0 inet static
address 192.168.40.112
netmask 255.255.255.0
gateway 192.168.40.1
dns-nameservers 8.8.8.8

NM/Cockpit will show all of this information. If you change the address to 192.168.40.113, the config file will be updated (but otherwise unchanged), and the address will change on the running interface.

If it's not enabled, Cockpit will not see the interfaces at all.
> Is this significantly different from the Seadrift HOA gates blocking off access to the Stinson Beach peninsula? Is that case exempt because it's still technically walkable between mean high and low tides?

Seadrift, IIRC, is different because property that had access closed off prior to the adoption of the law requiring access, and Sesdrift’s closed access preceded the law by ~25 years.

(ISTR there are also an issue caused by the State DoJ, with a Republican AG at the time, abandoning enforcement and forcing the Coastal Commission to accept a settlement with Seadrift that significantly limited public use rights compared to the law’s facial requirements.)