skysight-inc/HackerNews huggingface dataset:
> Linux blatantly violates the language specification with no remorse.

We may be able to argue that it doesn't. ISO C says in 1. Scope, this:

This International Standard does not specify

[...]

— the size or complexity of a program and its data that will exceed the capacity of any specific data-processing system or the capacity of a particular processor.

It seems that these weasel words have an interpretation that can be bent around overcommitted memory allocation.
Thank you very much for the publicity, I greatly appreciate your interest!

Prolog is extremely well-suited for solving combinatorial tasks like Sudoku puzzles, and also for tough practical challenges such such as timetabling, scheduling and allocation tasks on an industrial scale.

The key feature that makes Prolog so efficient and frequently used for such tasks is constraint propagation, provided via libraries or as a built-in feature in many Prolog system. Fast and efficient constraint propagation is often an important reason for buying a commercial Prolog system.

In this example, I am using CLP(FD/ℤ), constraint logic programming over finite domains/integers, the amalgamation of constraint programming (CP) and logic programming (LP), which blend especially seamlessly. I have uploaded a short video that shows how it works for Sudoku puzzles:

https://www.metalevel.at/prolog/videos/sudoku

If you are interested in constraint solving, a few related videos may also be useful:

https://www.metalevel.at/prolog/videos/n_queens

https://www.metalevel.at/prolog/videos/knights_and_knaves

https://www.metalevel.at/prolog/videos/map_colouring

These videos are all work in progress, and they may be replaced by better versions at any time. However, the links above will always point to the latest version.

Enjoy!
Bruce Sewell Shares Insights into a Legal Career Spanning Three Decades [video]
3D Tour through Ukrainian Antarctic Academic Vernadsky Station
Same here. This belongs on r/personalfinance. Not at the front page of HN. There's nothing techy or ground breaking about this other than being offered by Amazon.
Would it be better if Norway would not lead the transition to sustainability?

They understand how bad it is (also their oil reserves are not as great as before), and at least trying to take action before it's too late.
Plants use external sex organs (bees, ants, crickets, wasps, bats) to mate. https://blogs.cornell.edu/moreaulab/wp-content/uploads/2018/...

I'm about to go fondle some flowers to ensure they pollinate correctly.
Ads have gotten to a point where they hamper user experience. My problem with most of the ads is the amount of js tracking junk and 3rd party A/B calls that grinds the browser to a halt.
> > Your net worth would skyrocket, but your credit score wouldn’t budge. Seems fishy, doesn’t it?

Not at all.

1) no one knows I inherited that money unless I tell them (ok, the bank and the IRS do - the bank can't announce it, the IRS doesn't announce it...)

2) my instant change in net worth does not affect my ability to handle my finances month-to-month
Blink Labs | SF Bay Area | Senior GPU/Gaming Engineer | Fully Remote

Do you ever wonder if it's possible to speak entirely in memes? Want to build a new kind of AR camera app that will power the largest network of meme communities in the world?

Blink is looking for a AR/GPU/Gaming engineer who is ridiculously excited about all the WWDC 2019 announcements, and wants to work full time on ARKit 3, RealityKit and Metal. You should have extensive experience working with Metal on iOS, and you must be able to appreciate a good meme :)

You can be anywhere in the world. We give full benefits and unheard of equity compensation for the right talent. Come join our small team :)

Contact me on twitter https://twitter.com/samuel_mueller (DMs are open) or shoot us an email to jobs@blink.cm
It supports the Google Pixel range of phones only so far.

So in order to get that is more secure and more independent from Google I have to buy a Google phone?
It's very much a thing in the UK. One of the (unofficial) minor selling points for young people getting a phone contract is being able to start building a little credit.
Uh this is super super cool, well done.
To the other night owls out there, I would love to know:

-Do you struggle to sleep every day? Or is it only as the work/school/lark-world responsibilities progress through the week?

-Would you characterize your difficulty as struggling to sleep or struggling to wake up, or both?

-How does this impact your days off (i.e. weekends), and what is the first and last day off typically like in comparison?

-Is this the kind of struggle that you manage, but it frustrates you, or has other effects, or is it something that regularly threatens to derail your life? (i.e. late for work or class, or other real-life consequences)

-Do you feel like it is something you will always live with, or do you feel that there could be a lifestyle/solution, either involving your change, or accommodating to your current behavior and/or natural inclination?

I'm a night owl, and I won't go into detail about my situation with hope to not impact responses too much, but it would help me (and hopefully others!) to understand just how similar/different I may be. Thank you!
Radicava was approved in Japan in 2015 and by the FDA in 2017 to treat ALS though presumably most of the research for it occurred long before then.

It costs $145000 per year in the US and $35000 per year in Japan. It slows down the progression of the disease in a specific subset of patients (early stages of the disease with rapid progression of symptoms) which comprises approximately 7% of people with ALS. Trials among a general ALS population failed to show any efficacy.

https://www.healthnewsreview.org/2017/09/facts-about-the-new...
In my experience self pay is billed at Medicare rates. But I do imagine mileage will vary.
Crypto news and clickbait go hand-in-hand in my experience. Lots of newbies in the space, most of whom don't know what they're doing, so they're much more likely to click on sensational headlines.
Might depend on where but I've had no different treatment from my no-score days to my now healthy score.
The appropriate analogy would be like if it was a regular occurrence to have these baristas jumped after a shift and the contents of their brain and your face/late order information written down and sold to other criminals the world over.

I don't mind the big bad gobmint taking my money, I wish they'd take more to be honest. Public infrastructure needs improving and safety nets need strengthening. On the other hand, advertisers don't need my purchase history, or any information about me, and I'd rather not let them stockpile that as even if they were pure and morally righteous, they can't be trusted to make secure databases (no one can).
Thanks, on p.15 of the linked RTI report[0] a number of other recent publications are also pointed out as particularly significant (seemingly based on number of citations). Unfortunately, it's hard to gauge the extent to which these are likely to result in actual medical advances as someone who does not know the domain well. Would appreciate any insight from any researchers who can break it down a bit.

[0] http://www.alsa.org/assets/pdfs/RTI-Report-FINAL.pdf
2019.23 Complete Course – Weekly Changes in and Around Perl 6
When alpha was king memory barriers costing hundreds of clock cycles were acceptable. Today not so much.
National Geospatial-Intelligence Agency
>be truly 'courageous' and prioritise repairability and expandability in their forthcoming products.

I don't mind if they are not expandable or repairable, if they were design to last, heavily tested for reliability, then I am fine. It should be so reliable to the point Apple is willing to offer 2 years standard warranty to Mac products for the same price, with AppleCare going up to 4 years.

The problem is I am seeing lots and lots of small details that simply ignores reliabilit. And they are not fixing it, such the the Thunderbolt high voltage placement right next to the CPU pin with no separation, cables failing for no reason. Keyboard etc.

And if these were fixed in each iteration of MacBook Pro, we wouldn't have much problem. Except the same problem in 2016 exists as in the 2019 model as well.

And these quality issues were apparent with many newer Apple products. iPad Pro bending when you Open it in box. AirPod 2 with rough finishes that cut your ears, ( and Apple even refuse to exchange it ).

There is a reason why Repair Shops for Apple products are thriving, its because they fail and lots of people are repairing them instead of going to Apple store where their Staff simply suggest a price that you might as well buy a new one.
Prolog is good for discrete search like this, mostly because it's just hiding the underlying search algorithm that other languages would be to be explicit about (but as a result, other languages can search more efficiently).
Essentially, the credit score agencies came up with a reason they are needed. In the past, it was at the discretion of the bank manager on whether or not to approve a loan. The bank manager's job was to know people who banked there, and what type of person they were, upstanding, shady, etc.

Credit scores removed that risk from the bank manager's job, so large banks loved the idea. Now, loans get approved because of some score, and it's the same across all loans for a bank. You don't have the possibility of some employee just approving loans, and making huge mistakes about who to lend to. They also don't need bank managers like they did before, so they can also cut back their responsibilities...and pay.

The whole credit score is actually a really oppressive tool against the poor, and that's why everyone is concerned about it. It affects almost everything you do. Need a car, credit card, etc. Yep, it determines if you get a loan, and how much interest you are going to pay. Guess who gets lower rates, people with higher scores who probably make more money, so they pay their bills easily. It gets worse. The other thing that it affects....is employment. Employers are allowed to pull someone's credit score, when they apply for a job. A number of places equate low scores with irresponsibility and a larger chance of stealing, and so they don't hire people below a certain credit score. Does this make sense? Not really, but the credit score companies make it sound really good.

It's a broken system that is heavily biased against certain classes of people.
Bill Murray Explains Why He Created a 1-800 Number to Be Reached
Please don't take HN threads further into flamewar, and especially don't do personal attack or call names in arguments.

https://news.ycombinator.com/newsguidelines.html
Some people are okay with doing everything "by the book" even when it's slow / inefficient. Estimating how long each project will take, and then tracking each hour you spend on the project. This is necessary for billing. Sending your work to the right person for review.

Defense has rules around supply chain enforcement. Everything you do has to be auditable.

Some people can't stand living under that kind of microscope, with such rigid rules and procedures. Some people struggle to be productive in this environment, even though they are perfectly productive in other environments. Same thing applies to other environments... some personality types won't usually thrive at small companies, but do well at large companies, and vice versa.
No, because the payout for the state (the amount they planned on losing) was always the same. The amount was "lost" regardless, it just depended on if it went to one big winning ticket or hundreds/thousands of smaller winning tickets.
Microsoft Warns of Email Attacks Executing Code Using an Old Bug
Well, what's your alternative? The death penalty? Release them?
Multiple Gravity Assist trajectory planning with an ACO-inspired algorithm
Almost all healthy people harbor patches of mutated cells
> A record of successfully repaying debt is highly relevant to whether you're likely to repay your debt in future. Credit risk is only partly about affordability; many people who can afford to reliably repay their debts still fail to do so, for a variety of reasons.

I'm not convinced.

We have people like Donald Trump in our presidency who is arguably one of the worst offenders of non-payment of debts. We have the 2008 financial crisis where people were given loans regardless of payment history -- and that debt was then loaded up and sold to, effectively, shareholders. We have student loans which are frequently forgiven.
To everyone saying to let them die, then where is the punishment? Most terrorists would rather and, in fact, intend to die during their attacks. If you let them die, not only are you giving them what they want, but then there is no deterrent to carrying out suicide missions.
I don't think he's representing or misrepresenting much at all. Most of his comment (like mine) talks about what we don't know and asks questions, and like mine admits it would be hard to know anything even if we were told what "really" happened.

>It was a problematic relationship long before you heard about it

Probably day 1 as it sounds like there was a fundamental conflict with the business and non business entities, I don't get what anyone thought such an arrangement would really do that would be positive. Hopefully everyone learned from their experience, can do some good work now, and can avoid such things in the future.
We are doing this for simple data where we can but unfortunately having state in multiple locations (backend, memory, localStorage) means lots of cache complexity. How do you refresh and invalidate when the data are in so many places? We've opted to keep data in only 1 place as much as possible due to this exponential complexity.

We also have to be careful what we store in localStorage since it is relatively insecure.
I feel like he is flogging dead horse here. There are scenarios where microservices make sense, for a large majority of problems, they don't and is harmful as they get companies into managing infrastructure that they have zero experiences, so you have this places that are developing stuff that is totally not appropriate for them.

I like things that are simpler and unless the problem is a natural fit for microservices, I would not use them and consider them harmful.

I do respect Mr. Fowler to clarify but just start where he says microservices exploded in popularity, he lost me there.
That said, people can also presumably play it is a videogame, too. Nothing wrong with people having fun simulating something they'd probably never get to do in real life. At the very least for all the kids whose parents want games to be at least semi-educational, Flight Simulators will always have a niche in videogaming.
Exactly my question. I have seen a bunch of these OSs, all useless because there is no build for my phone and no described path for making one. I would love to get the T-Mobile spyware off my phone. What do i do?
How do you prove that you did not already receive a government ID, and go back and get five more with different names and numbers on them? Same question, same answer.
I thought it was supposed to be Eurasia?
INT. OFFICE - DAY

MRING'S BOSS

"Ah, I see. You missed last night's email. The number is now seven."
We've banned this account for repeatedly violating the site guidelines. Please don't create accounts to do that with; it eventually gets your main account banned as well.

https://news.ycombinator.com/newsguidelines.html
Food Emergency
A Wal-Mart Store Card Credit builder that gave 5% cash back would be a great product for a lot of people, and just as worthy of “celebration” as this Amazon card.

I don’t have any problems with store cards in general. I see them as a mutually beneficial agreement between retailers and frequent customers. It allows the retailer to capture a portion of the transaction revenue that would normally go to a third party (and some extra data about the customer), and in return pass on some of the savings to the customer in the form of discounts and rewards.
There are less energy intensive cryptocurrency scaling techniques.
> Trouble managing and structuring time, remembering things, paying attention to relevant cues, and avoiding impulsive behavior are some of the defining factors of ADD.

Having ADD/ADHD means that you need to put in extra work in those areas, and not just throw your hands up and say I can't do that I have ADD. It's not fair, but everyone has their own set of challenges. CBT has been shown to have a positive impact on managing the symptoms of ADHD.

https://www.additudemag.com/cognitive-behavioral-therapy-for...
>text-based programs

Not text based, it has buttons, widgets, can embed pictures and graphics.

>reliable, and familiar programs to accomplish

In emacs these bits of code are integrated, so I could, for example, save an IRC chat as buffer, edit it, and send a e-mail. Or open an interactive REPL of maxima, for example, copy result to latex having embedded previews for formulas, and then compile it to pdf (and preview in emacs).

Different parts could be combined in any possible way with elisp code. You can easily call any email-related or rfeed-related function from your code at any time.
I feel the exact same way. I'm on a 5 year exit strategy to become a luthier.
Creative Tech Instagram
I studied prolog years ago at university and more recently rediscovered the power of solvers (like SCIP). Is not really thought about how the 2 crossed over before. How does prolog compare to a solver these days?
Apple is using a custom connector for the SSD in the new Mac Pro
Yes, that's precisely the tradeoff the parent is talking about — relaxed ordering enables faster clocks, but you end up paying for that clock speed when you need more, more expensive, barriers.
Spark Your Creativity
Please don't use HN to promote personal attacks. It damages the community, regardless of how badly someone might have behaved in another context.

We detached this comment from https://news.ycombinator.com/item?id=20149702 and marked it off-topic.
Ask HN: Is there a commercial equivalent to the TPU?
Hey HN,

I’ve been learning about GPUs and TPUs and I was wondering if there is any commercial or open source version of something like a TPU? I’d love to help design something like that or at least buy one if possible.

Also in general, is open sourcing a chip design not common in the hardware community? Do you think that holds the world back?
*cough
I suppose it depends on the circumstances. If the conditions under which steam no longer becomes viable are extreme enough, making a ruckus on Twitter would probably drive considerable traffic to your site.
Cynical answer: he convinced VCs that his particular brand of shared office space was better than everyone else's, actual revenue be damned, and they believed him. That's it. Straight from the article: "Neumann declared that WeWork’s “valuation and size today are much more based on our energy and spirituality than it is on a multiple of revenue.”"
Virtual Reality or even game streaming, which I feel is going to change the gaming scene if they can pull it off.

Having played VR games, I totally believe this will transform a huge segment of games. Not all, but a huge swath of casual players.
One excerpt from the article [1]:

> Individuals were screened for no diagnoses of sleep or neurological disorders via self-report and were not taking any medications that affected sleep, melatonin and cortisol rhythms.

I'm really curious if insomnia or DSPD counts as a sleep disorder here.

I guess the core point of the study is, if you force yourself to be on a morning schedule for a few weeks and follow basic sleep hygiene, then it will work and you will feel better.

I don't know what to take away from this. I already follow their protocol, but my sleep onset is still naturally around 1:30am. For me, when I go to bed earlier, I fall asleep even later than usual, since I just doze for an hour and am even more awake. When I wake up earlier, I tend to fall asleep during the day. (I test negative for sleep apnea).

The comments here are pretty split between "I just tried getting up earlier and it worked great!" and "I do all of this and it doesn't work at all," so my experience isn't unusual. It reminds me a lot of comments on anti-depressant efficacy.

So I'll probably do the same thing I do every time a study like this comes out: Follow the sleep protocol more carefully for a few weeks, then feel discouraged when it gives no results, then feel even worse from the comments claiming that I am just being lazy. And then finally I will remember that the science on this subject is weak and incomplete, that morning people's unyielding sense of righteousness and morality is based on nothing, and that maybe someday we will discover universal methods of adjusting sleep schedules.

[1] https://www.sciencedirect.com/science/article/pii/S138994571... and if you cannot access the full text, sci-hub.tw may be helpful
IBM Clearcase. Horribly underfunded IT departments. Hugely out of date tools and software design patterns. Tons of extra security constraints on employees for no extra compensation.
First public flight for largest hybrid-electric plane
Redis is an example of this. When redis saves in the background, it will for and use COW to shapshot a point in time, while the main redis thread keeps going with the normal redis. If you disable overcommit, redis can fail to fork, when there is actually sufficient memory to save the db.
I wish lotteries handed out many $1M prizes instead of giving $250M to one person. People understand what to do with $1M (I think) but most people are ruined by $250M.
"Data Analyst" is often programmer lite. If you've been doing that work for a few years you could easily transition into a full time SWE role. If you really need a confidence boost and/or some on-trend training, consider doing a full stack bootcamp.
Good riddnce.
Why is western news media intentionally muddying the waters of public perception by comparing an American blacksite to everything in a sensationalist manner?

Let's save, "Nazi" and "Guantanamo" for the men who did the deeds.
donating to mozilla specifically does NOT go towards firefox development, unfortunately. It just goes towards mozilla foundation's advocacy stuff.
Nice to see at least some people getting some enjoyment out of this exhibition!

I'd also like to take this opportunity to point out I don't disagree with sentiments like "molyneux is a racist piece of shit, fuck this guy!!", I think that seems like a fairly reasonable conclusion that could be backed up with plenty of evidence. I honestly have trouble watching the guy, he creeps me out.

The point of my participation in these types of discussion, at least in part, is to illustrate how prone people on the extreme poles of both sides of political spectrum are to non-evidence-based thinking. Making fun of idiot Trump supporters is like shooting fish in a barrel, but look how easy it is for genuinely intelligent people to hold beliefs that are based on memes confused for facts, and how increasingly anti-intellectual and epistemically dishonest they can become when mistakes are pointed out in the basis of their beliefs.

And to anyone who thinks "well who cares, at the end of the day we're far more correct", which is certainly true, I would urge them to pay attention to whether extremist half-truths used on the left are ever used as ammunition in the ongoing culture wars, both by people like Molyneux as well as plain old enthusiasts online. If I think hard enough, I might even be able to come up with two or three instances where it was used in a recent political campaign.

Two possibly relevant sayings:

"Never Wrestle with a Pig. You Both Get Dirty and the Pig Likes It."

"When the facts are on your side, pound the facts. When the law is on your side, pound the law. When neither is on your side, pound the table."