skysight-inc/HackerNews huggingface dataset:
> we've all collectively heard nearly everything that you can suggest

Have you heard it suggested that insomnia is frequently a symptom of ADHD?

I have ADHD. It was undiagnosed until I was 22. And, through my whole life until that point, my sleep was "delicate" in the way you're describing, requiring careful set-up to avoid insomnia.

Then I was diagnosed with, and medicated for, ADHD. Sleep is pretty easy now. No care required.

One reason for that might be the way the medication (which I take in the morning) affects me as it's wearing off in the evening—it creates a feeling which is sort of the opposite of insomnia. With insomnia, there's a grating sensation that comes from the fact that you're still awake and a weariness demanding you sleep, but your brain won't shut up, so you can't. With the stimulant dose end-phase, meanwhile, there's no sensation of tiredness at all, but your brain is very quiet, not spontaneously thinking anything (in fact it's rather hard to spontaneously think), so you can fall asleep, even though there's no compulsion to. You just decide to, and then... you do.

Another reason might be that ADHD is apparently the brain being stuck in a state below the average behavioral-arousal set-point—essentially, being always half-asleep. As such, you don't get tired when you "should", because your brain wasn't working as hard. A car that stays in neutral half the time will still have a half-full gas tank at the end of the day. (This is also why people advise exercise for insomnia, but physical exercise doesn't really cause a brain with ADHD to engage any more than usual.) Whereas, a brain with ADHD that is fed a stimulant, will have its behavioral arousal level modified toward the normal level, expending more metabolic energy throughout the day, generating more waste products, and thereby reaching a point where it demands to enter a maintenance phase (sleep) sooner.

No matter the reason, I have to say that it works.

Interestingly, according to my psychiatrist, even if you don't think you have ADHD, other neurologically-founded sleep disorders (e.g. narcolepsy) are mostly thought to be disorders of behavioural activation as well—and, as such, are treated with stimulants, just like ADHD. They may as well all be different presentations of the same underlying pathology, given that the treatments for them are interchangeable.
VR is dying like 3D TV...expect lots 'o shills to be out selling the message.
> VR, no matter how good, will just never match that.

Why not?

> You don't only need information, you also need interactions, real life interaction

What is reality?
There's no reason a smartphone app has to talk to the Internet via someone else's cloud.

An app could just as easily talk to a local server over wifi to deliver the same convenience and remote control without any of the data grabs.
I absolutely loathe whenever I come across an IOException. I _know_ that something can go wrong, everything will go wrong at some point, so my code needs to crash appropriately, everywhere. Nobody has to tell me about that, so no need for IOException or a MyLibraryException checked exception subtree.

There are a few specific cases where I might recover, and it's absolutely okay to check the documentation for them.
There are obvious parallels with the view on biking and biking helmets in the US versus the Netherlands: https://www.vox.com/science-and-health/2018/8/28/17789510/bi...

There are clear health and environment benefits to people biking, or taking a scooter like this. Even for the people who keep driving, it reduces traffic jams. The Netherlands has discovered that to make people bike, you need to not require helmets, and find other ways of making it safe: build dedicated bike paths, don't blame the victim when a car runs over someone without a helmet, etc.

Rather than ostracizing them as "outlaws", the same should be done in this case.
I've noticed the same and will compare it graphics programming.

Loads of GUI applications write their UIs in application code. Eventually they have to reach to an actual graphics buffer, or OpenGL or similar lib, but only in the most simplistic, elementary way possible. (Sort of like `SELECT * FROM user WHERE id = 4`.)

That keeps 98% your logic in one place, with one language, one composition paradigm, and one set of tools.

For programs that have demanding graphics needs, however, they will start writing greater and greater amounts of code into shaders, to be run on the GPU. It's more complex to split logic like this, and the capabilities of shader languages aware far beneath those of general purpose programming languages. But when it matters, you'll happily take the improved performance.

It's great to see PostgreSQL doing what it can to close the gap and make this easier.

tl;dr

SQL queries are the graphics shaders of server programs.
Blog Posts vs. Docs – Where to Place Content?
Do you have any link?
Historically a much greater portion of the population was involved with agriculture (75% of the working population)[1] at a time when artificial light was both relatively poor quality and very expensive.

Given those constraints it makes sense that there was massive societal pressure to maximize the hours the sun did shine. Looking at the charts on that site also brought home how relatively recent the shift to non farm based employment really was (a couple generations). Even that probably fails to account for large behavioral changes: for example my great grandparents had a "garden" that was at least an order of magnitude larger than any suburban garden I've seen in the last decade. They weren't "farmers", just poor and the extra food they grew and canned was a huge help.

1 - https://ourworldindata.org/employment-in-agriculture
Dunno if the US stock it. In the UK at least its a 2G GSM phone so in the US you are going to be stuck to T-mobile and only till 2020. But we can get the Nokia 105 for £14(~$19) delivered from Amazon. Its a nice little dumb phone with a decent battery life that faithful to the old Nokia UI/OS.

Its 2G is its biggest downside imo as it will only have a few years of life in it before network operators in the west start shutting down their 2G networks but if you are using it for a burner that might not be too much of an issue for the next couple of years.
Exactly. I think humanity hasn’t mastered building complex software systems yet. In addition, I’m not sure I want proprietary, closed source software in something that is supposed to last 10 (car) to 50 (house) years... what if the company goes under, bugs are discovered but not fixed, or simply it’s no longer profitable to support your version..
> Your implied opposition was that theology is based upon teleology

No. Not "is". Could be. Big difference.
How to Play Google's Text Adventure Easter Egg in Chrome
That is actually quite an interesting theory. I have ADHD and I am fully aware they I attribute very little meaning to most situations, even those that neutrotypical people would ascribe considerable value. On medication, it feels like the important things all of sudden become important and therefore worth doing, thus reducing procrastination and overcoming low entropy in regards to motivation.
North, Thalmic's Secret Smart Glasses Play
Alcohol consumption and our attitudes towards it, is pretty much the result of marketing, movies and shows. We are literally made consumers of literal poison. Has anyone paid attention to recent WHO report that 5% of all deaths are due to alcohol, number has high as 23% in 20 somethings.
I have a paper that should be out in few months (I might do a show Hackernews). It details a method+tool, which provides fine-grained information out of the box, that I used on published simulation codes.

In the meantime, if you want a way to explore this subject on your own applications, I would recommend Verrou[0].
It has its shortcomings but it is probably the current easiest way to evaluate the impact of floating-point arithmetic on your code (I did not work on it but exchanged a lot with their team).

[0] https://github.com/edf-hpc/verrou
It's pretty self-explanatory, no? People who produce net negative value. Not an uncommon thing, especially with untrained workers - the hope being that you can eat the inefficiency long enough that they learn and become producers.
I'd be happy for Android to lose some ground to competitors such as Windows, Sailfish, Tizen, a hypothetical Amazon OS, or almost anything else. While I appreciate the usable non-Google Android stack, the duopoly has gone too far, and there needs to be more competition in order to drive innovation and differentiating features.

Plus, it's not like Android will suddenly become less viable if it were to drop from ~85% to 65% market share.
Yes but it’s not done with a function like filter in scheme or Haskell, it’s done by the gui, outside of the world of formulas. For more complex stuff there are database features hidden away inside
How much of a delay did you experience?

I was worried about it before I made this, but I haven't noticed any considerable lag. The server is in France. If you're not from Europe, this could be the reason for the delay.
On the contrary, there are no additional assumptions that need to be made in order to reject the idea that the universe was created by a being. Physical laws are not assumed to be an authority that dictates how the universe works. They are just descriptions and models based on what we've observed so far, which means they can be updated based on further observations. In other words, if we were to observe evidence of a powerful being, then our descriptions and models would then need to take that into account. Until then, there is no justification for making that assumption.
I'm on the latest version and I seem to still be able to chat on a voice/video call at the same time? Are you talking about chatting with people you're not on a call with?
It is definitely ground breaking news
>Delta said that travelers who don’t want their faces will be given several opportunities to opt-out, Delta spokesperson Kathryn Steele told TechCrunch, and can continue to “proceed normally” through security.

>CBP spokesperson Jennifer Gabris said that only US citizens can opt out, and will have their documents checked manually.

>Homeland Security, which oversees border security, struck a different tone when last year it said that anyone who wanted to opt out of having their faces scanned should “refrain from traveling.”

Found the different responses interesting.
So, in America where 15 year olds can get a driver license (and a full drivers license when they turn 16), are not allowed to ride a scooter which can go a lot slower then a car AND is a lot less dangerous to the public because they are not driving a three thousand pound death machine.

I can understand that the companies don’t want underage kids driving it but why would the police enforce a breach of a private contract?

I really don’t understand why riding one when underage is against the law. Sure, they are not very safe, and things such as blowing a red light are a lot more dangerous but doing that in your car is A LOT more dangerous and also more dangerous towards other people. Can someone shed some light on the issue because I really don’t see a reason why it should be forbidden, given they know the rules of the roads. And that would simply require a drivers license which most teens in the US seem to have anyways.
This rings so true to me.

Throughout high school I had the worst attendance record in the entire grade. For a few days after having stayed home, though, I was much sharper than the other sleepy kids. Then I started to feel tired again.

Come on.
> I've noticed also that it makes people uncomfortable if you're not drinking.

Last night I watched a video by Mel Robbins on friendship¹ in which she made the very cogent argument that when you mention you don't want to drink you remind others in your social circles of their own struggle to quit drinking, hence the negative feedback. Her solution is to accept that those people are part of an old chapter of your life, and although you don't dislike them in anyway, it's important to recognize that you will slowly develop new friendships with those that match the lifestyle you now choose to live.

__________

1. https://www.youtube.com/watch?v=gXAc6ln6xBs
Latest phones: the phone SAMSUNG Galaxy C9 PRO full reviews
Just an anecdote: my wife and I absolutly use Alexa as a controller for our house, even though "easier" solutions exist. Just shouting "Alexa, Time!" has completely replaced looking at a clock.

The only thing I don't like is using it to turn on the bathroom light, but only because the noise might wake up others in the house.
I haven't. I'll check this out, thank you :)
Off the top of my head there are a few huge advantages to outsourcing to the US:

Far less of a communication barrier when you all speak English as your primary language. (communication breakdown has got to be the biggest reason outsourcing fails.)

No huge time zone delta. This means you don't usually have to wait 24 hours before you get a reply to your email.

Easier to fly the developers over for meetings or to show them around your facilities.
Yesterday my fiancee and I went on a bike ride around the neighborhood. At one point, we heard music and the whine of an electric motor approaching from behind. A moment later, an adolescent on an electric scooter comes barreling along with headphones blasting music into his ears. Without slowing down or even a glance to either side, he enters the intersection to a relatively busy 30mph residential road (where cars frequently go 35 or 40+, easily, as it's a boring 1 mile straight shot). The kid casually swerves around as he crosses to narrowly avoid being t-boned by an SUV from the left. The blank expression on his face betrayed no concern or surprise, only casual indifference as he rode on as if nothing concerning had happened. The car didn't honk, maybe they never even saw him. Looked like they were on their phone.

I hate watching this kind of stuff happen. Makes me cringe.

What's that Seinfeld joke about people who's brains are too stupid to protect themselves? :P

PSA: Cars vs cyclists or other unprotected travelers are 3,000 pound weapons. Watch out and gear up.
In this case what I would recommend is to put the entire server off the internet, on a separate network segment where it can only talk to a proxy for VNC & web sockets or whatever is needed to make the functionality work.

That way even if the machine does get rooted, it's very unlikely that any damage can be done (it would have to then try and compromise the proxy - all over VNC because you can't even get a reverse shell yet - just to be able to gain unrestricted outbound network access).
> 2. While we like to claim that a study randomizing people to alcohol wouldn't be ethical, pre-2014 I don't think that would have been true. I think there was enough equipoise. Post-2014, I would need to see some strong counter-evidence to make me think there is equipoise once again.

That's a very convenient way to socially forbid replication attempts. I don't buy it. The argument basically amounts to a claim that we answered the question definitively in 2014 and anyone questioning that result now is unethical. Today's scientific research, especially in any area pertaining to people, is too unreliable to blindly trust this way.
All of these pointless upgrades that make things worse just make me use fewer features, do less exploring of what's possible, and I end up giving up on a product/company.

I used to be able to say to my watch, "Hey, Siri, where is my wife?" And I'd be shown a map. Now when I ask, it says I have to open the app on my iPhone. If I could use my phone, I wouldn't ask my watch!

I can have my Groceries list showing on my watch and say, "Hey, Siri, add 'peanuts' to my Groceries list" and she'll respond with, "You don't have a list called 'Groceries,' but I can create one for you."

I haven't tried since the iOS 12 release a few days ago. Hopefully it got fixed, but I don't even feel like trying anymore.

I've lost so much faith in Siri and similar technologies that the only thing I use it for anymore is once a day: "Hey, Siri, turn off the lights." And even then then there's a 5% chance of her responding, "Here are some web sites about 'turn off the lights.'"
Something like this? https://github.com/andyferris/Traitor.jl
My amazon personal shopper is an idiot who thinks:
"You just bought some headphones, here are 9 other models you should buy now."
"You just bought a mattress, here are 9 other mattresses." "You watched 3 minutes of this show and stopped 1 month ago, here are 9 other shows that aren't really related in any way, but they are the shows we recommend to people who love that show you obviously didn't like"
As a small data point I'd say that Leslie Lamport claims that Amazon has used TLA+ on a good number of big projects; many people think of formal proving as an activity that is separately layered on top of programming, as opposed to a proving-language. Also, when people use Rust, are they using proving techniques?
It’s not super great to have to learn a new language and “advanced programming” (whatever that is) so I’d stick to something a prerequisite has used. I’m hopeful advanced programming includes testing and the “clean code/SOLID” concepts or something software engineering related. I’d say those advanced concepts are more useful than a specific language.

Go or Python is fine.
Well let us put it the other way. If scientific advancement was this important to you would you pay whatever price they are asking you to pay? (Assuming they and they alone come up with a price tag?)
You didn't ask for this suggestion, but I'll say it anyway: evidence suggests that making a similar switch in your regular diet would have a material impact on your well-being beyond what you've experienced with alcohol. If you think back to your drinking days and think you would have gained more from quitting alcohol much earlier, just imagine how you would feel by improving your diet.
Astronomers Just Detected Matter Falling into a Black Hole at 1/3 the Speed Of
The simple fact that no-one ever used the fancy buttons on a microwave, and everyone presses the « +30s » nine times, is a glaring demonstration that we don’t even have a use of the middleman that tries to control the control for us, even if we’ve already been forced to pay the higher price-point of it. It’s a bit like the barman that’s between the coffee machine and me: I’d be glad to pay a but more and do the coffee properly myself than having this wonderfully complex talking machine known as bartender between the machine and me.
AWS customers migrating sensitive data need to do things differently
You can also optimize non-recursive tail calls:

def add10(y: int) -> int:
return y+10

def def add11(x: int) -> int:
# won't get optimized
return add10(x)+1

def add11_tail(x: int) -> int:
# should get optimized
return add10(x+1)

in `add11_tail` the call to `add10` is in the tail position, i.e. you can "forget" about `add11_tail`'s stack frame since it's not needed anymore. It's still needed in `add10`, because you start in `add11`, call `add10` and go back to to `add11` to add 1 to the result.
Luckily for humanity, Bob Barker is still alive[0].

[0] https://en.m.wikipedia.org/wiki/Bob_Barker
Scooters are probably a greater danger to themselves. And when it comes to law-making protecting children is the premise no one can vote against. Even if teens driving cars were an empirically proven greater threat to children.
Well said and the other problem is that this technology can also become obsolete quite quickly - forcing you to throw out older hardware - creating waste.

For example - speaking of Apple - my iPad 3 is stuck on iOS9 - can't upgrade it anymore. The hardware and everything is fine, but some websites don't load correctly etc.

Migt have to jailbreak it...

And I don't understand why people are willing to have a listening device like Alexa in their home.
Profound Non-Proofs of Hard Problems
I don't mean to imply I had no parental involvement. Anything but. However, they didn't micromanage with respect to college. They did offer advice on applications and the like.

We did do some campus visits when I was in high school. But we probably prioritized non-obvious "safety schools" and other places that dovetailed with vacations plans. It's just that, as it turned out, I got into one of my high picks and there just didn't seem to be a lot of reason to visit it. I'm sure I could have had I wanted to. But TBH taking a campus tour or even spending more time can be pretty superficial and non-representative and, in this case, would almost certainly not have changed anything.
Ah, you beat me to it! I was writing my comment and then forgot about the tab for a while.
In what ways is their nervous system different?
> it's the best memorizers that become doctors.

Ridiculous comment. I'm embarrassed for you. Remember to say that to all the great doctors that are constantly saving lives, inventing new treatments, and being ridiculed by their own community when trying to introduce change.
OP's example is reminding him to turn oven on or off.
Ask HN: Image compositing language?
Is there a good language for compositing raster graphics? Putting different sub-images in different places, adding text, ... that sort of thing.
Formal methods have seen adoption in hardware where the cost of bugs is much higher. The fact is it’s cheaper to patch buggy software than it is to apply formal methods. Quality has remained above a level that would impede progress, and basically it just isn’t that big of an issue.

On a smaller scale it’s been used in code checkers to find uses of uninitialized variables and “can be null” errors. Just in a limited form.
I think this is just a way to make it easier to set up ESOPs. Blasi created an alternative structure called an EWOK, but afaik that wasn’t included in this bill.
One of the local breweries in my city partnered with a local animal shelter to do something similar. They're the happiest cats that never want want to meet you. (they are all spay/chipped/collared/vaccinated and get yearly checkups)
Okay well thank god nobody is gluing anything to anybody's eyeballs.
Humans have been making alcohol since prehistory. There are plenty of breweries, distilleries, and vineyards in Europe and Asia that have been continuously active for centuries.
The study for the amount of birds they eat made a lot of assumptions so there's doubt on whether it's actually accurate or not. I do agree on the spay / neuter, though. Also it's news because these are cats shelters generally kill
> I could say “Alexa, turn on the oven to 450” and it would (a) turn the correct device to the correct setting

Nope, it's turning it on
I miss the days when my TV didn't have software updates and was simply a dumb panel whose only job is to display a picture for whatever input I give it.
The microwave is a genius move. The key thing is that it's a really cheap microwave. Most people who need a microwave don't want or need anything special, and will buy the cheapest decent-looking one, and this is where the Amazon microwave sits. They'll sell crate-loads of them. And all those people will then have a device sitting in their home with the potential to connect to Alexa. So if/when they decide they want to play the smart home game, they'll think 'Oh well we already have one Alexa device, so lets get an Alexa'.
This documentary and the book it's based on are hugely relevant to the present. I'd also recommend Herbert Simon's works (referenced in Future Shock).
Condo towers? The suburb I grew up in was all single family homes with 2-car garages, 6,600 people per square mile and 14,000 people total. We have one high school in the center with ~900 students. Walkable for all of them. There are two elementary schools around half that size with even smaller coverage areas.

We were unambiguously a suburb. 1/6th that density would have been nightmarish sprawl. Berkeley, also mostly suburban, is 12,000 per square mile! That’s my point.
Amazon is no Apple.