skysight-inc/HackerNews huggingface dataset:
Yes, thats what I thought...but also the chances of getting a head in 10 shots is bigger then getting a head in 2 shots, otherwise playing only once in your life at lottery would be the same as playing everyday, but the financial cost is measured by unit, I mean, the price is by single ticket. Or I am wrong here all again and this is where I was wrong?

Sorry you maybe you made your comment before some edit I made, But I am grateful you have pointed out this, Thank You.
I wonder if this isn’t a blessing. Maybe the treatment is to inject the virus near to the tumor. That way it does it’s job but is inevitably removed, thankfully, by the body’s immune system. It shouldn’t remain in the system longer than it’s needed anyway.
> In the end, it takes time and will to achieve results but once you get into a routine, if very easy to keep going.

I think for perspective it's good to consider how long it took you to gain the weight in the first place. Say if you slowly went up 80 pounds over the course of 5 years, then remember that time frame. Expecting it to be gone in a month is crazy. Even losing it in a year is 5 times faster than you gained it.
Risk of Discovery (2017)
This is a bit of a side quest comment.

South Africans are (at least historically) quite different in this respect. Everyone is cold in the winter due to complete disregard for insulation (at least, when compared to Europe). People also don't get layering. The comments about construction do hold mostly. In the warmer areas of the country usually you are cold in the winters for only a couple hours per day.

When we go overseas we tend to open all the windows. Maybe this is because we are not used to long winters.

My grandparents were experts at opening select windows in their houses to create drafts in the pre-aircon age.

There is a meme: "If a guy invites you to a braai at his home at 3am, it really is a braai."
Is Only-Child Syndrome Real?
> (so if we flip a coin infinite times, we may get infinite Heads and never get a single Tail(?))

But flipping a coin follows strict rules. A robot who is programmed to flip with same variables will always make the coin land on the same side.
Ironically, the wages of government representatives are also called "diets" in German. I'd say "diet" for "Ernährung" just fell out of use at some point and was reintroduced when diet fads became a thing.
I've heard that argument before, but I've never seen that sort of behavior in practice. If anything, statically typed (or heavily annotated) codebases I've worked on have been much more amenable to change when it comes to adapting to "code that doesn’t neatly fit the puzzle’s constraints" as you say. The refactoring tooling and assurances provided by the type system tended to make people more willing to start rethinking their "puzzle" (type design) earlier in the process, rather than doubling down on a flawed model.

I've seen people do similarly great work in highly dynamic languages, too, so this isn't a "static > dynamic types" statement; just an anecdote in contrary to your claim.
Yeah, the same way you tell heroin addict or an alcoholic to quit today. Many of those people know they want to quit and they "re-affirm" daily but it's just constant struggle for them which is very difficult or impossible to win every hour, day and week. When people ask for help with weight-loss most of the time they need something that makes the struggle manageable.

I drink alcohol recreationally. I can't imagine being addicted to it. I don't even know how alcohol cravings feel like. I can stop at any moment without wanting more and I can and often go months without a drink. Still I wouldn't ever tell an alcoholic to just decide and re-affirm it daily to stop drinking. I know the problem is deeper than that for alcoholics. It's high time we start treating people who overeat and can't stop similarly.
Cannabis is not a virus, but some researches say it can kill cancer cells
Not actually true, the always 15 years away bit. Three decades ago (1990) his prediction was Turing test and AGI in 2020–2050. More recently he's predicted Turning test 2029. He may be wrong but doesn't keep shifting the dates 15 years away. (https://en.wikipedia.org/wiki/Predictions_made_by_Ray_Kurzwe... )
> That goes so far that I can not go to restaurants anymore

I would call that a direct impact to quality of life (if only because you're missing out on the social experience), which is the exact point the GP made.
Hi, I didn't downvote you, but hopefully I can shed some light on why other's did.

This is a conversation about the levels of CO2 and how it effects a person, especially their sleep. In this part of the conversation people have started to talk about how the temperature also effects your sleep. This was a natural progression, as less CO2 needs more ventilation, and brings with it colder temperatures.

You then started talking about two groups of indigenous people in different climates. Brilliant, I'm interested in how these two groups of people sleep! You however did not talk about these people's sleeping habits (as would have been another natural progression for the conversation) but instead go completely off the topic of conversation and talk about a bunch of unrelated topics, with very tenuous links between them.

Your comment did not add to the conversation, at all. Neither has mine of course, but I hope it goes some way to explaining the unpopularity what you said.
Why isn't the pipe a construct that has caught on in 'proper' languages?
Always felt in my science-gut that the body’s ability to produce new tissues of any-type anywhere in any amount for any reason was probably of great benefit to us for the most part, and that treating it like a plague to burn out was on the wrong track, and that treating it like something to attack at its mechanistic route would probably bite us in the ass twice as hard
That's one of the design goals of Powershell, you don't pass streams of text between cmdlets, you pass objects, which have a type, properties and methods you can use in standard ways (they may also be strings)
You seem to know better already. In your early days, the more you can avoid known pitfalls and issues, the better. So you must avoid taking this person in. Otherwise either you and/or your co-founder may quit in frustration because of this person, and leave this whole idea behind as a bitter experience. To go from inspiration and excitement to a bitter parting of ways would be terrible.

Avoid this from happening, and also the possibility that one day you may write a blog post about how you ended up making this wrong decision and how it hurt you. :)
Stream for trans charity draws megabucks, gamedev guests, and US congresswoman
He predicted Turing test by 2029 which is fairly definite, falsifiable and quite likely to be falsified.

For me proper AGI is when you could say to a robot go build some better robots and then have them build even better ones and they can do so without needing us. There will be some year before which if humans disappeared, computers and robots would grind to a halt and after which they could carry on. That's also a definite falsifiable thing, harder than the Turning test and is kind of what I think of as corresponding to the singularity which tends to be rather wooly in it's definition.
> "- Docker. It really changed the way I work. I think the learning curve can be a little steep, but once you're comfortable it leads to much more productive development that is ready for production."

Would you elaborate on this, please?
Correlation between income and IQ?
I agree every word.

The article shows a very bad future for PHP, that's known for all of us it's not the holly grial for every developer needs, but I don't can forecast that dark panorama for the PHP. The latest versions are opening a different paths, their performance are continuously improving, and I'm sure that we'll use PHP in serverless.

The author writes about their personal preferences, that's good for him, but it's not true for all the developers.
From what you say, it seems to be like Arch Pacman as opposed to Debian Apt (chocolatey): upstream is largely untouched and the package managers is basically just orchestrating. Is that correct?
A friend posted this to Facebook and I’m unclear on accuracy, methodology and conclusions.
>It's always a matter of balance

Depends on your language and environment, too.

I'm more comfortable inlining C# web code than unsafe device driver code.

But remember when you inline, you can comment around code and use more expressive variable names too. It's the same logical abstraction and similar levels of readability, just accomplished with different language features.
Contiguous United States just lost its last wild caribou
Getting killed under cannon fire in their own barracks, not a nice end for an order which served for so many years. The destructon of bektashi order was also a decision with long reaching consequences. Still, what most people believes that towards the end they were corrupt beyond any hope of rehabilitation or modernization. Earlier, Murad IV could restore the order after killing of Osman II by Jannisaries but it was mostly downhill after that. The abolishment of Jannisaries is known as "Vaka-i hayriye, Auspicious event".
So what is the distinction anyway between lying and being wrong?

Is the dividing line between wrong and "plain lying" whether someone has cold customer service? Is that why my buggy programs are just wrong, whereas Google is engaged in dishonesty? Or is hyperbole just dishonesty here.
Had Bezos continued in the theoretical physics direction, I am sure he would of been successful and productive in the field. He would of got the math. Great theoreticians have imaginations that are able to come up with ideas that have "fit". The mathematics help you get there, and help you understand the problem, but the imagination and creative thinking skills are crucial. Bezos has this ability - Amazon's success I think demonstrates this very well.
People can predict your tweets–even if you aren’t on Twitter
You could put a C inferface on top of this. Especially the quinn-proto is suitable for this, as it does no IO on its own.
I wouldn't put so much trust in this unknown package manager, Chcolatey or Homebrew on Windows would be far better choices.
I dunno, Articles 11 and 13 came pretty close... the old EUCD proposal some years ago...
2019 Updated Guide to All Possible Google Tag Manager Customization
Because the only people that can really make it, without being lucky, are the ones that just finished their CS degree.

I had my "Algorithms & Data Structures" somewhere around 1996.

How often do you thing I am implementing AVL and B-Trees on typical enterprise applications?

MaxFlow? I had to google for what it is all about.
Previous discussion [flagged]
https://news.ycombinator.com/item?id=15287860
The Rationalization of the Attention Market
Yes, pipes are awesome, and the concepts actually translate well to in-process usage with structured data.

https://github.com/mpw/MPWFoundation/blob/master/Documentati...

One aspect is that the coordinating entity hooks up the pipeline and then gets out of the way, the pieces communicate amongst themselves, unlike FP simulations, which tend to have to come back to the coordinator.

This is very useful in "scripted-components" settings where you use a flexible/dynamic/slow scripting language to orchestrate fixed/fast components, without the slowness of the scripting language getting in the way. See sh :-)

Another aspect is error handling. Since results are actively passed on to the next filter, the error case is simply to not pass anything. Therefore the "happy path" simply doesn't have to deal with error cases at all, and you can deal with errors separately.

In call/return architectures (so: mostly everything), you have to return something, even in the error case. So we have nil, Maybe, Either, tuples or exceptions to get us out of Dodge. None of these is particularly good.

And of course | is such a perfect combinator because it is so sparse. It is obvious what each end does, all the components are forced to be uniform and at least syntactically composable/compatible.

Yay pipes.
It is! It's the main way of programming in lazy functional programming languages like Haskell

And many programming languages have libraries for something similar:. iterators in rust / c++, streams in java/c#, thinks like reactive
I had never thought He would reach the Tortoise, even when I was a kid and heard this Zenon's Paradox for the first time. But that is interesting and funny and you made me smile.
redirect your feelings to /dev/null, because a pipe will just give us a Permission denied
F# has a pipe operator
Well done! You've elegantly solved the problem of the cache being append-only.
Hmm well, the Unix shell seems to follow a plumbing metaphor.

You could direct, or redirect the flow to /dev/null. Or pipe to /dev/null. Or redirect the pipe to /dev/null?

So from a metaphor point of view either would fit.

Although of course you don't use the pipe construct to direct to a file. Which would suggest piping is wrong?

And then on the third hand, we all know what it means so what's the problem.

So I would say theres war, famine and injustice in the world. Don't worry about posix shell semantics. :)
Ask HN: Any good imap client for cleaning of gmail?
I know about imapsize but there is no developer activity for over 10 years.
Did you read the article? Most of your points are already refuted there.
> it implies an often unrealistic separation between writing specs and writing implementations

I think that part of the problem is that small modification in the spec can lead to enormous changes in the proofs
Would the code have been as clean and clear if you did not make the formal spec beforehand?
is GQUIC going to be supported by Envoy any time soon?
I don't have any patents, but I believe the key is to continue to look at the world like a child would.

Be curious and playful (in the domain you want to create in), experiment. Try to figure out things on your own before reading the manual or other learning materials; then learn the existing theory and compare notes. Try to formulate useful heuristics for yourself. Do not reject learning or experimenting with things that seem only tangential to what you are doing.

Innovation is hard. In addition, you have to balance all this against "productivity", such as being focused on a specific problem, getting things done and finishing up.
France fines Google $57M for violating GDPR
Elon Musk's “Loop” – It's bad, folks [video]
Speaking of IDEs, a cool feature would be automatic read-only inlining for short functions. Could probably help understanding what's going on in code with lots of calls.
Chmod +x /dev/null

(havent tried above, not sure I recommend that you do)
Surelly it will be pain once you have been "spoiled" with by fiberoptic.

Keep in mind that for asymetric 5-7mbps downlink you may have 0.5-1mbps uplink. Also if you plan to work remotely in a team then video-conference and screen-sharing quality may be very poor.

For heavy stuff (rebuilding Docker images etc) it is convenient to have some remote ssh dev machine with the top connectivity (AWS, etc).

Other than that invest in some redundant links - research locally available 4G, WiMax or directed WiFi, cable TV operators.
When a bank lends you money the money lands in your bank account which means the bank can lend it out again. Even if you spend it, the money is going to land in someone else's bank account again. If we assume that 100% of the money is in the banking system without any potential for a bank run then in theory the bank could lend out an infinite amount of money.
Fully agree with you.

The problem is many people don't know how to read code properly: they try to read all the details at once, instead of surfing at the top level(s) and going deeper only when they actually need. Such people are the bad developers who write bad code bacause they cannot read.

My personal mantra with copy&past while programming is: if your mouse gave you a little electric shock on pasting, would you paste it anyway?
This! I'd also argue that your formal verification language and your coding language are one and the same. This leads to the case where if you can specify your language, it is written.
Obviously there are scenarios where it's not practical to prove a part of the program, but you can simply use an unsafe dialect as per Rust or Maude (system modules).

This works well with agile development in that you can spec out the underlying communications protocols, parallel operations etc. and layer unsafe stuff on top.
While we're here then, being able to publish these proven modules for other people should lead to a situation where we can build incrementally on code proofs.

Lastly, you can consider this system to be the equivalent of unit tests, but better in that there are guaranteed to be no edge cases you haven't tested (subject to coverage, but again publishing modules should help bullet-proof them).
For integration testing, you can use behavioural proofs - see Maude or BOBJ.
> Yes they are.

Please link to their comments.

>Incorrect. That's a valid position, it's certainly not the only one.

It is when you're talking about an organic system like a human body or any evolved system in nature.

> they can simply change their diets and if they don't, no one is to blame but them

No they can't; this is the entire point. If they could, they would, and metabolic illness would simply cease to be a problem rather than being one of the most pernicious problems in all of medicine.

> they're restricted to minors because they're lethal drugs, sugar is not

The evidence suggests otherwise.

But what's it to you anyway? What's your motivation for being utterly dogmatic and uncompromising, rather than engaging in a good-faith examination of the evidence?
17th-century painting discovered behind a wall during renovation
You are probably downvoted because there isn't enough convincing evidence for insulin hypothesis. I like Jason Fung and I love the idea of fasting for health and weight-loss. I think though that advocates of both fasting and low-carb make a mistake getting too attached to insulin. They may die on this hill while being right all along but for different reasons.

My understanding is that we don't know if it's insulin or something else that makes many people wanting to eat less once they are accustomed to regular fasting or low-carb diet. It would be better to focus on a proven fact that it does work for many people and trying to understand the mechanism instead of picking just one possible one (insulin) and staking everything on that being full explanation.
How would I add another repository to the microsoft store in order to have nightly builds of a specific app or third party apps available?

Is there an apt-like command line interface for the microsoft store?
D5/tengo: A fast script language for Go
Zomato Analysis
I recently came across Ramda CLI's interactive mode [1]

It essentially hijacks pipe's input and output into browser where you can play with the Ramda command. Then you just close browser tab and Ramda CLI applies your changed code in the pipe, resuming its operation.

Now I'm thinking all kinds ways I use pipe that I could "tee" through a browser app. I can use browser for interactive JSON manipulation, visualization and all around playing. I'm now looking for ways to generalize Ramda CLI's approach. Pipes, Unix files and HTTP don't seem directly compatible, but the promise is there. Unix tee command doesn't "pause" the pipe, but probably one could just introduce pause/resume output passthrough command into the pipe after it. Then web server tool can send the tee'd file to browser and catch output from there.

[1] https://github.com/raine/ramda-cli#interactive-mode
The foot example with Samsel Linear YGB is simply amazing!
Elixir also has a pipe construct:

f |> g(1)

would be equivalent to

g(f, 1)
Sure, but by far the biggest contributor to the project is Google and it should take some credit for it.
All cells require energy to survive.

On top of that strapping an extra 10+ pounds to your body and walking around would require extra energy for the same movements.
I would guess a lot of people who actually own some valuable copyrights value them more then privacy.
It is a very simple rule: if it is in the South Bay or Southern part of the East Bay or Peninsula - than it is probably a tech company (Tesla, Micron, Intel etc.). Otherwise it is another pseudo-tech Hipthing.
I agree that the pointer to mgr should've been const, that's a mistake on my part. On the other hand "const"ing the local integer is a bit overkill IMO (I do think that languages like Rust are right to default to const, but doing the same thing in C adds a lot of noise IMO).
My main machine broke two days ago and I had to buy and setup a new one quickly to resume working. I used scoop to install all applications I needed to work. It was easy and all the apps stay organized in their folder inside my home folder. I find scoop very refreshing and easy to use compared to other windows alternatives. I really recommend it to people, specially developers.
I’m not the GP, but I feel like “unlearning” often relates to the need to feel certain.

When looking for a solution, is the path straight? Or is it curvy, full of alternatives that appear strange at first? Staying with the strangeness is part of the unlearning. :)

Take a look at these cards[0] for their fun (and creative!) prompts to look at problems (and the world?) differently. To look in different places, in different ways. To juxtapose and separate.

Take a look at some books (typically grouped under “creativity” on amazon), such as “The Artist’s Way”, or “Steal like an Artist”. “Bird by Bird” is another book I’ve enjoyed.

Some things/tricks/ideas/perspectives will click while others won’t. It’s ok to pick a path. Some tricks will work best at one time or another. That’s also fine — part of the unlearning is accepting that too.

Best of luck and feel free to reach out!

[0] https://en.m.wikipedia.org/wiki/Oblique_Strategies
Many functional languages have |> for piping, but chained method calls are also a lot like pipelines. Data goes from left to right. This javascript expression:

[1, 2, 3].map(n => n + 1).join(',').length

Is basically like this shell command:

seq 3 | awk '{ print $1 + 1 }' | tr '\n' , | wc -c

(the shell version gives 6 instead of 5 because of a trailing newline, but close enough)
I agree, but at the same time I feel that we are losing some of this common folk knowledge. It is strange, because we are in this information age, however it's full of noise. I'm not saying that it's bad to know how things are extensively with scientific rigor. It's good, but we are sometimes throwing the baby out with the bathwater.

My parents had limited vocabulary, but in a way they meant the same thing. Stale air (a hopefully faithful translation from my language) can have many meanings, but in context it means air with high CO2 concentration. I'm wondering how much of this is also the disconnect caused by fast technological progress and evolving language with it.
Google G Suite Apps Continue to Evolve and Soon Prices Are Set to Rise
Eureka!!! Thank You nyc111, you are the Genius One!

what you said is obviously true, but in our Mental Experiment we assume priorly that we are talking about a imagined perfectly Random 50/50 % chances of Heads or Tails. Reality is more complex then mental experiments, of course...

...So your point is very good!!! Reality is the point...Yes...So the life existing in other planets is still good, no mind the misconceived infinite monkey theorem being wrong or right.

And okonomiyaki3000 may have made a good point too, so we don't worry and ...

</ Warning: some humor coming in the next words, if you don't like humor you can just stop reading this comment here...

</begin humor > ...envy our parallel life where I am the Emperor of the far-eastern Asian Empire and have more then 1 wife. </end of humour>