skysight-inc/HackerNews huggingface dataset:
While being more realistic than other games, I'd say it is not realistic enough to simulate real open-pit mining. You would not recommend to plan real mining operations based on the results from the game.

For example, the way how terrain collapses during mining is balanced to make a fun game rather than trying to be super realistic. We don't take into account weather effects (esp. rain). Also, in reality, hard rock needs to be blasted, but we don't have this feature (yet). Refilling of vehicles is mostly automatic, given that they have fuel available somewhere reachable. Etc...

On the other had, similar to other sim games, you will certainly need to think and plan your mine/factory well in order to be successful.
What you are suggesting is illegal.

Its illegal to license a right.

We shouldn't penalize the hundreds of millions of legal gun owners in the US because we're unable to catch psychopaths before they kill people.
1. My ratio in this manner is awful... I need to do better
How often do you:

a) discuss issues with someone from the other side of the political aisle in a calm and rational manner?

b) give in to the emotional urge to scream at those people?

2. Money is at the root of this, in so many ways

a) Lobbyists have captured the Federal Government, degrading our faith in Government, as they have stopped representing us, and allowed increasingly dangerous failures of society to occur. This degrades trust in society.

b) Advertising driven mass media, and social media, both maximize "engagement", which for the most part happens to be gut level emotional response.

c) The political parties use wedge issues and false choice to divide up the voters, and suppress actual reform, especially rational voices calling for reasonable compromises. They do this to remain in power, and keep getting that sweet sweet stream of money from their donors.

3) I think we have to start on a personal level to fix this.

None of the larger system issues can be fixed before we fix the base issue, broken trust. We need to call each other out when we notice our friends talking about "those people". We need to try to agree on reasonable compromises, instead of fear of slippery slopes forcing us to say insane things to defend our "position"
And since they’re trying to sell to companies, said companies will be less likely to make deals with them if they think they’ll go under soon.
Here's some stuff I've written in Prolog, some for my own enjoyment, one for my degree project.

Most of the benefits I found come down to two things:

a) Prolog, like the various kanrens, is a relational language so a program is effectively a database. There's no need to do anything special to glue together a data layer and a logic layer, because you have both written in Prolog. No object-relational impedance mismatch whatsoever.

b) Prolog's declarative style makes translating rules and directives into code a breeze. The three projects below are all games and benefit heavily from this feature. The same would go for business logic of any shape or form.

1. Warhammer 40K simulation:

https://github.com/stassa/wh40ksim

Runs simulations of combat between WH40k units.

2. Gleemin, a Magic: the Gathering expert system:

https://github.com/stassa/Gleemin

Doesn't work anymore! Because backwards compatibility. Includes a) a parser for the rules text on M:tG cards written in Prolog's Definite Clause Grammars notation, b) a rules engine and c) a (primitive) AI player. The parser translates rules text from cards into rules engine calls. The cards themselves are Prolog predicates. Your data and your program are one and now you can also do stuff with them.

3. Nests & Insects, a roguelike TTRPG:

https://github.com/stassa/nests-and-insects

WIP! Here I use Prolog to keep the data about my tabletop rpg organised, and also to automatically fill-in the character sheets typeset in the rulebook. The Prolog code runs a character creation process and generates completed character sheets. I plan to do the same for enemies' stat blocks, various procedural generation tables, etc. I also use Prolog to typeset the ASCII-styled rulebook, but that's actually not a good application of Prolog (too imperative).

You asked about "logic programming" in general and not miniKanren in particular. I haven't actually used miniKanren, so I commented about the logic programming language I've used the most, Prolog. I hope that's not a thread hijack!

All three of the projects above are basically games. I have more "serious" stuff on my github but I am currently experiencing a certain shortfall of gravitas.
I work for an employer who pays me in arrears. They are indebted to me. They could pay me up-front, but then I'd be indebted to them.

Maybe there can be a system where dollar bills slowly peel out in front of me as I do my daily work?

Debt exists for a reason. It's more useful than cash.
Clement Lefebvre: The Man Behind Linux Mint (2013)
I worked for a certain rainforest company and they specifically coached us on not leaving records or discussing certain subjects in any form of written communication.
> Have you ever been convicted in any court of a misdemeanor crime of domestic violence, or are you or have you ever been a member of the military and been convicted of a crime that included, as an element, the use of force against a person as identified in the instructions?

Question 21.i on Form 4473

https://www.atf.gov/file/61446/download
If it helps, here's the docs and source for what I'm referring to:

https://docs.jboss.org/author/display/TEIID/Memory%20Managem...

https://github.com/teiid/teiid/blob/master/engine/src/main/j...

https://github.com/teiid/teiid/blob/master/engine/src/main/j...
It's time we start legislating based on empirical evidence instead of lofty ideals. Yes, if everyone was responsible perhaps it would be OK for all of us to own firearms. But so many people are utterly irresponsible, and guns make that irresponsibility lethal.

People should safely store their fire-arms, but they don't and guns get stolen and sold illegally, or used by their teenage child.

People shouldn't point a gun at someone unless their life is in danger and they're prepared to take a life, but they do and people get shot by accident, or road rage turns deadly.

Not to mention the suicides. If you own a gun ideation can turn into action in less than 30 seconds and it can seem like a painless, easy way to go.

And when everyone is armed everyone wants to be armed. Cops pull their guns quickly out of fear of armed criminals. Regular people want to own a gun because they feel like everyone else does, and they're now less safe unless they also get one.

Growing up outside the US I never saw any guns. I don't know of anyone who had a gun. I don't know of anyone who knew anyone who had a gun. I remember seeing military members in parades carrying guns because it was one of the few times I'd actually seen one. Cops didn't walk around armed. There are other ways to kill people but guns are an especially effective, intuitive, and easy way to do so.
This looks super useful -- thank you!
Why do CEOs feel compelled to say “this is the hardest decision I’ve ever had to make.” Hoping a CEO can chime in here… is the decision really that hard? It seems like they are just trying to not seem like a dick, when we all know they’re just looking out for their own best interests (not saying this is wrong, but not saying this is right either). Just genuinely curious how much “fluff” that statement contains.
> so we can continue tailoring food to our needs

But that's the problem, isn't it? It's not "we" tailoring food, it's 1-2 multinational corporations, intent on making your food supply dependent on them. It's not "our" needs they serve, but theirs. While their PR focuses on making food healthier, what they've done is make it more resistant to pesticide so more can be sprayed [1]. Going by what happens when they are fully free to engineer food however they like, we can expect them to turn the vegetable aisle into the health and taste equivalent of the candy/snack aisle.

[1] https://en.wikipedia.org/wiki/Roundup_Ready
A 'real heirloom tomato' represents a plant that has been extensively modified by humans through the slower genetic modification process of artificial selection.

The wild ancestor of the tomato is the size of a pea.[0]

[0]https://en.wikipedia.org/wiki/Solanum_pimpinellifolium
Musk's twitter account has a famously tenuous relationship with reality. He declined to perform due diligence, and his attempted pullout was contemporaneous with the TSLA stock (which his loan is leveraged against) plummeting. We'll probably see how it all plays out after years of protracted court battles. If I was Jack, I wouldn't want to stick around for that drama either.
If you look in countries where guns are banned but are with comparable size to USA you will see mass murders by other methods, even if they are more infrequent than in USA (for example mass stabbings, bombings, arson, or more than once in Brazillian schools: mass murder using axes, and at one time, a crossbow)

Then there are mass murders using vehicles, like it happened in Europe several times in the past 15 years, or mass destruction with vehicle, like the "Killdozer" in USA itself.
Here is a fictional timeline of events:

* Problem: Spammers automate creation of accounts.
Solution: Reuse the MFA infrastructure as some kind of "CAPTCHA". The phone number is not stored.

* Problem: Spammers use a single phone number to unlock 1000's of accounts.
Solution: Store the phone number - so those kinds of misuse can be detected.

* Problem: Ads-Team wants to sell more targeted ads.
Solution: There is possibly a phone number stored in the user profile, use that.

Who is to blame here?
The Ads team that didn't check if the number can be used?
DX == developer experience? If not, I will delete this

For me, the answer is Elixir:

- takes the good parts of Ruby and applies them in a functional paradigm (data is separated from behaviour as opposed to encapsulated in complex class hierarchies),

- standarized documentation, strong emphasis on tests, it even has documentation that can double as a test (see doctests),

- quite recent language but already matured because it builds upon Erlang (which you will need rarely to be productive, if at all),
- a lot of exciting things going on in the ecosystem, see Phoenix Liveview.

Probably has the most friendly community that I've encountered too. The language author Jose Valim is all over the Internet answering everyone's questions and looks like this behaviour is poisonous.
People shit on Musk, but that only makes the potential for massive gains to his reputation even greater if he actually is able to turn Twitter around and make it into a respectable social network again. People like you, will eat crow.
man, I left Seattle when my shitty 2br in the U got up to like $1200/mo after climbing $100/mo like clockwork every year. You are a couple orders of magnitude richer than I am if you can afford that. Which is not surprising given that I'm a lazy freelance artist who mostly draws furry porn and your last few comments indicate you're a Senior Software Engineer at a FAANG.

Now my husband and I are splitting $950 for a 3br in New Orleans. It's pretty nice once you get inured to the fact that everything you own and love in this world, including you, could be washed away in a hurricane. And the "holy shit I am a trans living in the one queer-friendly hotspot in what is otherwise a very red state" thing. The place is full of artists who could stop worrying about where most of their rent is coming from if they got $500/month coming in from somewhere.
It seems fairly clear that Musk is buying Twitter so he can re-platform conservatives. Why else bother owning it? Influential people on the left will say anything, true or untrue to tank Musk's reputation. Don't get down in the weeds of the talking points, look at who controls political conversation in the US and who stands to benefit if that monopoly is broken. I am on the left, but am increasingly disturbed by the total shut-out of conservatives from social media.
Yes, 5 people were killed and 3 injured by a psychopath with a knife.

Violent dangerous people find a way.

The scale is irrelevant to the actual problem.
You don't have a constitutional right to work in the defense industry.
> "Only a very small number of Americans can't have this discussion."

It's unclear why people keep claiming this. According to https://news.gallup.com/poll/264932/percentage-americans-own... , in 2020 while rural firearms ownership was ~48%, urban and suburban firearms ownership was 23% and 25% respectively in the US. That's a minority, to be sure, but it's not by any means a "very small" minority.
> trading

How can that be enjoyable though? You're just hauling cargo from point A where it's cheap to point B where it's expensive. Even in Eve's player driven economy it's a grind.

> exploration, space and land combat and great characters and stories and I'd never stop playing it

Completely agree. I really enjoyed exploring planets in Elite Dangerous.
And here I have been using https://old.reddit.com on a mobile device like a barbarian. Thank you for posting this!
> I've never seen the technology used on any website, and I am a frequent online shopper.

I went down this rabbit hole last month. While not directly related to the current topic, it might help explain why you've "never seen it": https://twitter.com/nrmitchi/status/1519174682863226880
This came up on reddit recently [1] and it turns out that many people are connected to Magnus through the same few accounts that look like they've cheated - accounts that beat GMs and then around the same date lose to players rated less than 1000. Can't really blame the author though, it's hard to filter out the cheaters from the dataset.

[1] https://www.reddit.com/r/chess/comments/uq4bys/i_analysed_li...
This is one of the interesting parts of gun control legislation. It often polls well in isolation but massively under-performs when it's a ballot initiative, even when the gun control side spends substantially more.
Yep, it's almost more accurate to describe using phone numbers for 2FA as being anti-secure, not just insecure. That's because it's effectively no better than having no 2FA and it's possibly even harder to detect when your account has been compromised by a SIM swap. And many companies that use phone numbers for 2FA also allow resetting one's password via that phone number. It's really just a tragedy that companies do this, rather like when login screens prevent copy/paste.

If you're ever prompted to add a phone number to your account on some web service for "extra security", just click "remind me later" or "skip" as many times as possible.
I actually test drove a car last year that projected the speedometer onto the windshield in an attempt to make it look like it was overlaying the road. It was terrible! Before even leaving the parking lot I clarified with the sales rep that this "feature" was optional, because there was no way I was buying a car with it.
Perhaps they moved fast:

"Mozilla is aware of websites exploiting this vulnerability already."
So I've been learning a bit of puredata recently and thought to myself when I saw the article "I wonder if someone has made a pong patch for pd?". So I googled it and found this[1]. It's interesting because in some ways the idiom for pd is like working with pure electronic circuitry.

[1]https://forum.pdpatchrepo.info/topic/330/pd-pong
Guggenheim’s Minerd Sees Bitcoin Sinking to $8k with Crypto Now ‘Suspect’
The way I see it is this: if you're against gun control, you're either

A) Devoid of empathy

B) A lunatic

Because if one of your kids/loved ones is killed in a mass shooting like this, and you're still against gun control, then you're a lunatic. If not, then you're just an asshole with zero sympathy for the families that have lost loved ones.

I don't know about you, but regardless of the politics, I would not want any of my elected officials to fall into category A or B.
this sent me down a rabbit hole of circuit based games, thanks for sharing. I found this article about pong that goes into the details and logic behind each of the circuits: http://www.pong-story.com/LAWN_TENNIS.pdf
I once worked for a non-profit no less that was trying to use "Article Views" as a new metric to rank academic articles. I did some simple things to filter out some rather obvious bots. Nothing fancy. That reduced the page views %75. Needless to say even the Non-Profit was seduced buy the inflated numbers hoping it would attract more authors. Followers=BullSh*T
I think my fave story isn't particularly technical but had incredible value. I was at a retail Forex company working on the main trading client program. We would always get issues about a trade not executing at the price that was quoted. I knew we had a client-side log that support could get the user to open and read a part out of. I was trying to think of how to make it so that it was tamper-proof some kind of line-digest that the average user wouldn't know to replicate.

Anyway I put that idea off, and started playing with other parts. An interesting idea was trying to recreate the custom-drawn home-grown widget set using Java Swing JPanel's in the ASCII log file. I naively started down the path and got text labels, entry fields, radio buttons, checkboxes. One tricky bit was knowing when to insert a line or not if the baselines were close enough and there was no overwriting of characters. Anyway it worked surprisingly well. I also logged the currency pair and price immediately before sending the order to the server in simple text.

When we got support calls about an order not executing at the quoted price, the user would be asked to open the log and they'd see an ASCII version of their order dialog as well as the same data sent to the server. The number of these calls dropped dramatically. I was shocked by how much authority a crude picture had for the user--it's no different than text lines that capture the same info but showing it in the same layout makes them believe it's true, even if it weren't the case.
You cannot gate a right with a requirement to be in a militia.
Even if you could, you only need one person to be a militia.

The government looking through your personal information requires due process, otherwise its a violation of the 4th amendment.
https://archive.ph/QngdR
It's probably not your cup of tea but I cannot resist reminding you about that coffee language and its "decision to design in concurrency as a primitive". How about Object::wait(), Object::notifyAll(), the "synchronized" keyword, every Object a monitor?
No, but when it tanks their stock portfolios they sometimes do.
Would they? - Bots drive engagement.
Like reporting inflated numbers. Whatever - then he is stuck with not being able to change anything. Or we will see a protracted court battle. Or Twitter will take their billion and be happy.
I agree with all but the 280 character limit.
Pumped-storage hydro is cool. I first became aware of it in 2005 when the catastrophic failure of this one in Missouri made local news: https://en.wikipedia.org/wiki/Taum_Sauk_Hydroelectric_Power_...

A section of the upper reservoir's dam wall was overtopped, the pumps continued to run, and the section failed, releasing a billion gallons of water in 12 minutes. The flow washed away the forest and soil down to the bedrock. One home was destroyed and its occupants injured, though thankfully there were no deaths.

The failure had several causes, but the most infamous one is that the failsafe gauge had been moved above the top of the dam wall to avoid false positives.

The reservoir was repaired and as far as I know continues to operate. I backpacked in the area several times and the dam wall has a striking appearance on the horizon.
This may be a problem with our current categories of mental illness. It is my opinion that if someone murders another person for most of the common reasons (robbery, relatively minor interpersonal disputes, nonsensical rage, etc...) something is wrong with the murderer.

Perhaps the wrongness is that the murderer is simply evil. I don't have a framework for helping evil people nor positively identifying them before they commit evil acts. If someone does evil, they can be punished to dissuade further evil acts, caged to protect others from them, or killed. It is an injustice to do any of those things to a person before they commit an evil act.

If, however the wrongness is an illness, it might be possible to diagnose them before they do great harm to others and provide treatment. Of course there's a dangerous slippery slope possible here in which anyone who's at all atypical is given involuntary "corrective" treatment.
Guarantee they're doing the same thing with phone numbers used to verify accounts, as well. I'm not talking about the blue check mark verification, but the verification they impose upon new accounts to prove that you're "real" and not a bot.
I very much appreciate Dependabot! I like how it can pick up dependencies in interesting places.

For example, the Globus @ Stanford web site (https://globus.stanford.edu) uses GitHub Pages (repo at https://github.com/stanford-rc/globus.stanford.edu). I have a Gemfile in the repo: When I want to test changes locally, I use Bundler to install everything I need, and to launch Jekyll. Even though the Gemfile isn't used 'in production', Dependabot still warns me, so that I don't run older, vulnerable software on my laptop.

At the same time, I can't be sure if Dependabot is picking up dependencies for my Python project.

In my latest project (https://github.com/stanford-rc/globus-group-manager), I'm using pyproject.toml to hold all of the Python dependencies for the project, something that Setuptools is now supporting experimentally (woot!). I've configured Dependabot, and it has picked up my repo's `pyproject.toml` file, but I can't tell if it has actually cataloged my Python dependencies.

Looking around the web also does not give me a clear answer. For example, https://github.com/dependabot/feedback/issues/57 is titled "pyproject.toml support", but it refers specifically to Poetry (and indeed, Poetry v1 is listed as supported at https://docs.github.com/en/code-security/dependabot/dependab...). But Setuptools is not.

https://github.community/t//2576 asks about Setuptools support, and has been pretty dormant. I thought setup.cfg was supported after https://github.com/dependabot/dependabot-core/pull/3423, but another project of mine (https://github.com/stanford-rc/mais-apis-python/network/depe...) doesn't show anything for setup.cfg.

To be clear, I am very glad that Dependabot exists! I'm also glad to see it being used heavily inside GitHub. I hope this helps Dependabot expand to include more coverage for new and existing ecosystems.
>I also wonder what interesting things would happen if in order to own a gun you must drill with a militia.

Given the nature of American militias, likely white supremacist radicalization.
There are plenty of free countries without a First Amendment -- and saying something even vaguely Nazi-like in some of those countries risks criminal penalty. Furthermore, the absolutist interpretation of free speech we commonly associate with the First Amendment (virtually all speech protected, barring speech that causes immediate or imminent harm like threats, fighting words, and CSAM) has only really prevailed since 1969. I mean, immediately after the Bill of Rights was Ratified, Congress passed the Alien and Sedition Acts.

Anyway, I don't believe that owning a firearm without a license and strict government oversight is a right.