skysight-inc/HackerNews huggingface dataset:
We do not necessarily need to ban them; fact checking and labeling is actually better and more transparent and effective in the long run. We do not want Russia- or China level censorship, even if justified, because it probably will be abused politically in the future, as is happening in both Russia and China. Indeed, the chance of abuse of such systems increases over time, because there are more political and public opinion shifts over time than there is in the short term.

It is probably not going to pay off in the short term, but over several years it will have an effect, and people's trust will grow in fact-checking decisions, and not least because they actually document why they reached the given conclusions.

It is a very slow and tedious process, so we all need to be patient. I hope politicians and SoMe leaders decide that the result of patience is worth more than short-term gains.
If the statement “This statement cannot be proven” cannot be proven in the system, does that make the statement untrue just because it cannot be proven in the system? Seems not.

Truth is defined by a model or interpretation of the system, not by the system. As TFA explains, the Incompleteness Theorem showed that truth and provability must be considered as separate notions.
I don't think you read my comment very carefully, because I didn't say "huge effect" anywhere and I don't think I made any claims that could be construed as hyperbole. The only thing I said which expressed any magnitude at all was that Donald Trump was a huge user of the platform, which I think is pretty defensible.
I have adblocking on all the time and it looks fine to me.
Someday—when we have all this figured out—someone should write What Is Self? as the sequel to Schrödinger’s What Is Life?
Yes, the argument for not having disk encryption is completely bogus.

Disk encryption protects against disposal or theft of physical storage. Companies like Twitter will be replacing disks all the time.

The argument that nothing less than an end-to-end encrypted system is worth doing is also flawed. No, don't lock the windows and keep leaving the key under the mat, since we don't live in a castle.

He attacks cyber activists for blocking business because security is not perfect. It seems he would rather have no security if it isn't perfect.
Thankfully, an alternative PGP implementation is quickly gaining traction: https://sequoia-pgp.org/
Yeah, some of those books were revised in the 2000s. I think the settings were modernized a little, that kind of think.
HN is so Tone Deaf
I worked with this in the UK - the regulation needs standards with regards to uptime, functionality, data quality and frequent audits to ensure banks are actually compliant. At the moment, besides the neobanks that somewhat know what they’re doing, everyone else’s Open Banking APIs have significant problems that make them unusable for anything serious.
ChromeOS runs Debian in an LXD container. You can install desktop apps in it (e.g. using Flatpak) and they appear as launchable icons on the ChromeOS desktop. Being LXD you're not just limited to one container either. I have additional multiple containers with Ubuntu and AlmaLinux on my Chromebook and can use other LXD features to snapshot and publish them as required. This is far from being "useless".
I think I just set up a perimeter with maintained lasers. Then the aliens would get up to maybe 10 or so beasts and rush the perimeter the lasers would cut them all down. lather, rinse, repeat. Seemed to be steady state.
Two more I thought of, both again in the same time period:

"lockjaw" - "1786, earlier locked-jaw (1765), popular name for trismus, also applied to tetanus, from lock (v.) + jaw (n.)." - https://www.etymonline.com/word/lock-jaw

"spitfire" - "1610s, "a cannon," from spit (v.) + fire (n.); c. 1600 as an adjective. Meaning "irascible, passionate person" is from 1670s. Replaced earlier shitfire (similar formation in Florentine cacafuoco)." - https://www.etymonline.com/search?q=spitfire

"shitfire" is attested by 1598 - https://english.stackexchange.com/questions/384219/what-is-t...
Debugging the Postgres query planner (2018)
Dependency management is painful almost everywhere. I see a glimmer of hope for the future in Unison, a language in which code exists as content-addressed ASTs. Dependency version conflicts cannot exist; there is not even a need to resolve a set of dependency versions.

https://www.unison-lang.org/learn/the-big-idea/
I'd be a bit careful with that: https://www.wsj.com/articles/peppa-pig-a-pandemic-favorite-h...
I was born in 1956 in Brittany and never heard about "Kevin" as a first name before the 1980'. My opinion is this is just because of the explosions of medias that occurred at that time (end of ORTF, massive invasion of US TV shows and series)
While liberty does indeed carry a steep price tag, the alternative has been shown throughout human history to be horrifically worse.
What's funny is that Karen is a very common masculine name in Armenia.
What’s the problem with that? If non-US actors wanted to wreak havoc in the country there are much lower hanging fruits (that would also provide better “returns” on investment) than infiltrating a banking startup.
Having experience FAANG monorepos, the other commenter was entirely correct about them papering over tight coupling with tools.

It makes more sense when you realize it was really built to deal with statically linked C++ - there's no guarantee of ABI, so you really need to ensure that all your dependencies are built the same way as your project to ensure compatibility (and the dependency graphs in monorepos get DEEP).

For any language with a stable ABI that utilizes dynamic linking, the complexity is far more then the benefit. The whole monorepo concept and all the tooling that goes with it really makes more sense when you think of it in that context of statically linked code that can't easily be packaged into something as portable as a JAR, so it's critical to build it all the same way.
> with something other than git that scales using distributed file systems with phantom checkouts, negating the need for LFS blob stores.

What would that something be for example?
> need to rewrite the library

Or as one other possible instance of the design space you use the approach of cpp templates or any of Zig's comptime features -- when linking against a library you explicitly instantiate code corresponding to the things you know at compile time, apply optimizations, and throw away anything that's unused. Recognizing that generic libraries are only called with a single concrete type is child's play in those contexts.
Performative language (2020)
All css frameworks really should prefix their classes so you can mix them.

And I hope that Google keeps showing them in search results, because while MDN is great for in-depth information, most of the time I just need a quick reference of common attributes, and no I don't want it cluttered with a bunch of in-depth information when I am just trying to see what the correct word for something is and how to spell it.

Both W3 and MDN are valuable resources for different use cases.
Yeah, I am thinking about doing this.

Some projects that gave me inspiration:
- https://pypi.org/project/linkedin-jobs-scraper/
- https://github.com/nicolomantini/LinkedIn-Easy-Apply-Bot

I was thinking to contribute to existing ones to add a database/dashboard option through Google Sheets or something else.
Well, humans are the ultimate invasive species.

That said, the actual goal of the game is to build a tech tree, launch a rocket, and escape the planet.

(But once you get things going, most folks just keep building and launching rockets, elon musk style™)
For that I'd need to first get a credit card. Most people here don't have one because you never need it here, but indeed for paying for american stuff I tried getting one. Happened to be after moving to Germany. Was denied, don't have a credit score (not here at least, and afaik the Netherlands doesn't have this system of random magic score calculations without actually being indebted) and neutral wasn't good enough. Like I said, paypal really was the last resort. I'd be happy for them to just draw from my IBAN directly (basically everyone in Europe has this, banks in Germany are required to give you one regardless of credit score because, indeed, it's essential for modern life) or to send them cash in the mail like mulvad or use the here-common iDeal system, or manually transfer it or...
I have a 1985 VW Vanagon camper. Mechanically, it's a POS with 99.9% NLA parts. It has 16" truck tires. Before that, it had properly weight-rated 14" trailer tires (the owner before had under-spec, unsafe passenger car tires on it.) The 16" are much easier to find and cheaper than the 14". Geometry-wise, the OD isn't excessively different that before because it's a massive, strong "pillow" between surfaces and the OD of rim. It's when you get to the point where you can't hop a curb at low speed without worrying about wrecking the rims that there's a problem with low profile tires. There always exists a high enough speed over a large enough obstacle that will cause mechanical damage to rims. If you want to drive a super car with perfect aerodynamics everyday, don't use driveways with any incline to them, don't get near to curbs, and don't drive anywhere with potholes.

The challenge is how much optimization for efficiency vs. durability vs. cost manufacturers want to or are ordered to sacrifice.
I think this book is quite a good introduction to get you started:
https://www.oreilly.com/library/view/make-analog-synthesizer...
On the contrary, it should be on by default for every build configuration! If you move to a newer compiler version and the compilation breaks, then you just saved yourself valuable debugging time. The alternative is that the new compiler has a new optimization that causes your code to break in runtime. You can always disable specific warnings if you think they're not relevant for your code.
In Belgium, people from lower classes are often derogatorily called "barakis" (coming from stall holders living in caravans called "baraques"). The stereotypical baraki is called "Jason", "Brandon", "Kevin", "Jacky" or, for women, "Stacy", "Beverly" or "Cheyenne".
When talking with french friends, they told me their word for those was "Jacky". I felt bad for all the French whose name is really Jacky.
Also china produces goods for consumption of west so there is a majority of emissions just exported to china but really should be in developed nation's bucket.
What do you mean exactly with "the last release"? I think Kotlin is on a good way and JetBrains is investing in the right things like the new compiler. There are also a lot of low-hanging fruits in the Kotlin YouTrack issue tracker, but then again I accept that is better to focus on fundamental things like the compiler where every developer profits from.
Being a bit more charitable, it could be that they are explaining things in a way that likely makes sense to someone just getting started. For many, “license” is a synonym for a software unlock code, not a legal contract.
Eh, I'm more into gameplay than theorycrafting personally.

Optimisation is something I do only at work, not in my gaming hours.

When the common advice for new PoE players is "follow a newbie friendly build for your first couple runs", it explains why I have such a hard time enjoying the experience.
The Lucid electric motor explained and compared with the competition
I think to do that you have to actually look at how corrupt and awful eastern European and colonial powers were. Combine that with a belief that this time it's different Re the strong history of the new boss being far worse than the previous one. And human nature to believe that your tribe is beyond reproach or at least justified (rolls eyes).
Dropdowns unusable by keyboard, modal doesn't trap focus.
To Clone or Not to Clone Software?
What percentage of journalists use Twitter? If it’s 100%, as I suspect, then it doesn’t matter if only some small proportion of users are experiencing viral information on the platform because journalists are essentially superspreaders, who in my estimation are just as, if not more so, susceptible to misinformation than the average person.
> Bazel is slow. Like really fucking slow ....

Probably because its written in Java.

What sane person writes Java in the 2020s ?

I mean, aside from having to dance the JVM maintenance dance, you're also faced with the fact that Java is a memory hog unless you spend half your life tweaking obscure parameters in XML files.

The sooner Java dies the better, frankly. Java was great back in the day, even ahead of its time, but today it's just a relic.

Use Go, use Rust ... hell, practically anything is better than Java.
I think here it means you don't need to buy a license or sign up to any terms and conditions, which would be in line with the MIT license in the github repository.
Handling fast moving objects in Nintendo 64 demake of Portal
Python 3.11.0rc2 is now available
Not quite: https://www.uber.com/blog/data-race-patterns-in-go/
I was part of a successful rewrite of a legacy enterprise SaaS from Groovy to Golang (moved from manually managed EC2 instances to Google Cloud AppEngine standard). The project took couple of months and began with writing an extensive test suite using Karate. Due to complexity of the software, I can’t see it succeeding without those tests. Also, plenty of benefits of having an extensive test suite going forward. Another reason for success IMO was good project planning with milestones and tight time limit, so the engineering didn’t overdo it, but made it “good enough” in the provide time frame.
sure, but if you ignore any connection to the real world or platonic truth and are just talking about within the ZFC formalism, then `CH ∨ ¬CH` is a true statement, even though it is impossible to prove either `CH` or `¬CH`.
How Japanese Verbal Bases Work
I think, what happened in my case, is that I have challenged a lot of conspiracy claims in the past, hence engaging with said content, and that is probably why it gets promoted in my newsfeed.

It still infuriates me though, because it is extremely easy for fact-checkers to label this stuff.

I got zero tolerance, so even if someone is just posting a meme, but I know what they actually refer to with the meme, then that meme has to be fact-checked based on the whole context; fact-checkers are probably constrained from doing that, but they really should, because it is just as provocative and damaging, if not more.

I hate when I see memes in my newsfeed that are based on basically false assumptions. Usually such memes are obviously very conspiratorial at the same time, and potentially extremely harmful.
It's still error prone in golang. Java's structured concurrency approach is much better.
Wall vs. CPU time, or the cost of asyncio Tasks
> the sanctions authority does not extend to the sanctioning of things

That's the semantic game. If they have authority to limit financial transactions by people, then they have authority to limit financial transactions by people facilitated by things. And things can not (at least not yet, not until general AI exists and recognized as independent legal entity) initiate transactions by itself - somebody caused them to do that, by setting off chain of events that resulted in that transaction. That person can be prosecuted if the transaction is illegal.

> If Iran secretly plants a cherry tree in Central Park, is OFAC allowed to sanction the cherry tree

What you mean by "sanction the cherry tree"? If people use this tree to, say, exchange money (OFAC does not regulate eating, AFAIK) - for example, by hanging sacks with money on its branches - then yes, OFAC would be able to prohibit this way of transferring money to Iran as well as any other way of doing it. Why not?

> They are arguing no, because OFAC has no authority to sanction trees.

It has authority to sanction financial transactions. The means by which they are executed is secondary - it's be stupid for Congress to give them authority to regulate transactions made in one way, but ignore same transactions with same effect made in slightly different way. I don't think anybody would have any luck convincing the courts that was the lawmakers' intent.
I've witnessed some hard negotiating in the car industry about the price of a cable lug for a 6-figure luxury car. The car maker wanted to bring down the price for one lug from 0.05 Euro to 0.03 Euro at a order volume of about 100.000 pieces.

This kept about 50 people (on both sides of the deal) busy for 3 months: Engineers, CAD-Ops, Buyers, Sales, Project Managers...

It was obvious that the amount of extra-work to see if the price could be lowered was a multiple of the savings of the car maker. Yet nobody complained.
UPDATE: turns out this is happening not only on HN in my browser, so definitely its from my side.
NDA, so I can't talk about it. I would like to but I can't.
Docker Event Monitor
Three Different Types of Twilight
Have you been playing a lot of Control?
On an A310 you don't even need the servos.

But you probably want better than 8 bits resolution on sensors and output.
The ultimate goal and purpose of any economic system is to serve whole society - those people own anything because we as a society recognize that we are not able at present moment to build better system without their rent seeking behaviour. But this does not mean that they have some god given right to unlimited dividends from work of others. It all seems backwards (as in tail wagging the dog).

And don't get me wrong - I know that their behaviour is just part of human nature, that our culture tries somehow to tame and this behaviour is no different from monarchs and aristocrats of old days, but it does not mean that this is the ultimate system and there is no metaphorical guillotine waiting for them all somewhere in the future.
If you read it carefully, it's very clear that the poster is talking about multiple customers, not just one.

A dozen or more companies (poster claims it's exactly 14) can move 100k-500k VMs in a short time frame, without killing anything.

Otherwise, your concern would have been spot on.
S. Korean Court Issues Arrest Warrant Against Terra Co-Founder Do Kwon
Honestly, I’ve never heard of Escape from Tarkov before, let alone know how they’ve implemented their mitigations.

However, I do believe that we’re able to create an entire subfield within CS just to serve the purpose of implementing server-side anti-cheat if we wanted to. Games companies can implement rather sophisticated solutions to fight this issue more effectively while putting less emphasis on controlling every consumer’s computer. It’s all about what our values are.
I would argue this is a "soft redundancy" for non US-based teams. There would be salary adjustments for sure, but even that rarely makes a convincing argument to uproot your whole life and move countries.
Five standup apps for hybrid teams
This will make it trivial in Java: https://openjdk.org/jeps/428
It seems GitHub have whitelisted git projects containing certain commits or files to go over the size limit.

Chromium is also well over the size limit.
In Cuba some people have the name Usnavi, which apparently comes from mispronouncing US Navy. It’s not used as a derogatory term but it doesn’t exactly scream “upper class” either, at least among Cuban Americans in Miami.
Huh? Didn’t get that vibe at all. This article is actually just what I was looking for to begin learning about steering systems, from a technical but high level, before doing some maintenance work on a truck.
I couldn't get into captain of industry. The gameplay was too complex and slow from the start.
wait, so you are casually dismissing Gödel's work as a logical "gotcha"? don't premise opinions about complex proofs on other peoples woefully impoverished and misrepresented explanations of said proofs

that is disrespectful and very very very short sighted.

also, go read up (...on Gödel, Cantor, Turing, Tarski, etc...)
No education at all, extremely low quality of content. Please do not lose that precious time of a young human who can learn per day more than we the adults can learn per week for that hypnotizing no-brainers.
Not to be confused with Terraform Industries. One hopes the Labs name will be retired before the other needs to scale up.
There are a few steps to running code on Ethereum:

1. A person writes the source code and shares it

2. A person pays a flat amount of ETH to compile/instantiate the source code on the Ethereum network. The code is not "running" yet (aside from its constructor function, if it has one). Now the code is instantiated at an Ethereum address.

3. A person invokes a function of the code, paying ETH proportional to the amount of execution steps taken before the function returns.

4. A swarm of computers acting as block producers, some with identifiable operating persons and some without, produce a block that officially timestamps that function execution into the chain and applies it to the chain's state.

5. A swarm of computers acting as network observers, some with identifiable operating persons and some without, re-execute the transaction locally to verify that the state change was valid.

> the people picking up the phone and asking the system to launder money

Of course, culpability there goes without saying. That's not relevant to the question of whether Tornado Cash is illegal, it's a question of whether crime itself is illegal; in essence a tautology.

> as well as those responsible for the specific instances of the code that are doing the laundering

It looks like you may be talking about the second step of the five I've laid out.

That step, the instantiation of the code, can be done anonymously from anywhere in the world by anyone who can follow the compilation instructions in the readme. If that's the step where legislators try to enforce culpability, it's a lost cause due to the anonymity. Hypothetically, even if law enforcement were able to perfectly determine the legal owner of every Ethereum address and punish them when they illegally instantiate code, they still can't cause the code to be un-instantiated.
There are a lot of car things that have no functional benefit, but exist because they used to mean something (but not anymore) or are useful at racing speeds but not at normal ones, or are simply traditional.

One I find particularly amusing is the Ford Mustang Mach-E, a fully battery-powered vehicle, has the ability to play fake engine noise through the cabin speakers because some drivers think engine noise is a feature of "real cars".
> One root that branches supports a branch above ground. If that root is cut, the above-soil branch it supports dies out.

Do I get this right? You're implying that specific roots are somehow more or less associated with specific branches in most hardwood species but this association is less strong in fig trees?

And the association comes from capillaries running all the way from the roots to the twigs with basically no interconnections in between (that'd be in the stem)?
“Yeet”
To me honest and harsh conversation, even if it is wrong, is still better than firing 100s of employees in a zoom call with corporate speak.
Oh God, it's the Exponential Economist Meets Finite Physicist[1] dude again.

[1] http://physics.ucsd.edu/do-the-math/2012/04/economist-meets-...
Routes, Routes, Routes Everywhere
A Quick Glance at the Kubernetes Gateway API :)
That's called a "self-fulfilling prophecy." You can always find what you're looking for. That's the essence of the unfairness of bias, so it's not a surprise that minorities and poor people are in US prisons in large numbers or receive harsher school-to-prison pipeline treatment in education.
> It still takes some skill, patience and luck to get a pleasing result.

No it doesn't take any form of skills to get 100 drawings from a simple prompt. This is the whole point of AI "art" generation.
Be mindful of Roblox

https://m.youtube.com/watch?v=_gXlauRB1EQ
https://m.youtube.com/watch?v=vTMF6xEiAaY
Climate report: World heading into ‘uncharted territory of destruction