skysight-inc/HackerNews huggingface dataset:
Yes, you're right and I'm also fudging things- but didn't I say that upfront? I start my comment by announcing an "almost not completely fudgy intro to logic programming"!

More seriously, you're right about syntax so thanks for the correction.

But, regarding semantics, the ancestor_of/2 program above can terminate in Prolog, evaluated by SLG resolution, as per my footnote 5. There are still situations where Prolog will not terminate when evaluating a normal program even under SLG resolution, but left recursion is not one of those.

Edit: also, if a Datalog program is also Prolog, and assuming that the program terminates under Prolog, then Prolog and Datalog will both compute its LHM. So it makes sense to say that the two languages are semantically at least very similar and to explain one in terms of the other. They are both much closer than what each is to ASP, for example. It really depends on what assumptions one makes- and that's where the "fudging" comes in.

Anyway, thanks for the correction. I sure could have done a better job of that comment. Did you find anything other that was very wrong in my comment? I'd appreciate it if you pointed it out.
While working from home in the past I've experimented with a split work cycle, where I work from maybe 9am-1pm and 8pm-midnight. I'd do all my meetings and discussions in the morning, but my best programming work at night. It works pretty nicely and leaves the best part of the day open for getting outside. But it sometimes doesn't work with other people's schedules and you're forced to adjust your hours to take a midday meeting or when your dinner plans run long.
We're already living in an irreversibly ruined environment. You don't notice because you didn't live to see it in its prior state. You never saw half a billion ducks take flight over North America. You never saw, and you will never see, a seasonal salmon migration on the San Joaquin river that can support a fishery catching 11 million pounds per year. My kids have never seen a Sierra Nevada conifer forest that wasn't sterile and dead, and they think forests just look that way. Our society does not have the facility to remember the ecosystems of the past. We just forget and adapt to the new one.
My experience somewhat mirrors this. I've completed several Coursera courses on a variety of topics, but I don't advertise them on my LinkedIn or resume.

The reason I take the courses is because they are useful. If you put an effort into doing the labs, then you'll get something out of it. My approach is to try to write the solution to the problem based on the description, then compare with the solution provided to the lab. This ensure that I really learn the material from the labs. Every lab I've taken has provided enough time to get through it using this approach.

However, the labs offer the solution of the problems right in the description, and you get an infinite number of retries for the lab questions. So you can easily complete the entire course without doing any of the work.

So, the course material is designed to actually teach people who put in the effort, but the certificates themselves are a worthless signal of the amount of effort someone put into the class.
Military would not be necessary if there was no conflict. And I doubt you can find humanity without conflict.
Or the video is bounced over a cell-enabled relay and the attacker is nowhere nearby.
I augment this slightly by using Typora. It's nice for writing inline and fenced math blocks (with LaTeX), which is pretty invaluable for my maths subjects, I've found.

It's nice since it renders the markdown while you write it,
which I kinda need when writing LaTeX.

It's an offline tool, but I'm pretty much always near my laptop, so that's not much of a big deal for me. Tbh, having it offline was kinda a bonus for me.

No Vim support though, which is a bit frustrating.
The grave site was in regards to Midway. 9 german sailors were killed while surrendering On land. None were killed on the the ships themselves.
The Stock Market Explained by Netflix
Quoting Vice in that article, defending journalists:

"many journalistic outlets are increasingly moving away from an ad-based revenue model driven by traffic, and instead ... optioning their articles to movie studios ..."

Emphasis mine, but I can't believe Vice admits their business model is creating stories they can turn into Hollywood films. That doesn't align with reporting the truth. "Never let the facts get in the way of a good story".

But that does explain a lot. Bloomberg's "The Big Hack: How China Used a Tiny Chip to Infiltrate U.S. Companies" was totally unsubstantiated garbage, but it does sound like a plotline from a Hollywood movie.
No one seems to trust vpns. I wonder if a VPN company almost needs to be law technology. All of our attempts at privacy is technically sound but lacks the backing of solid lawyers ready to hold it down. That’s got to be worth something.
You mean 64 bits pointers and 32 bits integers, I guess.
I've never heard of AI Dungeon before reading your post but even after playing for 2 minutes, I can tell it's going to be huge.
It seems really random that the Chinese are so into NBA.
What next, Greeks being really into American gangsta rap music?
Does Duluth have a single pair of pants without synthetic fibers at this point? Trying to cut down my micro plastics footprint. (My base layers can be drip dried, which makes them less problematic)
My OS is a docker image, booted bare metal.

https://godarch.com/
For those who might speed through 18.650, the natural next step is [0] 18.655 (Mathematical Statistics) followed by the new course [1] 9.521 (Non-Asymptotic Perspectives in Statistics).

[0] https://ocw.mit.edu/courses/mathematics/18-655-mathematical-...

[1] http://www-math.mit.edu/~rigollet/IDS160/notes.html
My Nokia 7 plus had it pre-installed, and my former LG, Asus and Samsung all had their own note taking apps pre-installed.
I think you completely misunderstood that sentence. Let's try again:

> The correct solution is to run the simulation on a different thread from the rendering, so that the simulation can be run at an appropriate frequency and the rendering can proceed at whatever framerate the user's hardware is capable of.

The "running in another thread" is a way to enable running the simulation at a fixed frequency where it will produce "correct" results, while not imposing the same constraints on the rest of the game engine that are not as sensitive to timestep issues. I never said that moving the simulation to a thread of its own is the entire solution itself, and "increasing performance" isn't the goal or result.
Strange, nothing in the article tempered my expectations.
"Normal" these days is grossly unhealthy.
It's not that the OO world has abandoned inheritance, but that inheritance used to be overused in a lot of cases where composition provides the same flexibility.

So the typical advice would be to consider composition first, and to limit inheritance to genuine "is a" relationships as you say. But in some domains there are a lot of genuine "is a" relationships, so that does not in any way remove the use of inheritance.
Show HN: Rust-like error handling in Python thanks to PEP 622
Author here,

I initially dockerized brandtbucher/cpython repo [1] which I found mentioned in official PEP 622 [2]. All credits go to original authors. Since this is not a production ready project, and will eventually die once PEP 622 is integrated in CPython repo, on purpose I named it cpython-3.10.0-alpha-0 as distraction.

After I got it working, I wanted to explore some ideas. I like both Python and Rust, so I wanted to try implementing something similar to Rust's Result type. End result is something I was looking for a long time in Python.

[1] https://github.com/brandtbucher/cpython
[2] https://www.python.org/dev/peps/pep-0622
A decentralized social network should have trust-less servers. The servers should just store encrypted data and serve it up, without being exposed to the social graph and with other metadata minimised.

Identity should also be independent of servers (and hence DNS).

At the networking layer they will also need to use something like onion routing or a mix network to fully protect the social graph.
I understand that many racists want it to be morally wrong to do business with China, but I don't believe it's that simple.

Americans who've never even visited China feel free to moralize about how what Chinese people really want is a choice between two shitty parties, just how it is in America. But many Chinese look at America and think it's a terribly mismanaged country that used to be great, and is falling further and further behind due in large part to its deranged politics.

It's simply not a given that the American way of doing things is better. Americans complain about China even while America destroys countries directly, overthrows governments, supports South and Central American death squads, supports tyrannical middle eastern regimes, gives huge sums of government money to major polluters, and engages in other reprehensible behavior.

Take the log out of your eye before you look at the mote in ours.

And if we're truly honest, the real problem is that white americans see non-white people getting rich and powerful, and that's something that the white supremacists who run rampant in America (and on Hacker News) cannot abide.
Or instead of being purposely obtuse, realizing the same exact mistake (leaving off an M) happened here as well.

BBC, same article:

> Political parties' spend is also capped at £30,000 for each constituency that it contests in a general election. So if a party stood a candidate in each of the 650 UK constituencies, its maximum spend would total £19.5m.
Is it random they're into basketball or that they're into a foreign league? People follow lots of foreign soccer leagues, this is the same thing.

Basketball is a quite popular sport internationally, unlike the 2 other big American inventions: baseball and football.

Only a handful of countries outside the US have professional baseball leagues[1]. And other than Canada I don't know any country that has a professional football (gridiron) league.

1. https://en.wikipedia.org/wiki/Professional_baseball
>variable names

Ouch. Naming things is, famously, one of the two Hard Problems of computer science. How much harder if you have to name everything, down to the last loop iterator, thousands of times - once for each language that humans speak?
And then that one person gets hit by a bus and you go out of business. Very-interconnected large-scale systems rarely have failure modes that are as simple as something the dev did/didn't do.
I have heard that it may be cheaper to have a pair of off the shelf pants tailored than to keep looking for the perfect fit (eg among more niche products).

I wonder how much extra you’d pay for extra pockets.
Huh. Thats hilarious. My first thought was, "how does that even work?"

Though I imagine games are rather quick like that
Perhaps I should have clarified, my comment above is 100% paraphrasing what is written in the book. It’s not my critique, but the author’s.
This one on "self organizing LEDs" was fun and motivating:

https://news.ycombinator.com/item?id=23741036

Video: https://youtu.be/Ueim2Ko8VWo
Finance is subject to the same dichotomy. Some activities, like identifying lending to productive endeavours, are of some value. As are derivatives for producers looking to lock in prices. Then there is also the rentier side, such as lending to non-productive enterprises. People will say, as they do with everything now, "who can make the distinction". Adam Smith could. I think we can.

Not trying in case we accidentally inhibit a few rich financiers from become even more rich, where the prize of extricating ourselves from what is fast becoming a nightmare mess is left untouched, is a mistake.
I think you mean a frying pan/fire scenario
"I’ve finally resorted to the most personal and easy alternative — writing things down."

Haha, we've come full circle! I have a $.79 spiral notebook on my desk for notes. When it fills up, I scan it in, and buy another one.
Another reading is, "The US drug market subsidizes the R&D for the entire rest of the world."

One possible alternative to selling new, novel drugs for market prices is not having those drugs at all. We really ought to be thankful that some entities are willing to bear the billion-dollar cost of developing a new drug. https://en.wikipedia.org/wiki/Cost_of_drug_development
An engineering degree does not a good CTO make.

It really depends on the role and the organization and where Kratsios is a degree in Political Science is going to be valuable. The role of CTO is not to be the most technical person in the room, but rather to lead the most technical people in the organization. This requires technical acumen, but more so requires good communication and leadership skills.
I work remotely (and have done so since before Covid), and I get IMs at night (at least, in my time zone). But since we're used to working asynchronously, I just leave them until my next working hours unless I just happen to be really bored. It's not like it's a phone call, luckily.
this is about the NBA kowtowing to the CCP, no one is surprised you can buy fake shirts somewhere
What if the plot twist line is also GPT-3?
> feedback welcome

You're a racist piece of shit.
Balaji seems to have an pre-existing motivations:

https://github.com/balajis/twitter-export
Smart & Final, the chain of warehouse food and supply stores, is named after a "J.S. Smart" and an "H.D. Final".
Yao Ming was probably one of the first Chinese players of a foreign sport in a foreign league, and the NBA was very happy to promote this connection.
I also use Paperlike. The version 2 of their film is really nice. It feels so much better drawing on that than the smooth glass surface. And I have no issues watching video through the film at all — it’s still bright and clear.
Nepotism brings out the best in people
For those curious, the full position name is Under Secretary of Defense for Research and Engineering USD(R&E), a position in its first conception held by Vannevar Bush.
When I wrote a C library, I also implemented this sort of pattern. I think it's a mark of a "less is (exponentially) more" tool that allows for convergent patterns among disconnected users. C++ is a "more is more" tool that results in divergent patterns outside particular app or lib specific communities.
True, but I don't think the average person back then had much idle time either. And a lot of those who did were willing (or perhaps did not have a choice) to have much lower standards of living. I don't mean all the modern conveniences - I mean things like consistent roof on head, consistent food on table, etc.

I reckon if one is willing to sacrifice those two today, they could have much idle time. I knew at least one chronically homeless person for whom I think this is a barrier to getting back to a normal life. Idle time is addictive. I don't think he became homeless decades ago to gain more idle time, but he did get accustomed to it.
EY warned Wirecard that special audit risked misinterpretation
In my view unions make most sense as a collective organization representing labor in negotiations against the collective organization of a corporation representing capital.

I'm not convinced yes that unions make sense when the other party represents the interests of the people - ie the government. As a similar example, I don't want our military to have a union - it seems like that would be overall detrimental as well.
peter thiel is one of the worst
The collection of technology working together for this system is really impressive. Hopefully it ends up saving lives, especially in General Aviation, where it's most likely to be used.
How about: Free China of CCP

That’ll take care of all the underlying issues.
How to Stop Worrying About Compositionality
I've not read anything from Mazzucato that his hyperbolic, so let me say that your immediate dismissal of her work based on one comment is not necessary.
The West was not merely it's democracy political system. It is also the market economy. Overwhelming amount of US politicians state the same thing. For example, most US president express one of the core principles of western system is market economy.

Again, I want to emphasize that I am not defending CCP. What typical HNers stated about CCP's "crimes" are nothing but typical political polis. Let me say one thing, CCP organized the suppression of Han Chinese population, totaling probably 100+ millions baby, through the one child policy. While at the same time allow racial injustice by selectively applying the rule (I.e. force it strictly on normal Han people, but allow political figures and some population the free rein). And the systematic exploitation on the rural population during since 1976 opening up probably was the most cruel of all of the modernization process. These were seldom mentioned by Westerners.

Of course, china's rise is complex phenomenon. It has many debatable elements. But decisively, it's rise was enabled by adopting core western value system, forsaking the Soviet Union era Communism doctrine.

It's in that sense that I believe it is a fair statement to say China's rise is the rise of the West.
Syndicated copy at:

https://finance.yahoo.com/news/ey-warned-wirecard-special-au...
Could use a repeater
That's awesome! Is it in Jerez de la Frontera, Spain? If so, I just looked it up and vg ybbxf yvxr gurl ner n qbbe naq jvaqbj fhccyl fgber, juvpu vf gb fnl gur frpbaq bs lbhe gjb cbffvovyvgvrf. (I don't want to spoil it for you if you're enjoying the ambiguity.)
I see a World Turing Championship in the future. Half of participants are humans, the other half is AIs. After a series of matches - each consisting of opponents trying to figure out whether its adversary is human or not, - two champions are declared, one human for best results in detecting AI, one AI for best pretending being human. ;)
Could you use an array of these mounted at precise, known, differing angles and an FPGA to calculate high resolution localised depth maps? Applications you say? Entomological gesture studies!
>It is illegal to purchase counterfeit goods. Bringing them into the United States may result in civil or criminal penalties.

https://www.cbp.gov/FakeGoodsRealDangers
Curious to know if anyone in a fully remote or mostly remote company: does your employer have even informal etiquette about “off-hours” messaging or is the stance more ad-hoc and left up to the employee to enforce those sorts of boundaries?

What’s the proper approach between the two, just looking for general opinion.
> Once we run out of cheaply salvageable steel, we'll likely turn to steel smelting processes that do not introduce air into the steel.

This would be exceptionally difficult, as oxygen is a basic requirement for steel making as we have ever known it. Steel is made from iron mixed with carbon and then heated to melt. Then oxygen is added which burns the excess carbon into carbon dioxide and reacts with all of the other reactive contaminants and brings them to the surface where they can be cupped off as slag. The melt is poured and cooled and you have steel. Early steel processes used air, blast into the furnace with high powered pumps. Modern steel is made with purified oxygen from cryogenic processes (and there are even designs floating around for steel mills which use the turboexpander from the oxygen processing to help generate electricity to drive the mill).

Without oxygen, you'd have to start with very, very clean iron ore (containing nothing but iron and whatever you wanted to alloy with the final steel), and add exactly the right amount of carbon (which is also exceptionally difficult, since carbon is light and the heat will want to make it sublime anyway). Odds are such a steel would still contain so much impurity as to require a second melt in a vacuum arc furnace, which also would dramatically drive up the cost.

While there might be a future making steel like this in space, I'm not counting it as very likely in the slightest to happen in this century.

It's much easier to use exceptionally clean oxygen - the mill could use an oxygen generation process (like a hydrogen peroxide chemical process plant being added to the mill), or by ultrafiltration of the process oxygen (which seems more realistic all told).
Sounds like it's a stone throw away from being packaged by someone as an Electron app :)
Spies in your printers and copiers

https://en.wikipedia.org/wiki/Machine_Identification_Code

Spies in your screen

https://en.wikipedia.org/wiki/Tempest_(codename)

https://www.youtube.com/watch?v=BpNP9b3aIfY

Spies in your CPU

https://en.wikipedia.org/wiki/Intel_Management_Engine
> Nepotism brings out the best in people

How is this nepotism? The article reports only that this is a well-connected individual that used to serve as Thiel's deputy.
Keep in mind that government tax laws wield enormous influence over how markets operate.

If you want more of something, subsidize it. If you want less, tax it. It's trite, of course, but few take it into account when formulating tax/subsidy policy.

For example, the Seattle City Council has passed what they themselves called an "Amazon Tax". Amazon has seen the writing on the wall and is moving their headquarters to Bellevue.
To expand, I disagree with the underlying premise of his/similar works.

That somehow all culture exist in a perpetual state of competition, and the spread/growth of one necessitate the decline of other. While cultures usually can claim a direct ancestry down the ages, the truth is that the cultures and norms existing today in different part of the world is MUCH closer to each other than say their direct ancestral culture 500 years ago - and it happened because cultures are NOT in a competition, rather it adapts to the new technologies and outside cultural influences. As a result the world is closer together than it ever has, and that's a good thing.
> they're the ones who will replace everything every six months while you bleed money.

Yep. I agree. Maybe talent is the wrong word, but my point is that a lot of experienced engineers want to learn new things by working on new things.

There is a difference between talent and wisdom.

My source? Decades of experience in the industry working with hundreds of different engineers. So, anecdotal.

Not everything needs a double-blind research study to be truthful.
In case you care about these things you should be aware that Google can use your account to track you, assemble a profile on you and target you even if you don't explicitly hand them any data.
I‘m sure many will rush to defend him, because after all there are also bootcamps.

But no - we shouldn‘t. Sure there a people who obtain a PhD and haven‘t learned much. And there are those who are great engineers and have no formal education.

But in those cases, they have shown beyond doubt that they can study by themselves and they have also put in the work which is needed for a deep understanding of anything complex.

Now of course there are engineers who lack leadership or social skills. But there are also those who have that as well. And those should be picked. In a country of that size which easily produces them.
Clipboard Injection on the Financial Times
How is it wrong? Too many people in a new environment where they're fish out of water that don't understand the customs will destroy the culture there. It's dilution. Foreign people should be intergrated into society or they'll be outcasts and not understand how it works. My friend got a credit card at 16 since his mom understood the financial system. My family used cash all the time only and I'm far behind because I was raised to hate credit.

In Italy everyone is furbo and lies to get ahead. People rely on honesty in the US, I remember reading a story where an Italian man complained about his room and he got another one, instantly. He was astonished, and said it would never work in Italy since everyone would lie about it.