skysight-inc/HackerNews huggingface dataset:
ok, i finally understand exactly what nihilism concretely refers to now. a state of being similar to the one of the hollow human replicas in "the invasion of the body snatchers"...
so, that's what i've been referring to all this time lately when i use the phrase "delirium and drift"...
it's not stupidity i've been referring to, but nihilism it seems.
explains a lot.
dostoevsky's use of the term now suddenly becomes rather disturbing in its 19th century russian context.
either way, thank you.
that was maybe somehow useful and somewhat insightful in helping me diagnose the surrounding world going clinically/criminally insane..
> Ideally in a form that would also work when the company closes shop

You typically already have to provide full hardware schematic when submitting an electronic product to test labs to get various certifications.

It doesn't seem that far fetched that you would also have to submit server software and the certification house would keep it in escrow in case you go bankrupt.

I don't think it's realistic to expect that will happen though.
All I can say is I really, really despise Python and also I don’t think this is a good report.
NATO's new spy drones [video]
How to Block IDN/Punicode on Linux with iptables and a libnetfilter_queue
Yes, Coq has a
tactics language. So does Isabelle. What I have in mind are primarily
"Hammers", i.e. hooking in fully automatic theorem prover (e.g. MizAR for
Mizar, Sledgehammer for Isabelle/HOL, HOL(y)Hammer for HOL Light and
HOL4). As far as I'm aware, CoqHammer for Coq is
work-in-progress and does not yet provide the level of automation that you get from Sledgehammer in Isabelle/HOL for years. But admittedly, it's been 4-5 years since I last
used Coq. At the time, two core issues were the following:

- Existing automatic theorem provers often produced non-constructive
proofs.

- Existing automatic theorem provers are mostly for FOL, so the gap to
the much more powerful logics of Curry-Howard based provers is
bigger than with weaker systems.

Have both problems been solved comprehensively as of January 2020?
I don't think many people in the valley actually care about being evil.
Writing crud websites with spring/.net ms isn't really that difficult. The work is largely done, you just have to fill in a few small details (your domain models, your db credentials, your endpoint paths, your validation rules, your css, your logging configuration and a few templates html pages) and you are done. The sites have very low load, they have almost 0 concurrent writes for the same db entity, and the front-end is largely a simple form.

Operations are handled by a different team than the initial development team - they don't even need to know how to deploy the thing. It's code by numbers, and in that situation, it pays to have someone that doesn't deviate from the number system and the low need for creativity drives the value of the work down and makes the code into a commodity product. Value is low, competition is high, margins are low. Certification is just a sign that you are open for business in that market.
The definition of "addiction" varies by field. In economics, "addiction" is the phenomenon of a behavior having increasing returns on investment. (Which means that if you do some, you'll want to do more.)

This has the disadvantage that it is near-totally unrelated to what most people think of as "addiction". But it has the advantage that it is a coherent concept, which isn't true of most offered definitions.

In the vernacular, "addiction" just means that you disapprove of someone's behavior.

In medicine outside psychiatry, "addiction" refers to the phenomenon of physical withdrawal symptoms in the absence of something. For no particularly good reason, you are not considered to be addicted to oxygen. But that's not part of the definition, it's an implied codicil.

Psychiatry defines a single "addictive disorder", which is compulsive gambling. Nothing else is considered addictive. This seems to be a response to the fact that no one has ever provided a workable definition of addiction. (See e.g. https://www.porticonetwork.ca/web/fundamentals-addiction-too... : "The term addiction is no longer used to describe substance use disorders. It was felt that the term was so loaded with associations that it lacked precision.") This comic ( http://www.smbc-comics.com/comic/2014-03-21 ) provides an amusing illustration of the issues. But for a less irreverent joke at psychiatry's expense, this formal paper ( https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5328289/ ) spends some time making fun of the fact that compulsive gambling is the unique "addictive disorder" while compulsive stealing, which is mostly identical except in the specific behavior expressed, is an "impulse control disorder".

Here's how the different systems classify caffeine:

Vernacular: addictive if you're a Mormon; not otherwise.

Economics: not addictive; no increasing returns.

Medicine: addictive. (Withdrawal causes severe headaches.)

Psychiatry: not a substance use disorder. (Consumption of caffeine may be compulsive, but it is not a "disorder", itself not a well-defined term.)

I suggest to you that the definition you provided, "a behavior that impairs other aspects of your life to a large degree", comes from psychiatry, but is actually part of the definition of a "disorder", not an "addiction".
Big discussion yesterday (574 points, 201 comments):

https://news.ycombinator.com/item?id=22072466
> But I'm not sure an addiction to reading

If I'm addictive to romance novels at the expense of my studies I think it would have the same negative effect.
Castigate your way of life? Please. OP wants infrastructure. If you want infrastructure build it and pay for it yourself.

Cities have their own problems but we aren’t looking for a handout from rural residents to solve those problems.
Stockholm, London, Paris and Bay Area literally have now way to expand. You can easily find examples for well-functioning libertarian housing markets, but just as easily find examples to the contrary. Economists usually also have a very narrow view of what constitutes good living. Letting the market decide in areas with low supply leads to ghettoization.
> If something acts as though it understands a thing then it does.

I've had the misfortune of working on teams where the hiring manager subscribed to this philosophy.
I bought my parents a $50 Brother laser printer about 12 years ago. They’ve been using it since then and I don’t think they’ve ever even changed the toner.

Before that, they’d buy new inkjet printers every year for the same price and ink a couple times a year because some specific color would dry up, and printing black and white wouldn’t work since the printer couldn’t print the mandatory stealth tracking codes. So much time and money wasted buying shitty inkjet printers (which seems to be all of those in the consumer market).
As someone who has watched a lot of episodes of "Air Disasters" (AKA "Mayday", "Air Emergency", or "Air Crash Investigations" in various places) [1], The Weather Channel's "Why Planes Crash" [2], and National Geographic's "Seconds from Disaster" [3] which had a few episodes involving air disasters, getting me on a 737 Max after they release a fix wouldn't require any more force or involve any more kicking and screaming and threats of violence than getting me on any other modern airliner.

[1] https://en.wikipedia.org/wiki/Mayday_(Canadian_TV_series)

[2] https://en.wikipedia.org/wiki/Why_Planes_Crash

[3] https://en.wikipedia.org/wiki/Seconds_from_Disaster
Friends installed a new IR controlled ceiling light, but it was a little buggy and kept turning off.

It was using the same IR frequency as one of the buttons on the TV remote :)
At GitLab we have a very flexible PTO policy and although I've never heard of a colleague being forced to take time off, we do have a couple of stern remarks codified in our handbook and constantly remind each other to do so:

> We don't frown on people taking time off, but rather encourage people to take care of themselves and others by having some time away. If you notice that your co-worker is working long hours over a sustained period, you may want to let them know about the time off policy.

> Not taking vacation is viewed as a weakness and people shouldn't boast about it. It is viewed as a lack of humility about your role, not fostering collaboration in training others in your job, and not being able to document and explain your work. You are doing the company a disservice by being a single point of failure. The company must be able to go for long periods without you. We don't want to lose you permanently by you burning yourself out by not taking regular vacations.

https://about.gitlab.com/handbook/paid-time-off/
They'll just rebrand it, an average flyer won't know the difference between 737MAX and the older model by looks. At best they might be able to tell that it's a 737.
It’s this type of garbage that has turned me into a luddite when it comes to smart home type technology. Lack of interoperability, inability to understand easily whats actually going on and massive privacy invasion causes me to look for dumb devices whenever possible - I know how to deal with them, I can have other people fix them when something goes wrong, and there’s just less ongoing maintenance. I’m sure this isn’t a novel idea though.
Context please?
This is a good example:
https://maebert.github.io/themostdangerouswritingapp/#/

I have been using it to break my writing blocks.
Isn't encryption really 'most likely safe' and 'unsafe'. It has been a while since I've spent much time reading into the details, but the encryption we depend upon generally isn't proven safe, just failed to have been proven unsafe by many experts after many years.
Code escrow isn't unheard of in B2B software. Maybe enough people will be burned by companies bricking their hardware that it will happen with B2C, too?
Ah, I had the exact same idea for a website after seeing the post on spleeter here on hn a bit ago. Just tried an mp3 and it works great! Even though you have beat me to it I think I'll still have a go at making something similar to get some frontend experience :)
I guess the problem for DO is buying hardware, upfront costs for colocation (renting cages without actually using all of the available cabs/space), etc.. If they would stop buying hardware, which means no more growth and available resources, they would be super profitable.
Thanks, you've taught me something.

That aside, I'd like to congratulate you on how non-confrontational your comment was, making it easier for me to reply that you've taught me something. I will try to emulate that in my comments in the future.
So why can’t we use Japan as an example? That seems like a laundry list of good ideas.
> How can you have responsibility if you don't have free will?

Responsibility, and its sister concept blame, are distractions from solving problems. Responsibility and blame put the focus on finding who was responsible for the problem and blaming them, which then leads to the logical conclusion of punishing them. But this so rarely actually solves the problem. When someone makes a mistake, it's usually not intentional, and often it's a failure of training. Sure, there are extremes: maybe the person shows up drunk to work and needs to be fired--but that's still not about responsibility and blame, it's just recognizing that people who show up drunk to work can't make good decisions. It's a matter of facts and mechanics, not of responsibility and blame.

> And how can you have control if you don't have free will?

This is a question without implications. Consider the possibilities:

1. Let's say free will exists. We go along our merry way, exerting our control in everyday situations.

2. Let's say free will doesn't exist. We go along our merry way, exerting no control on any situation, but we perceive ourselves as exerting control over everyday situations.

Just try your best, maybe that won't have any effect because you don't have free will, but maybe it will.

I actually tend with Einstein on this: every system I've been able to gain a firm understanding of has had deterministic causality, and the systems where free will could be hiding (i.e. quantum mechanics) don't appear to actually have any connection to the systems that determine human action--that is to say, I don't think free will exists. But so what? It's sort of an irrelevant conclusion.
Where would capital move?
Show HN: Flash Philips Hue light bulbs depending on Datadog monitors status
Not happening. We are talking about many billions of dollars of capital investment, even if we only count already built aircraft.
This will not work if the bootloader on your device does not allow upgrading unsigned firmware and would take some laws prohibiting this behaviour to be in place.
Latest Trends in Business Process Management Software
The terrorists didn't script the reaction of politicians or the people that voted for them.

Or if they did, then they've done a grand and thorough job of destroying the freedoms of the West that they find so offensive.
I wrote "fixes a problem" explicitly. How is that a "style" patch?
Doesn't seem to include services - at least that's my rationale for why the trade deficit of UK appears as so damn large - about 50% of imports, $300bn or so
Script to manage your SSH connection with a dialog by reading your –/.ssh/config
I wonder if the fixed cost of reverse engineering would ever overcome the sheer number of devices you’d have to do this with through scaling geographically.
Let's assume product uses domain.com to get updates.

domain.com one day might be owned by $badDude - that's a huge risk

domain.com might return 404's - that's pretty terrible.

What happens to domain.com once $business is now $noLongerBusiness?

You can provide a method of flashing firmware onto the device itself (possible security risk?), but where do you get the files from? How do you verify they're safe?

Then, you need to host the server software itself (depending on how it's coded, that ranges from quite simple to your worst nightmare), and you expect someone to keep that secure? The EU dictates GDPR compliance, which adds additional cost to maintenance.

It's just easier and cheaper to just not bother with servers if the company can't keep them online.
There’s a lot of nerd rage about nothing. He bought an ink cartridge with a subscription plan. When you stop paying the subscription it stops working. He could cancel the subscription, send the cartridge back and replace it with a normal cartridge.

I have a mix of music I bought from iTunes before Apple Music and Apple Music. If I cancel my subscription, I don’t have access to the subscription music but I keep access to the music I bought - DRM free.

What’s the difference?
Re the direct injection comment.. one small trick can save you $300 on engine flushes from carbon buildup: you can get an oil catch can installed for under $100 that solves this problem.

But you can’t argue direct injection is worse than older fuel injection. You save more gas, get better performance (even though you don’t get as many valves), and have a cooler running engine with direct injection. That’s a net positive for the environment and your wallet over the life of your car
One of the possible reasons for lack of progress; too many people. If you look at something like a consensus algorithm, many work much more slowly with "too many participants."

Or it could be an insufficiently high IQ test at present; dumb people get in the way and cause problems.
I cannot refute your comment, because it is not actually clear what you are referring to. Your comment is too vague to be useful; it barely conveys information above a sentiment.

An unfalsifiable theory is useless. An unfalsifiable comment equally so.
Start a Productized Service Business
This is a good argument for not rolling your own.
Human Body Temperature Is Getting Cooler
I was hoping to see someone post a DIY hack to get these working...
It was his choice. He could either buy a regular cartridge or a subscription cartridge for the same printer.
> I don't understand academia at all. It sounds like a combination of paperwork, flying to conferences, endless networking, publishing papers for publishing's sake. It's like a Kafka novel.

As an academic, your description is rather accurate regarding the research part of academia (you left out the teaching).

Some of us put up with all that because we love the science, the sense of discovery, of doing what no one has done before, advancing human knowledge, the feeling of working for public good and not for some profit-driven corporation. Flexible hours is also a plus (although also a double-edged sword).

(I confess I do like the "flying to conferences" part as well, though).
If they'd ever audit (and let alone certify without outsourcing it to the very manufacturer) the 787, it won't be pretty for Boeing.
No, a Study Didn’t Say Cannabis Impairs Driving Once You’re Sober
No manufacturer should ever be allowed to self-certify.

What kind of teacher lets his kids self-grade?
It's just a vehicle for this Idea Guy to peddle his completely impractical ideas... or it's Amazing Genius Guy demonstrating what we could totally do with only 1M in funding.

(I do have actual proper detailed critiques of his ideas, but I find it drowns in the noise on HN. The above is an executive summary.)

EDIT: It's kind of ironic that this "interactive or die" person is using PDFs. Why? I'm guessing it's because that's what actual people consume. Or maybe I don't understand irony.
I ran into some trouble on Ubuntu 18.04 / AMD64, but it's fixable. I never saw the error you saw, but perhaps this will still be helpful.

I used the release from https://ftp.gnu.org/gnu/guile/guile-3.0.0.tar.gz (linked from https://www.gnu.org/software/guile/download/ )

It's a release file so it includes the configure script out of the box. To install the build dependencies:

sudo apt-get install libtool libgmp-dev libiconv-dev libltdl-dev libgc-dev libffi libffi-dev libunistring-dev pkg-config

After running sudo make install I tried to run guile, but it complained about not finding a .so file. A symlink fixed it:

sudo ln -s /usr/local/lib/libguile-3.0.so.1 /usr/lib/

After this, it worked. Perhaps fire up a fresh Bash for good measure.

Unrelated: I can't use the history in the Guile REPL though - if I press the up key, I get garbage rather than my previous line.
I have driven a couple of times between Phoenix and the East coast of the U.S. and the spaces between cities, particularly in the Southwest, are simply vast. You can drive for hours without seeing a human structure beyond perhaps a signpost or U.S. Geological Survey marking. There's room for the entire world's population to fit into Arizona, New Mexico, and West Texas. The only limitation is availability of water, and that's solvable with technology (desalination, atmospheric capture). When existing cities become too congested, sprawling, or unaffordable, the clear solution is to build new ones. You can drop a megalopolis or two into the badlands and house an additional 20 million people in comfortable, modern neighborhoods with home ownership as the norm. The Economist has a eurocentric perspective that there's little available land, but not so in North America.
Well, if we're doing a generic Common Lisp thread some of you might be interested in buildLisp.nix[0], my project to write a build system for CL in Nix[1].

The idea here is that Nix should be usable for builds at the same abstraction level as Bazel (i.e. individual build targets), while retaining the power of the rest of the ecosystem.

Example build "manifest" using buildLisp.nix: https://git.tazj.in/tree/third_party/lisp/alexandria/default...

This has a few additional neat benefits, such as making it possible to easily spin up a REPL with the correct Lisp & dependencies loaded from within Emacs[2].

There's also a similar project I did for Go[3] to prove the general viability of the concept.

[0]: https://git.tazj.in/tree/nix/buildLisp/

[1]: https://nixos.org/nix/

[2]: https://git.tazj.in/tree/tools/emacs-pkgs/nix-util/nix-util....

[3]: https://git.tazj.in/tree/nix/buildGo/README.md
I only hope their customers have learned to never trust another company again whose devices only work via a connection to their servers and not otherwise.

My Zigbee (Hue) lights are controlled with ZWave switches and nothing changes when I have no internet or Phillips or whoever ends up dead. The only thing that needs an internet connection currently is the voice control, but I have plans to change that as well. Everything is connected with an rPi 3 running home assistant.
Greater LA includes a lot of stuff like Ventura/Oxnard/Riverside/San Bernadino that while on the fringes of the LA metro area, shouldn't fairly be considered LA proper. This skews the square milage of LA up, and the density down, where in reality if you take a more realistic view of "Los Angeles" it's definitely more dense and concentrated than Houston. I say this as a former resident of both places.
> Also, this way the used cartridges (dangerous waste) are handled properly and an environmentally friendly way.

You don't need a subscription model for this. At least for laser printers, HP allows you to mail back your used cartridges to them, free of charge to you.
We use tokio-postgres. Previously we had our own connection pool implementation, but we recently switched to deadpool.
Not when you adjust for education and SES and nothing beyond one year. Which is great news, because as you say, it can be burdensome.

(Not a knock on extended breastfeeding itself. I think mother and baby should breastfeed as long as it’s working for both of them - well into the toddler+ years if that’s what mom wants. But claiming unproven benefits is actively harmful to women.)
The article summary pretty much highlights that anybody can aggregate public data for personal or commercial use, so Clearview AI is not the only player.

Data aggregation and transparency were supposed to be the foundation of open government, but it looks like the citizens (by way of consumerism/capitalism/communism) are the victims of legislated privacy violations by law makers that want nothing to do with transparency. It seems like a conflict of interest if business is pulling the strings of politics.

If the citizens pushed harder for a transparent government, other than encryption, what else can they legislate to turn the tables on that debate (ie. No privacy for government is a no go)?
I agree with Aurelius that we should focus on that which is in our control, but I disagree with where to draw that line: anyone who meditates runs quickly into the limitations of our power over our minds.

I'd say that what we have is power over our actions, and some of our thoughts and feelings.

But Aurelius' larger point, that we should focus on that which we have power over, is key to effective focus and emotional stability.
> Charge the real cost of you want but then leave the people in peace.

And thats the problem. Infrastructure has not been priced correctly. A lot of towns are still paying the bond on initial construction. Leaving very little for maintenance and replacement. And then when the road/sewer/water system needs to be replaced voters don’t have the appetite to pay for it. You see this in older towns in the northeast. Water and sewer mains are corroding. taxes go up to cover it. And the residents flee for newer, cheaper developments. The town eventually becomes insolvent.
If you're in the bay area looking left and right, there's no more room. Look up.
I check every plane. They're VERY different in terms of comfort.
Maybe if you fly US domestic it doesn't matter. But for international flights aircraft type makes all the difference. (see e.g. Emirates horrible 777 vs it's very comfy A380)
Yes... and there's really no way to tell unless the simulation actually tells us.

An easy test for this is to ask anyone who's either on mind altering chemicals, or schizophrenic[0]. That makes it clear that you are really perceptually bound.

[0] I don't mean to say that these are even close to the same thing. I just want to pick two extreme examples.