skysight-inc/HackerNews huggingface dataset:
The Boolean circuit example on page 148 is interesting: In modern Prolog systems that provide this functionality, we can model such circuits very elegantly with CLP(B), Constraint Logic Programming over Boolean variables.

For example, with Scryer Prolog and its clpb library, we can define:

:- use_module(library(clpb)).

nand_gate(X, Y, Z) :- sat(Z =:= ~(X*Y)).

xor(X, Y, Z) :-
nand_gate(X, Y, A),
nand_gate(X, A, B),
nand_gate(Y, A, C),
nand_gate(B, C, Z).

We can enumerate all solutions with labeling/1:

?- xor(X, Y, Z), labeling([X,Y]).
X = 0, Y = 0, Z = 0
; X = 0, Y = 1, Z = 1
; X = 1, Y = 0, Z = 1
; X = 1, Y = 1, Z = 0.

The solver also includes a feature that lets us algebracially show the defined relation as a function of X and Y by posting the query:

?- xor(x, y, Z).

Yielding:

clpb:sat(Z=:=x#y), ... .

This makes it immediately obvious that the circuit models XOR, as intended!

The section on Constraint Logic Programming starting at page 171 contains more information about this paradigm. You can make constraint solvers available as libraries also in other programming languages. However, they blend in especially seamlessly in logic programming languages like Prolog, because constraints already play such a prominent role in these languages, and generalizations and specializations of programs and queries come naturally: In fact, the built-in predicates (=)/2 (unification) and dif/2 (disequality of terms) can also be regarded as constraints (over Herbrand terms, H). Prolog itself can therefore be regarded as a particular instance of constraint logic programming, CLP(H).

I also highly recommend the chapter on Logic Grammars starting at page 185 in the magazine: Convenient and efficient text processing was the original goal of Prolog and the reason for its development. Prolog originates from Q-systems, which were introduced by Alain Colmerauer for the translation of weather reports between French and English. Nowadays, virtually all Prolog systems ship with Definite Clause Grammars (DCGs), one of the most attractive mechanisms to describe and reason about sequences in Prolog, which can be used for describing and analyzing lists of characters and hence text as a special case.
My granddad had to fight a case for more than 30 years because the tenant wouldn't leave. 30 fucking years just to get back a house which he bought. The only mistake he made was buying the house with the tenants still inside. They even went onto to take the deal outside the court where we would pay 1/4 of the house price to make them leave the house.

Indian legal battles stretch for so long that many times people die without hearing a judgement for the case but my granddad was lucky enough to get the house back a few years before he died.
This makes so little sense to me. I don't know how much information is made public by the Dutch justice system but I would really like to see an affidavit or something like it to understand what specific charges are levied against that developer.
The German proverb is also about a "Bock", same word, same meaning.
Reddit is often great for reading nifty content, but the infantile, monoculture avatars turn me off from ever wanting to 'connect' with anyone.
While I don't want to justify the invasion (or rather the motivation behind it and it’s actual execution), Sadam’s regime was OBJECTIVELY worse than the Ukrainian government. They are not even on the same level, the Ukrainian government may be thoroughly corrupt but they did not murder hundreds of thousands of their own people (using both conventional and chemical weapons).

The real crime was propping up Sadam in the 80’s when US did not see him as a threat and living him alive in 1991 (which just prove that US had zero actual concerns about the wellbeing and freedom of the people of Iraq in 2003)
a prominent example of this was the first google nexus 7 tablet, née Asus Memo Pad. Therein somehow the NAND flash became used up in some strange fashion making write speed unbearable. This also could not be fixed with a factory reset.
From a revenue perspective the words media and advertising are interchangeable. The word media is preferred because it speaks to a business segment as opposed to something like an agency.

A/B testing is great when you are helping eliminate confusion and dark patterns nobody can articulate more directly.

Illegal job deals was an autocorrection of my phone. I meant illegal drug deals and didn’t catch the change.
Highlights of Rust 1.63.0
Cornea made from pig collagen gives people who were blind 20/20 vision
Being arrested is not that big of a deal- it merely means they suspect that you committed a crime and want to question you. I would also wait and see what they are accused of, maybe there is more to it than simply contributing to an open source project.
The amount of CPU waste would be negligible.
Paper ballots cannot be hacked remotely by foreign actors, or manipulated in seconds using an exploit. I could see a blockchain-based one work though.
>Usually French manufacturers import from Canada some 80% of the 35,000 tonnes of seeds they need. Last year, however, a drought struck the provinces of Alberta and Saskatchewan, where most of the crop is grown. The Canadian harvest was about half of that in a normal year.

Is anyone even reading the article?
I wonder how quickly he would have dropped the case if he had any more dire need of the court system over the past twenty years.
Why sentencing people to life in prison makes no kind of sense
Just like Boeing/Airbus were held responsible for 911 attacks by developing and building the planes
By that logic why haven’t the developers of Metasploit also been arrested? It’s hard to argue that the behavior of the software isn’t/couldn’t be used for nefarious purposes and to commit crimes.

Anonymizing spending on it’s own is not a crime. Clearly the line is crossed if the developer is promoting the use of the software for illegal purposes. I’m only vaguely familiar with Tornado cash, was that the case? If not, how do we as a society/community draw the line on determining a developers intentions?
"...Molyb_E_denum disulfide..."

Geesh, I must really be getting old and grouchy, because that pronunciation is really putting me off the whole video.
>Should knife makers be held responsible if someone stabs someone?

Not a valid comparison.

Courts and law have long held the completely reasonable position that if the main intent of a product is not to commit crime, that those using it for a crime are held responsible, not the producer.

Conversely, if a product is designed to facilitate crime, or is used significantly more for crime than not, then the liability starts to shift to the producer (as well as the users).

This is the latter case. If the courts show that the producers knew the product was used for crime and added features to assist that on purpose, then they should be held liable.

According the to article, 14% of money moved through the mixer was of criminal origin. If any bank did that, they'd rightfully get hammered by the law (and they do, for vastly smaller ratios of criminal activity).

There are laws about facilitating criminal money laundering.
Anyone looked at tried both of these - and know how they differ (especially for windows 11)?

https://github.com/undergroundwires/privacy.sexy

https://github.com/farag2/Sophia-Script-for-Windows
Can someone please explain to me like I'm a 5yo;
Why, if at all, this is significant?
It "seems" significant, but no real idea, TBH.
The audacity and the arrogance in trying to sell sub-standard expensive pizza to Italians.
"Nvidia" is already punning on a deadly sin, Envy. ("Invidia" in Latin.) Ever wonder why they chose that obnoxious shade of green for their logo? Now you know:)
Sure, but the point was that C was designed to implement Unix and Unix was implemented on DEC machines and DEC machines had a particular architecture around registers that included the pre/post increment, which lead to the C *p++ style to iterate.
Exactly this. Pagerank is/was another form of voting.
This must be yaml
Should be halted everywhere.
Think Different(ly) – Development Done on Windows
The big difference: Airbus and Boeing do everything to prevent attacks and hijacking and it is against their fundamental interest and the interest of their customers.

Whereas, for a crypto network, the more funds flows in, the better for the operators and eventually for the developers (who gets paid by node operators via increased coin value or donations).
The less compliance or questions asked, or the more anonymity = the more shady flows.
you should check out these amazing art studies by @proximasan, @EErratica, @KyrickYoung, and @sureailabs (twitter) https://proximacentaurib.notion.site/proximacentaurib/parrot...
My favorite blockchain is Perforce.
Open-source tool to enforce privacy/security best-practices on Windows, macOS
Core Web Vitals Tools to Boost Your Web Performance Scores
It could be as little as a few decades before we have working fusion power now...
so true! markdown is also about simplicity, which is this project try to follow
Crypto scams aren't a problem unique to crypto. There are plenty of fiat scams, too.
The quotes around computers is kind of annoying because they are actual computers and the machines we use are "computers"
> Otherwise it's like if you run P2P nodes and claim pedo pictures aren't your problem.

If the network is completely p2p, they really aren't.

OTOH, it seems foolish to develop/run a p2p network and publish your real name along with it. It's asking for trouble.
>Should knife makers be held responsible if someone stabs someone?

Only if you made and advertised a "human killing knife", so in this case I have no idea how this software was advertised by the devs and community.

I think the intention is important in this case, what was the purpose and who benefited the most , if 99% of knives are used for bad things then you would probably have some ideas about that issues.
XYPlorer is fantastic
I tried submitting just the github repo:

https://news.ycombinator.com/item?id=32436949
I don't "believe" in REST, except that when you do it "properly" with media types and links, and proper thought about the resources you identify and what the state transitions are, it all works very nicely as a request/response API style.

The difference is during the design phase, where you focus on those resources and their state, instead of the process for changing that state.
There's to my knowledge no digital voting system used in practice that wasn't found to be severely lacking in terms of security. The famous Estonian iVote system is a case in point; it wouldn't be infeasible for a large, dedicated actor (e.g. Russia) to manipulate it, or at least to cast severe doubt upon its results.

Mainly that's because it's really hard to simultaneously maintain both anonymity and integrity, both of which are essential to voting. Lest you think anonymity is not important, think about what happens if I can see how you voted: I could simply pay you for voting "the right way".

The research literature is full with proposed electronic voting schemes, and security reviews thereof. As far as I can see, current mainstream consensus in the security community is that there is no system secure enough to be recommended, and many doubt that it can ever be done.
Exactly like original of developers of Bitcoin, it's not because they are not running the nodes themselves that they are not benefiting from facilitating ponzi or money laundering.

Nodes are running the network, and developers earn through increased coin value and both are necessary part of the operations of the service.
> We would like to thank ... the Zw3rk stake pool

Interesting, is this a blockchain proof of stake/work system where the work done is running a CI for GHC?
You have a very reduced view of what defense means. When was the last time a US soldier defended his own country? In very direct manner, Afghanistan.

Indirectly, US deployments in - Taiwan, Korea, now Poland, NATO itself as an alliance, as Ukraine proves beyond any doubt - maintain peace throughout the world. In this subject the populace is often misinformed while the political and military elites in the US are quite clear - US commitments all over the world maintain peace that allows for US hegemony in trade and other areas to dominate the world's economy.

The US used to think it could be the world's most powerful country and "not get involved". That led to World War 2, and the idea died there. If the US "doesn't get involved", it will end up with another hegemon taking over Europe/Asia and lose its position at the top of the food chain. If that's what you want, go for it, cut the military budget. But when China and Russia turn the rest of the world into autocracies, you might find you made the wrong choice.

The alternative to a strong hegemon that maintains peace is clear - it's chaos and wars of domination. The relatively small slippage in power that's happened in the last 20 years have led to an imperialist war in Ukraine. If you want to have that all over the world, go for it, cut the budget and complain about all military power being "wrong".
Mass fish die-off in German-Polish river blamed on unknown toxic substance
When I was young, concerts here in the States almost _always_ had a strict no photography/recording policy. Is this no longer common?
> This is the latter case.

How is privacy not a legitimate use case?

> According the to article, 14% of money moved through the mixer was of criminal origin.

I’m pretty sure the majority of duffel bags sold in cartel controlled areas of Mexico are used to transport drugs or drug money, that doesn’t mean selling them should be a crime.
This sentence provides a hint of what is going on:

"Since Monday 8 August 2022 Tornado Cash has been placed by the US government on the OFAC sanctions list of America."
The dream of auto-detecting proxies
Let's say there's a higher chance that you'll be able to sign a contract with Google or Microsoft that allows you to sue the $$$ out of them if something happens, than hoping to get anything from ankitpokhrel on GitHub whose bio says "I have no idea what I do".

(Nothing against ankitpokhrel and this great tool, just making a point in a slightly sarcastic way)
Classic shell is unmaintained, so maybe use this fork: https://github.com/Open-Shell/Open-Shell-Menu
When there was a pollution in Vistula river caused by sewage treatment plants, our state media blamed the mayor from opposition. It was all they talked about.

Now, the state's media quiet on this.
The RISC-V post is gonna be shipped in Java 19.
If this developer only created the mixing service smart contract and wasn't actively operating it or advocating for it, I doubt Dutch judges can rule him guilty for money laundering. The 9/11 reference made by others is very much on par.
I've seen (but never used) TC before. The site was totally neutral with minimal explanation. I've made the comparison because both are really simple tools.
I like to take a couple of photos for my album when I am doing some activity I'd like to remember (say, visiting a place on vacation). It's pretty important to me.

However, I dislike two things
1.) Doing it for every small activity
2.) Broadcasting it on social media

For 1.), I find that I don't really benefit from every walk around town or whatever in my albums. It's more enjoyable to remember significant moments - and there are quite enough I think.

For 2.) I find that to find a good representation of what is happening, I need to alter my behavior. Instead of taking two to five pictures, I need to take videos and hundreds of pictures etc. As others have mentioned, this kills the actual thing. Instead of "I visited place X and did Y", it becomes "I took photos and videos at place X pretending to do Y".

So the sweet spot is in between. I am very happy to have taken some photos - even selfies - in the past, and I wish I would have taken slightly more photos (or better ones, or videos) in the past, before we had such nice phone cameras.

Pictures are great to remember moments. For that, we need enough pictures of these moments - but we also need to have made memories. We need to have experienced the actual thing.

Pictures that go on social media are marketing. They have a different purpose.
It can easily turn into a big deal if the arrest means you're locked in a cell for awhile.
I think you're confusing 2 things. The "energy of a field", whether that's a magnetic field or gravitational field is fictional. It's potential energy.

In order to move from A to B you must "pay" the difference in potential energy between the 2 points in space. That payment can be negative (e.g. falling).

So if gravity increased in strength after ~2000 light years (which is the problem dark matter tries to solve) to 1/r instead of 1/r2 that would not represent any energy at all. It would not insert energy anywhere, into any particle, it only changes the "fictional" values of potential energy in a bunch of locations. Therefore it would not violate conservation of gravity.

Oh, and things form discs by default. If things fall into something, they form a disc shape. Round things are only formed once the collisions between stuff in the disc start going over a certain level. Galaxies are so incredibly low-density there are even a few galaxies that have multiple discs, but still very much discs. Only "small" things are ball-shaped, like stars and planets because the particles exert pressure on each other and the third dimension provides a way to relieve the pressure.
I'd say it's quite reasonable that it's publicly available, and even that it's unreasonable that other governments' works aren't as much publicly available.

But it is surprising to see!
Simply try

sudo apt update [name_of_package]

This fixed the same problem I had moving to 22:04.
I think the US could afford both proper health care/social security and the current military, but of course they would have to try it first to see if it works...
I thought standard procedure here is you pay a fine that is a fraction of your revenue, not jail time.

Like here: https://www.investopedia.com/stock-analysis/2013/investing-n...
> it's like if you run P2P nodes and claim pedo pictures aren't your problem.

It's more like being arrested for developing a Bittorrent client
In the UK arrest is lawful simply to ensure that your statement or interview can be obtained, entirely without any kind of suspicion. Still will disqualify you for automatic entry in the US however.
This is what I do, too.

Dependabot creates the PRs and I review the changelog / commits to make sure I'm not introducing a bug or security issue.
Isn't that essentially what all web apps do? Dynamically add and remove content from a single page?
The language, the compiler, and the JVM were developed at Sun starting in the early 90s at Sun under the leadership of James Gosling.
The toxic substance is now identified: mercury.

It was first found near Oława (miles south Wroclaw, hours south of Germany) with lots of chemical and metallurgical companies at the river Oder, 28th July.
They will have a leg up there because the on machines this LTSC version of Windows is made for, you shouldn’t be browsing the web much in the first place - intended applications are ‘ medical systems (such as those used for MRI and CAT scans), industrial process controllers, and air traffic control devices’
Yes, that's what I was looking for too. I think the following quote is meant to address that:

> To bootstrap the system, an initial set of Actors who share the same core values about the to-be-created reputation each gets allocated a bootstrap Reputation Score. This gives them the ability to receive Rating Tokens with which they can rate each other and newly entering Actors.

So basically it assumes there is an initial set of trusted Actors.

But even with this assumption there are potential issues (e.g. good Actors may be bribed).
Wow, just wow. Am i alone in thinking this is not going to fly if all he did was write some software that helps with your financial anonymity? There must be more. Perhaps he also deployed it? That would be a different story. The article is quite murky in that regard. Perhaps they don't know yet.

In there is an interesting paragraph explaining what Tornado Cash is:

… The (criminal) origin of the cryptocurrencies is often not or hardly checked by such mixing services. Users of a mixing service mostly do this to increase their anonymity.

Note how they sneaked "criminal" in there. There are of course legitimate reasons to desire anonymity for financial transactions! It's one of the reasons people like to pay cash.

Satoshi Nakamoto is wise to remain anonymous.
> Nepal's Kusunda language has no known origin and a number of quirks, like no words for "yes" or "no".

That's not that uncommon, Scottish Gaelic and Irish, both spoken in the UK (take note British Broadcasting Corporation), have that same quirk—at least traditionally. There's some anecdotal evidence that with the number of non-native speakers learning the language, that Tá/Níl and Sea/Ní hea are starting to fill that gap in Irish.

> including lacking any standard way of negating a sentence, [...], or any words for direction.

These are much more interesting features (or lack thereof)! Why wouldn't the article lead with that?

EDIT: This is even funnier after seeing that the author even has a name of Scottish Gaelic/Irish origin: Eileen McDougall.
I was alluding to the progress in medical tech, and the corresponding rise in the cost of specialised medical equipment. While we developed fancy tools like accurate MRI machines that let us treat patients better, they also cost more to buy. My intuition tells me that in the 1960s, treating people was cheaper because we just didn't have any machinery to spend more money on.
> The LLVM IR code is a much better conceptualization of where and WHEN code executes.

Funny - because LLVM IR makes the 'when' (the required partial ordering of instructions) implicit and so both too loose and too constrained at the same time, because it's a linear IR, while the JVM's Graal and C2 IRs makes the 'when' completely explicit and a first-class part of the representation, because they're graphical IRs.
Ok, I have to ask. Why did the school have goat?
There are a lot of languages which don't have words which map neatly onto the English 'yes' and 'no'.
Yahoo Mail Looks Good
This is not testing some other package. It's testing functionality provided by your app that happens to rely upon a 3rd party package. The 3rd party package has its tests, but doesn't know or care about the specific integration environment of your site.

With regards to writing tests of the Django admin, you need to do it if your site is customizing and/or depending upon it.
Ask HN: A simple CSV importing person task manager
It's open source. If you want to use the functionality but don't trust a random internet user named ankitpokhrel, you can literally gut the project, copy-paste the code you understand, get basic functionality to work, and you can be pretty much certain that there is nothing nefarious going on.

I have done that multiple times. It's not very time demanding, because the working code is there, and all you're doing is essentially deleting code you either don't understand, or don't need. At the same time, you're reading the code you do use.
Harder to make snappy for a headline, I guess! I agree that these qualities are much more interesting.