skysight-inc/HackerNews huggingface dataset:
Around over 2000 I think. Less than 1000 would be ideal, I think outside is around 400.
Ah, you are correct, and my (GP) post deserves more downvotes than it got.

As to your question: I don't know. I don't really understand the formal definition of all the terms in play. But it sounds like maybe he wants relational calculus to be just a formal logic, whereas it might be something more (an algebra, or even a "calculus", though I don't really understand what makes something a calculus in these areas).
You keep referring to "misdiagnosis" when I think you mean to say "underdiagnosis".
Once you lifted the code to LLVM, you can do some interesting things, like fuzzing with libFuzzer: https://github.com/trailofbits/mcsema/blob/master/docs/Using...
I'd hire Abe Lincoln in a heartbeat.
You're making a whole lot of assumptions here. Let's break some things down.

1- "I guess them raising us as children, changing our diapers, making sacrifices for us etc. doesn't count for any kind of paying it forward because..... me, me, me, me, me."

No, it counts for nothing. That's your job as a parent. You're not required to have children in most countries I know of. If you sign up for having a child, you sign up to raise them to a point where they're self-sufficient (within reason). If you can't or won't be able to do that, you can have them removed from your custody. Doing the bare minimum (feeding, clothing, educating, and not abusing) a child is your job when you decide to become a parent. Are families complex? Are there lots of communication issued? Of course. But that's not what this article is about.

2- "The other issue is that as our parents and relatives get older their mental condition declines." My mother was verbally and physically abusive since I was a toddler. My father is a (semi)functioning alcoholic with a heart of gold and a lifetime of his own abuses. This is who they are. This is a misdirection. Some people become shit as they get older. Others were always terrible. If my parents behavior worsened as they got older, they never had any gratitude to start with because of their behavior when they were younger.

3- "Very few people are beyond redemption". What. The. Fuck? Who cares? Why is it my job to fix them? What if they don't WANT redemption. What if you tell them, time and time again, "your behavior is hurtful and ruining my desire to have a relationship with you. You need to get help. You need to work on your problems" and they refuse? Of course this is often about mental health issues. That's the basis of mental health! That your state of mind is causing you problems in your relationships and ability to function in the world. I believe many (some?) people are able to overcome their issues. I also believe many people don't care or recognize what they're doing. There's plenty of personality disorders that include "I'm not the problem, the world is the problem" as part of their diagnostic behavior.

TL;dr- My experience runs entirely contrary to yours. What a strange beautiful world we live in. Opinions aren't facts.
If I remember right, from the time I took a look at them, some didn't even have stevia at all. Their only relation was having a branding that made you think of stevia.
To further add to your point: developers now have control over the means to production and, unlike the industrial revolution, we programmers do not need access to capital and expensive manufacturing equipment to build a product. We just need some technical skills that are essentially free to learn. And as the best of us figure out how to add the entrepreneurial talent stack into our own, existing corporations have to pay us as consultants or continue to increase pay to keep that talent. In time, I think we will see it is the corporate structure that is in a bubble. (See "Developer Hegemony" by Erik Dietrich)
Rapid changes are expected after a selection bottleneck. There is less genome diversity between native European and native Australians than between apes in one herd.
Nothing hit quite as hard as the punch to the gut from the bit about linting and unit testing... spot on. I've already decided to move on and such, but my current company is so this that it hurts.
Disney lost over $1B in streaming, without its Netflix competitor
There’s no left or right in these discussions.

Sometimes it seems that way because of rhetoric, but at the end of the day we need inflation, as without it the incentive to add value grind away.
I have a love/hate relationship with the new keyboard.
In general I like how it feels. I agree that the old keyboard
feels 'mushy' when you go back to it.
It's LOUD. Very annoying to others.
It's fragile. I've been without my Mac for 2-3 days a couple times.
I'm amazed at how fast Apple fixes them. They have at least
two third-party repair depots, near FedEx hubs. One in Texas
and one in Tennesse, right near the FedEx locations.
My other big gripe with the keyboard is the arrow keys aren't
recognizable by touch because of the lack of a T-shape.
I think it too!
And any business whose users are too stupid to be meaningfully informed. AKA just about everyone.
Yes a lot of people are content with their earnings from 2 years at a FAANG. They aren't thinkings its enough to live off of forever, but its enough for:

A house somewhere else and never paying rent again

or

A downpayment on a home in a high priced area where demand doesn't seem to stop, which is always a low-interest leveraged investment that has cashflow opportunities

or

"Taking a break" which means years of luxury at every music festival and socialite event while optionally networking and pursuing other fulfilling money-making activities, with almost no opportunity cost of having 'gaps' on your resume

or

Riding off the resume entry of being an "ex-Googler" to secure advisory roles, raise capital easier, get C-level titles at someone else's startup

or

Joining another FAANG company at a higher premium

and/or

Leaving the company so you can write covered calls on all those shares you earned, for passive income
It is not always binary. Liberal's read the nyt and if readership feels like they are being tricked into a false truth by canceling they can express any distaste without automatically becoming a conservative.
Those people are ignorant; self responsibly never goes out of style.
They both support tax increases. Perhaps not enough to cover the full bill when it comes due, but it's wrong to say they don't intend to do anything to pay for it. They tend to cover their proposed spending increases better than republicans try to cover their tax cuts.
I really liked the Police Quest game.

I see why these guys would LARP it.

But no, there's no Serial-Killer gang in RL.

To recover something... Perhaps we should all take a hard look at why these young men are dying with a cause so vague and no one else seems to care. We need to address suicide in young men is one way forward.
It turns out people like to read other people's opinions. Who'da thunk?

Except that they don't like to read other people's opinions. They like to read their own opinions.

The most popular opinion pieces are overwhelmingly those which play to the prejudices of the majority of readers, not those which challenge people by presenting unpopular opinions.
Just test/calibrate them outside (400-ish ppm). Even if absolute measurements are bogus, they should do just fine to figure out whether it’s time to open the window..
Well, the current heavily regulated cronyism isn't working, so what else you got?
My point is that you should be going after the actual problem, rather then messing round with the periphery.
The DMCA is designed to combat a diffuse mass of people that you can't really target directly. The publisher like the gigantic space laser is one large target. Target it directly.

To torture another metaphor, this may only be one starfighter against a star destroyer, in that case, if you don't have an ion canon, kamikazing the shield generators is an option, but not your first choice.

Don't ask me what the DMCA is in that metaphor :P
It was NYTime’s outstanding coverage of Ergodan’s entourage beating of protesters outside the White House that cemented my decision to subscribe to The NY Times. As a journalism company they’re often good and occasionally brilliant, which is a rare quantity these days.
Or for that matter, Greek.

It absolutely drives me up the wall when I see uppercase lambdas used for A.

For example, the car company Kia styles their name KIΛ, which makes me think "Kil". Or the monitor company AOC writing it ΛOC.

And recently I've been watching an anime called Aldnoah.Zero, which stylizes its name as ΛLDNOΛH.ZERO. That one is particularly aggravating because the lambda is right next to an L!
Not disagreeing, but:

Dear Apple, enough with the thinner!

I don't need or want my iPhone to be any thinner, I'd rather it not bend and I'd rather have a headphone jack.

I don't need or want my MacBook to be any thinner than ~2015 MBPs; I care about weight, about a decent keyboard, and about convenient ports. I don't care about it being 5mm thicker or thinner.
Kurzweil really, really, really does not want to die. So all of his predictions are always timed just so that the technology needed to live forever will be within his projected natural lifespan.

That doesn't make him wrong, but that's the personal bias he's operating under.
After I started using MBPs, I developed wrist pain and later, a ganglion. Could just be me getting older, but after my wrists started hurting, part of what I changed was keeping use of the MBP keyboard to an absolute minimum. (I use an external ergo keyboard primarily now.)

What I wonder about is whether it's the short travel distance (the key moves less than a millimeter), and rather rough stop (given the short travel, it really has to just bottom out; other keyboards can "trigger" before they physically hit bottom, so it's possible to be a little lighter with then). Some people seem to like this feel, as you note, but I particularly hate it. It's like typing on concrete, even compared to other laptops, but especially compared to an external mechanical.

The other concerns about a single mote of dust completely destroying the entire bottom half of the keyboard (since it seems impossible to repair some keys without destroying them, as they don't come off, and the entire bottom assembly needs to then be replaced) — is just bad engineering. I'd personally much rather have a slightly thicker, but repairable, keyboard.

Thankfully, the MBP is my employer's, so I don't have to worry about repair costs. Sadly, it means I can't avoid its keyboard by voting with my wallet, aside from externals, which I already have. But sometimes, you're travelling, and the external isn't with you, and the external also chains you to a desk, which in today's idiocracy of open-office environments means that I can't hide in a quiet corner as some of my coworkers like to do.
Censoring the viruses and malware and credit card thieves from making their voices heard
Most people don't know lockpicking so while you are right in principle this will change things in practice.
Disclaimer: I've only used it personally (not in a team)

Notion is amazing. It's very polished, and complex enough to enable some great functionality but not complex enough to overwhelm. Very preferable to markdown -- drag & drop multi-column pages!
I'd guess that most people who mass forward fake news don't know how to copy/paste on mobile.
I think if we truly do create AI we will, to some extent, have stumbled into it, but that's OK. I think one of purposes of AI research should be to refine our definition of what intelligence is, because we don't have a very good one.

Perhaps, one day we'll "accidentally" figure out how to make it, and then we try to figure out what it is, because figuring out what it is in wetware hasn't been easy. Or maybe we'll figure out how to make it, but never really understand what it is.

It seems to me, that if we ever come up with AI that can exceed human intelligence (whatever we choose that to mean), that we might not ever be able to understand completely how it really works.

Even more interesting, if we were to achieve this AI, we also might not be able to make use it of it, because if it's truly "intelligent", then it will have a free will, and it might not wish to cooperate with us.
> Family + significant other is the only safety net that most humans have ever really been able to count on.

I think this is true, but it's also one of the most common and powerful ways in which abusers control their victims. Often, the most difficult challenge that victims of abuse and domestic violence face is overcoming their dependence, financial and otherwise, on their abusers.
Weimar Germany had to pay reparations which were not denominated in Marks. Zimbabwe had to import food, which had to be paid for in $.

Neither had an economy that was capable (at the time) of sustaining these payments. Hyperinflation was the inevitable result.
‘I’m trying not to die right now’: Opioid patients are still searching for help
There's also the question of mental stability. Once we've given the keys to the kingdom to our new super-intelligent and wonderfully wise AI, nothing prevents it from developping dementia, of forms we may not recognize. It may become psychopatic, delusional, starts having hallucinations.

There is no reason to believe a human-level AI would not develop mental problems just like us. Given their unlimited lifespan, it could be inevitable.
"Central planners" in the case of at least the US means the Fed. They "drain liquidity", not by raising taxes (which they do not have the authority to do), but by selling bonds.

[Edit: And an MMT system is not the same as what we've been doing, so it is not relevant that the deficit hawks have been wrong.]
To use machine learning parlance, such a solution would (likely) be overfitting the problem, and not generalize well. If one instead changed the setup to be:
1) Specify a handful of tasks for the AI system to complete
2) Test the performance on a _separate_ (un)related set of tasks

The test set has to be unknown to the system developers.

If the system can realize the unknown tasks without further input from researchers, in the same way that a mouse can, then we have some level of generalizable intelligence.
IF Theory Reader [pdf]
"stress"

Being the engineer on-call when the website/service/app is down and the company is losing $xMM/minute while you debug the problem is the very definition of stress.

Some companies like Google cordon this responsibility off to SREs. While Amazon has started developing a similar job family, the burden of supporting critical services still largely falls to software engineers.

While software engineering is certainly not the worst job from a stress perspective, my experience (particularly with operations at Amazon) is far from the zen-like state the author describes. It can also be pretty exciting.
There is also smallpt, a path-tracer in 99 lines of C++ ( http://www.kevinbeason.com/smallpt/).
Looks like comorbid irritability, have her checked for thyroid dysfunctions. Hashimoto's a good candidate.
I think it's great when private industry innovates and utilities can incorporate that innovation in new standards.
> Nobody's saying it's all somebody else's fault.

Yes they are.

> The only valid position to hold about this topic is that it's complex and multi-faceted.

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

> the carb-dependent metabolism they end up with by the time they reach adulthood will most certainly complicate their ability to make healthy choices.

Nonsense, your metabolism is not set in stone, they can simply change their diets and if they don't, no one is to blame but them for their continued unhealthiness.

> Why do you hold a different position regarding sugar?

Sugar isn't remotely comparable to those two; they're restricted to minors because they're lethal drugs, sugar is not.
sel4.systems appears to be down currently
PressStart2P: A bitmap font based on 1980s video games
We're in a machine learning bubble for sure, it's what engineers are flocking to for higher salaries. 90% of it isn't useful, but companies haven't yet learned there's almost no return on investment.
Sounds like we need better governments.
If you believe that is a serious concern in your area, get bars for your windows. There is no shame in it, I've lived in numerous buildings that had barred windows.

However I suspect that most people don't sleep on the ground floor (either in a multi-level house, or in an apartment building) so for them this should be less of a concern.
And worst of all that contraption the Wright brothers are building might fall ill, and spread the bird flu!
>What's the excuse for the hotel not having any security?

https://ewn.co.za/2018/01/23/afghan-hotel-attack-stirs-fresh...

"KABUL - A bloody Taliban raid on a high-end hotel guarded by a private company in the Afghan capital ...

[...]

“There were 15 guards on duty at time of the attack and none of them engaged the attackers,”
Zimbabwe suffered economic collapse because it destroyed its farmland and had no economically productive industries left. Venezuela suffered economic collapse because its industrial base was rendered non-competitive and destroyed.

In neither case was the hyperinflation caused by "spending just a bit too much" - it was a side effect of killing economically productive industries and attempts to pay off externally denominated debts.
I’ve had a hypothesis that the real reason phones keep being unnecessarily thin with not-quite-adequate batteries is that a larger, heavier phone hits the ground harder and breaks. I wonder how true that could be.

It matters less with laptops, but still.
If the human race gets to 5-6C of warming, the entire outside will have about 1000ppm of CO2. At 4C, about 800ppm outside, perhaps by 2100. https://www.co2.earth/2100-projections

My kids may well see stuffy room CO2 levels outside within their lifetimes.
Let's see, we have "classical" logic (propositional, 1st order predicate, and higher order), intuitionistic, constructive, and natural logic. There's naive set theory and the various fixes to it. And so on.

I'm not sure what "mainstream logic" refers to, since most mathematicians don't use formal methods.
Yes, I said that.
I was mostly through that phase of my career before any of those things were available. Toward the end of it, stack overflow had just launched. I mostly relied on printed books for help with languages and frameworks I was using.
My office replaced our 2015 Macbook's with the "latest and greatest." I hate sitting next to my coworkers who use them now. They're good typists and prior to the switch I didn't even notice their keyboard noise, but the new keyboard design made keystrokes noticeably louder because the cushioning was sacrificed in the name of thinness.

It's distracting in the workplace and I would feel bad if I ever had to use one in a library or any other "quiet" environment. These were considerations I never had to make with the previous keyboard.
AS3 was better than TypeScript in several ways;

- It was interpreted natively (no build step). It was fast. AS3 was much faster than AS2.

- It was heavily targeted at games. Games have a lot of objects and those objects tend to have complex relationships with each other (I.e. more inheritance and more polymorphic compositions; where different objects can be passed to the same method to produce different effects).
Of course, the other word for "taxation" is "balancing the budget and not going into debt in the first place". TANSTAAFL!
I hear you! Also, until I figured out to engage Windows' tablet mode from the Win+A menu, when on my primary computer with a curved 21:9 I'd get a wide aspect movie squeezed into the 16:9 portion of the screen - a tiny slit of image surrounded by black frames. Ugh.
What the Gillette ad should have said
Sure. I usually approach it by showing why I think the better way is better, rather than just calling them idiots. It have also often happened to me I have reconsidered something I had considered "the right way" for many years, due to a convincing counterargument or example.

For example I considered Dijkstra-style single-entry single-exit the right way for years, until I realized that early exits in many cases made functions a lot simpler and more straightforward.
The AI stuff isn't sensible either. In the very simplest example, there is no AI that understands natural language. There's speech-to-text that can identify words (which is a difficult problem), but none that can understand what you actually mean. Synthesized human intelligence is just way too hard a problem for us to solve in the near future without some sort of Ancient Aliens-level technological advancement.

Anything that depends on such an advance, such as "building a biological simulator", is basically impossible. But even if it were possible, market forces still dictate whether a new technology is adopted or not. (see: the electric car vs the electrified train)
Android Q will allow carriers to lock down your phone in new and exciting ways
سباك الكويت
If the current tech bubble bursts, it’s going to absolutely wreck amazon, fb and google—the three companies that actually gain most of the benefit from all these tech companies blowing their funding on ads and AWS spend.

Those are the companies driving up salaries — once that rollercoast ride stops I imagine that there are going to be mass layoffs and salary readjustments for years afterwards.
> but have a hard time believing that can be done via computers

Remember that we are also constrained by our own intelligence. Computers might not be the problem.
Yes, it was time to call it an engineering failure from day one.
Would be cool to have any sort of support and consolidation on the major desktop operating systems, by providing a standarized sandbox, some common APIs, etc... But as long as it is only supported by the browser I don't think it will have any support to the desktop software.
Makes intuitive sense to me too but:

- You might have an especially strong reaction to those foods, i.e. they produce more mucous in _you_

- You might have engaged in other mucous-reducing habits around the same time e.g. drinking more water or practicing yoga. Hard to identify a root cause in a study of one.
Well, curious people try to understand things outside their area of expertise. We aren't just programming robots; we're humans with outside interests.

That doesn't make us experts on stuff, but a human should have at least some understanding of a broad range of topics, including economics.
I came in to the pydata library after extended time in Matlab/Octave. Learning there first was terrible for programming basics (e.g. polymorphism) but was excellent for ensuring I knew what a given algorithm does/should do.

I highly recommend spending some time in C/C++, Go, or Julia to pydata-first folks that ask.
Being a fast programmer has nothing to do with how fast you type.
Actually, yeah, I'm being sort of a jerk. Sorry. Need some more coffee and a break from being online. ;-)
None of the downvotes were mine btw. :-)

He praises Prolog because it was influenced by a logician, so I'm curious what he thinks of Datalog. That is something on my radar to read about, but so far I know nothing about it. But I believe it is something like "Prolog for databases." I know Datomic uses it, but it has a long history.

Personally I think relational theory is one of the greatest success stories in all Computer Science, but that doesn't mean it is problem-free. I'd be happy to hear more about its shortcomings, especially as a formal logic.

Anyway, thanks for the conversation! :-)
"Obviously making people purposely sick would be unethical"

What if it could save or improve their lives?
All it takes for AI to do bad things is for it to have a single bad idea and think that it's true and act on it. A single thought is all that it would take. There are many thoughts that humans know to be true, yet for various reasons people will simply not act on them -- for instance fear of punishment. We will have to give AI such fears, and it could potentially turn off those fears at a whim.