skysight-inc/HackerNews huggingface dataset:
This isn't so much "just try harder" as a mental approach which worked for me when "eat less" didn't. You look at yourself in the mirror in the morning and instead of just saying "yuck I'm fat", you say "I can control this by choosing what I eat." You open the fridge mid-morning for a snack and you think to yourself, "do I want to eat this more than I want to lose weight?"

Affirmations only start to seem hollow if they're not backed up by action. The first time you say "I can control this" it does sound hollow. After the first day when you've eaten healthily and chosen not to snack, the next morning it'll sound a bit less hollow. After a week you'll actually feel in control. It gets better, not worse.

Of course, a crucial part of this is eating healthily so that you're not starving. Some protein, a bit of fat, and limited low-GI carbs, along with fresh fruit and vegetables. If you have a handful of potato chips for breakfast then of course you're not going to be able to stop yourself scoffing the rest of the packet by mid morning.
WSJ: Apple to drop LCD in favor of OLED on all new iPhones from next year
The entities I'm worried about have bought off-the-shelf surveillance tools which record the HTTP requests associated with each IP/MAC address. This is a minimum viable product for governments and ISPs (not to mention businesses, like hotels and coffee shops), and it is reasonable to think that such a system is deployed on orders of magnitude more networks than a system that tries to infer Debian package downloads from counting bytes of HTTPS traffic.
I have this firm belief that demo writers are literal gods amongst programmers. Nothing comes close to their knowledge and craftsmanship and the resulting art they create. To me it is the purest form of programming bar none. I'm in constant awe and have the utmost respect for these guys. Just had to get it off my chest. Thanks for reading!
Tangentially, I wonder how the world would be if Jeff Bezos had become a theoretical physicist and hadn't founded Amazon. Perhaps he could've done just good-good instead of good-bad (tilting more and more to the bad side). Would someone else then have founded an Amazon-like company? That seems highly unlikely since even now, nobody else seems close to it on the combination of technology, retail, reach, growth and influence.
> so renowned that over time even Muslim families tried to get their children to be recruited.

Being "renowned" and having a pair of examples of some who actually gave away their sons (for whatever benefit they expected, these were hard times) doesn't mean that forcibly taking the boys "as a tax" away from their families makes it less vile.

Compare: "I'm sure" that some black Africans "gave" their sons to be slaves to the Western men, so there was "more to the forced slavery of blacks" than our "modern sensitivities" say to us. See?

In reality the children were "collected" regularly, by force, by the soldiers coming to the villages and taking the 8-10 year old boys away. And researching the subject, there are also stories among the Christians who were the target that the mothers had to harm their own children, making them disabled and unsuitable for being soldiers only to manage to keep them from being taken away.
In densely populated countries not everyone has the space for their own driveway. In fact most people don't. Its one of the big problems of electric cars: where to charge the damn things.
The alternative ending to the film significantly improves it. You can easily find it online. (I'm not going to spoil it.)
Deps that include the CDN product Spotify uses?
I'd really, really like to see a breakdown of expenses for the company's operating lifetime. In my mind this amount of funding should let you build functional nationwide delivery infrastructure, not only three cities, maybe open 100+ locations; but I'm likely wrong and would love to see how. My first guess would be most of it is burned on marketing and software development (?).
A Student Ate 5 Day Old Pasta for Lunch. This Is How His Liver Shut Down
Yeah, but if you have A() calls B() calls C(), and they're all a few lines long, how do you decide which ones to inline? If you just do it as you're writing, don't you end up missing inlining opportunities further ahead just because you've already inlined before, and therefore the resulting function is too big to be further inlined?
That isn’t how fractional reserve lending works. An example will probably help.

You walk into Friendly Neighborhood Bank and ask for a loan, and since they’re friendly they make the loan. Now, what does that mean? From your perspective you now have a liability (the loan) and an asset (money in a bank account). From the bank’s perspective, they now have an asset (the loan), a liability (your bank account), and an income stream (the interest payments).

The bank didn’t have to move any money around from the Fed or other people’s savings accounts to make this happen. They just entered the debits and credits into their system and boom the money appears in your account, just as good as any other money. They literally created it out of thin air.
It really is beautiful. It's a variant of Deja Vu, as I recall, and its hinting is perfect on my display. The feature I really needed, though, was good Unicode coverage, especially for math and logic symbols, and Hack has that spades.
I've been on a low dose of Ritalin for about half a year now, I experience very few side effects, but appetite inhibition is definitely a thing.

Even after half a year, it has barely changed at all. I usually don't really feel hungry until I'm at the point where I get a bit lightheaded because I haven't eaten for too long.

The most annoying part isn't even the inhibited hunger impulse, it's that even if I take that into account, and plan my meals accordingly, I don't really feel like eating much, and I'll eat like you would if you were daydreaming about a potential lover.

The most effective solution I've seen so far is to not chain the doses like it's usually advised, ie, one pill every four hours, but to plan your meals and your pill timings such that you'll eat when the medication is wearing off. It's annoying, because of course this half-hour to hour period after medication wears off is very annoying, but it's the better alternative, especially if you take into account that Ritalin has a more stable and gentle impact if you take it on a full stomach.

Taking Ritalin on an empty stomach is like drinking two double-espressos on an empty stomach after a bad night's sleep, right after you wake up. :c
It seems like the big question is how can the gap between statistical and symbolic ML be bridged. How can the same architecture both learn to e.g. recognize cats in images, and perform logical inference on symbols?
L.A.'s Measure M Voters Fund Transit, but Don't Use It
Apple Supplier in Japan Looks to Taiwan for Bailout After iPhone XR Letdown
When an article presents findings about curing cancer it's an immediate red flag.
Cancer is not a single disease but plethora of different diseases/types of tumours with different behaviours and cures.
You don't treat a breast cancer the same way as a lung cancer or brain cancer. Even talking about "brain cancer" is very generic and covers a wide range of tumours that are treated differently.
At that point, the client has initiated a specific update or install that fails. This is different from simply censoring the existence of a package.
That doesn't tell you anything about the original source, though, just the version that got put on IPFS.
Hey - why not just systemctl ? It’s quite robust and reliable.
> They're doing something very different.

I don't buy this explanation. I can easily get roasted chicken, honey glazed pork, salmon, bbq ribs and a ton of other 'complex' dishes delivered with no fuss and for similar prices. Pizza, thai etc are popular because, well, people enjoy the food. There is nothing radically different about doing other cuisines, except messing up logistics or not meeting consumer demand...
Yep the government is gonna have to install a metric ton of chargers for it to gain traction. Tesla is very suburbia America.
Google Doodle Salutes Martin Luther King Jr. On MLK Day
I had exactly the same experience. We did specification in Z, but the code that was supposed to be "proved" correct was a clearer reflection of what we wanted to do than the "spec".

So I actually had more confidence in the code than I did in the spec.

And I think this answers the question of the OP: people don't use formal methods because

(a) the vast majority of problems don't start out with a formal spec

(b) the gap between informal and formal is vastly more relevant than the one between different formalisms

(c) formal methods are significantly worse at bridging the formal/informal gap than most programming languages

And yes, when you have a sub-problem that is mostly formal, then it can make sense, particularly if there's a lot riding on it.
> If a government messaging standard is introduced, it will absolutely be designed to consider lawful intercepts like US CALEA.

Happened exactly like that when Germany introduced their "official version" of e-mail, called "De-Mail".

When the Chaos Computer Club pointed out how their whole system is insecure, due to, amongst other issues, a lack of end-to-end encryption. The German government simply decided to declare the whole thing as "secure" trough legal definitions [0].

Which means that in practice the system is not secure, but the law considers it secure because it fulfills the arbitrary, political, definitions for "secure transmission", which also includes the capabilities for lawful interception.

[0] http://www.spiegel.de/netzwelt/netzpolitik/de-mail-bundestag...
I'd argue that the importance of a literary work does not end at the reader. If the work changes the reader's world view and changes their behaviour, then it could in turn effect the way they interact with others.

Just being in the same room as someone who has understood Dante's Inferno, for example, might well have effects that alter the course of your life.

Proving this would be another thing entirely, however.
Oh, If we're getting to AGI then it's either apocalypse-time or post-scarcity-time, ain't it?
I don't know if it's a subtle joke, but I think you have a typo in readme.md s/pointdexter/poindexter.
Refreshing to hear a point of view where it makes sense to have large functions to guarantee sequence and avoid reusing functions.
For some time I thought it was _always_ good practice to split functions up into smaller functions where reasonable. On the other hand I've always hated linters that complain about method length or cyclomatic complexity, as they don't really measure how easy it is for people to understand what is happening.
After all, code is for people, not machines.
Learn about Linear Regression through example
> What is buying a car like in the rest of the world?

For Germany: Go to a dealer, price including all taxes etc. will be listed on the car. Talk to them and you can typically get a little bit off, even some solid discount if models are about to change or whatever. But you will not pay any more than stated (if you don't get tricked into some dubious credit).
Show HN: Instantly create a secure URL to your Mac
> The problem was that the experiments also found that the patient's immune system was fighting the virus

But we already have several proven and frequently used methods for largely knocking out the immune system, i.e. immunosuppressants?
This article was needlessly flowery.
> A large fraction of the flaws in software development are due to programmers not fully understanding all the possible states their code may execute in.

I keep that quote in the back of my mind every day while working. I think it has the largest influence on how I write code now.
It absolutely does. We studied SSADM in college.
From the article:

"In an attempt to understand how the virus works, researchers at the University of Otago in New Zealand discovered in 2017 that the virus binds to a receptor called ANTXR1, which is active in more than 60 percent of the cancers in humans."
So kinda like a GitHub for your browsing history?
Many excellent French authors died during WWI; their death deprived us of new works.

Charles Péguy, Henri Alain-Fournier, Louis Pergaud, to name just a few...

(Guillaume Apollinaire shouldn't be part of this list because, while he was wounded during WWI, he died of the flu after the war.)
Heat recovery ventilation can bring in fresh air with about half the heat loss, but it needs regular maintenance.

You can also look at whole house dehumidifiers to take the water out of the air to help reduce the mold problem.
I sometimes feel this also a language or tool problem.

For example an integer. In most languages and tools this is a primitive.

But most of the time we need a specific type of integer, for example a positive natural number. You can use a unsigned integer for this but that will include a zero wich we don't want.

So maybe you can use a type/domain object for this in your code, but what about the database field or communication methods?

It all can be done but with a lot of hussle.

I think it would help if we had more primitives that would work in the complete stack.

But then the question is: should ISO 639-2 also be a primitive?
I'm not sure whether this is a brilliant or a terrible idea. I have a tendency to collect my to-read stuff in tabs, and every once in a while I clean up my old tabs, read some of the stuff I intended to read, and discover many of them don't exist anymore. So a backup is great, but actually not having to read all the stuff I collect saves me a lot of time.
The problem with this meta analysis is that it doesn't really account for the motivational factor related to money and other things.

Moreover, that people with more weight to lose might likely opt for the more major programs.

When your doctor says "You now have diabetes, and you're going to die young unless you get your weight under control" ... well, that might motivated people.

As opposed to someone who just wants to lose 10 lbs and is otherwise fairly healthy.
Greenland's ice melting faster than scientists previously thought – study
not sure why this comment is down voted? it's a completely legitimate point.

the effects of messing with our own biology, let alone releasing a new virus capable of "destroy" cancer would be massive.
Some further pros and cons of padding is discussed elsewhere in the thread.

Providing privacy for the packages that, including dependencies, are less than 100MB in size is something that's probably worth doing. The cost of padding an apt-get process to the nearest say, 100MB, is not necessarily infeasible as far as bandwidth goes.

Instead of padding individual files, how about a means to arbitrarily download some number of bytes from an infinite stream? That would appear to be sufficient to prevent file size analysis (but probably not timing attacks).

Exposing something like /dev/random via a symbolic link and allowing the apt-get client to close the stream after the total transfer reaches 100MB would appear to make it harder to infer packages based on the transferred bytes, without being very difficult to roll out.
I agree. Fasting is good and simple for weight loss. My first step was removing snacks. Now I am skipping breakfast. I see results. Take a look at this blog: https://simplelifeweightloss.blogspot.com/ Author has been on intermittent fasting for 12 years. It's quite inspiring.
If you flip a coin an infinite number of times, you will get a certain number of heads and a certain number of tails (0 for either, being a possibility), but you will never get something that is neither head nor tails. "Infinite" doesn't mean other constraints cease to exist.
Swarm isn’t going anywhere. It has a growing community and the team is activly working in the repos. See my updates: https://www.bretfisher.com/the-future-of-docker-swarm/
A lot of the problem isn't in the debt as such, it is in the collateralization. When you bundle the debt and sell it on in slices with different risk profiles (i.e. separating out who gets paid first (least risky) to last (most risky) then it becomes really hard to understand how risky the debt slices are (which dictates how much they are worth).

People assume that the least risky debt (sometimes called super-senior) is worth its face value. The problem is that when things go wrong, investors lose confidence in the valuation of the debt. And suddenly a bank with say $1T of super-senior debt finds it is only worth $100B on the open market. And that means that the bank doesn't have the assets to back the loans it has made - so has to raise money by selling things. Selling things when you are in trouble is never a good idea, as you are forced to accept a discount. So you now have the market flooding with cheap assets (say securities), which then drops the value of the securities that other banks hold - which gives them problems in backing the loans they have made. Then they have to start selling.

And that's how a financial earthquake begins...
> Fully possible to suck in every possible version of yourself.

Now that's uplifting. :)
Seems like having all smart people working as fractal fleas in the banking sector, instead of developing products produces crisass. We need more self-regulation.
> You can prove you have integer types or fractional types or whatever, then a hardware bug comes along and your proof doesn't relate to the real world anyway.

Proofs always rely on some sort of axiomatic system. Otherwise you don't have any basis for starting deductions. In most cases "the hardware conforms to its spec" can be considered a reasonable axiom (unless maybe in space flight where cosmic rays may cause appreciable amounts of random behavior).
In the UK the 2nd gen smart meters will let you automatically switch tariffs every hour, or something like that.
Introducing a better "SMS" standard wouldn't kill your messaging apps, so I don't see the problem, even if they come with lawful intercept crap. SMS gets strictly better, even more secure messengers still exist and will continue to be used widely.
The δILP paper from DeepMind did something like this using one architecture, trained end-to-end:

https://deepmind.com/blog/learning-explanatory-rules-noisy-d...

They have one experiment were they learn the less-than relation between images of digits. Pretty cool stuff.

However- my preference would be a system that combined statistical and symbolic learning. For machine vision specifically, the statistical learner (a CNN most likely) would extract features and these would then become the universe of discourse for the background knowledge of the symbolic learner. This is highly speculative and I haven't done any sort of practical work towards that but I've discussed some of the complications with coleagues and I think that they can be overcome.
The question is really:
will the (value/time unit) a programmer can generate for a company increase or decrease in the future?
Since the world keeps getting digitalized and connected, I think the answer pretty clearly is that it will increase.
DNS aren't too reliable. Stealing your own domain is easier than stealing google's own domain. If you use that e-mail for primary ID, getting even temporary control on your domain allows stealing all your accounts.
I can't believe you're suggesting that stealing is reasonable. See, I can make things up too.
Investing Trends to Watch in 2019
I know someone who looked into the fake propaganda spread around social networks in Myanmar (WhatsApp is essentially not used there, but Facebook and Viber are the big ones). It turned out it was virtually impossible to trace the origin of messages because most people were copy/pasting messages instead of forwarding them.
Which makes me wonder how much of an impact is actually expected of this. The cynic in me worries that it may be a way for the platform to wash its hands...
Price Comparison of Traditional Approaches and Data Analytics Tools for SMBs
Yes , sure, thanks for adding this point too. It will be infinite only inside the limitations that were set when formulating the problem.

It can not extrapolate out of the limitations only because something inside it is infinite. But this I knew before, it is pretty obvious, off course, at least for me, and what you say explain the number 3 analogy in the parent comment I was replying to, I see now, and the reason I found the analogy weak is that this was already obvious.

And thanks for confirming that "...(0 for either, being a possibility).." That was the important bit for me.

Also, the chances of getting a Head in 10 flips is bigger then the chances of getting a Head with only 2 flips. So if we got 10 Heads already, every time we get another Head, it may decrease in some way the chance of getting another Head next flip, But the Curve of Decrease in the chances of getting a head again will approaching zero forever...

...(no, this may be wrong, theoretically, every time you flip the coin the chance is always 50%) , but the overall(infinite) curve's line will never touch the zero line.

this probably wrong somewhere, that is why people go broke trying to do the "double the bet" by playing always on the black or always on the red on the roulette at the casino, always doubling the bet when they loose some shot.

This is paradoxal and confusing for me and is the reason I stopped jumping from 15, 20 meter high rocks into the sea. I thought the chances of something going wrong (solely because of the Law of Probabilities, not counting ageing and other factors) will Increase overall, and someday I was going to get hurt.
> In a complete shock to me, the project is active and recently hit 1.0!

I'm quite surprised too. My guess is that a large company, most likely Apple, have a bunch of internal applications built on it so keep the project active enough with contributions or donations.
Hainan province to ban sales of diesel, petrol cars from Mar 1
This is not how thermodynamics work and blaming homeostasis sounds a bit too much on the fat apology side rather than real science.
Even the fattest person on earth will llose weight at caloric deficit, where deficit is more consumption or less ingestion.
You should definitely read The Divided Mind by Dr John Sarno. The book has a very high success rate at solving long term back injuries.
Can you give me more examples of FM used in finance? I feel like they should be used, but in my limited experience with finance-related gigs I've been aghast at the lack of even basic testing put in place...
Octoparse, a visible web scraping tool
Slow Down to Go Faster Than Ever in Software Development
> So what exactly is the standard we are working to? Is proof reasonably superior to more effort testing?

Empirically, yes it is (see e.g. "Finding and understanding bugs in C compilers"). Testing can show the presence of bugs, proofs show the absence of (a class of) bugs. This is a worthwhile exercise, even if your model is not perfect.

This is not an all-or-nothing proposition. There are lightweight forms of formal specification and proofs which you are probably already using. One example are types. If your program is well-typed it might still crash with a division by zero or some other runtime error, but it will not crash because you tried to execute code at address 42 after you mixed up your integers and code pointers.
Since I started designed before code I am at least 2x more productive, rework was reduced to almost zero. Anyway, it is difficult for us to understand things really abstractly, and to measure the future gain of not so fun activities.