skysight-inc/HackerNews huggingface dataset:
> For instance, your Alldifferent(X11, X12, X13, X14, X15, X16, X17, X18, X19) constraint would be written as "x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x19 = 1". Same expressive power, on this problem.

I'm more comfortable with constraint-programming than 3SAT / SMT / etc. etc. So I'm probably getting something wrong here.

I don't think you're correct on this issue? "x11 + x12 = 1" means that "x11 or x12 are 1, and the other is zero".

EDIT: That is, the 9-set of solutions you described is:

{1, 0, 0, 0, 0, 0, 0, 0, 0}
{0, 1, 0, 0, 0, 0, 0, 0, 0}
{0, 0, 1, 0, 0, 0, 0, 0, 0}
{0, 0, 0, 1, 0, 0, 0, 0, 0}
{0, 0, 0, 0, 1, 0, 0, 0, 0}
{0, 0, 0, 0, 0, 1, 0, 0, 0}
{0, 0, 0, 0, 0, 0, 1, 0, 0}
{0, 0, 0, 0, 0, 0, 0, 1, 0}
{0, 0, 0, 0, 0, 0, 0, 0, 1}

Meanwhile, Alldifferent(X11, X12, X13, X14, X15, X16, X17, X18, X19) represents the following 9-factorial set of solutions:

{1, 2, 3, 4, 5, 6, 7, 8, 9}
{1, 2, 3, 4, 5, 6, 7, 9, 8}
{1, 2, 3, 4, 5, 6, 9, 8, 7}
{1, 2, 3, 4, 5, 6, 9, 7, 8}
{1, 2, 3, 4, 5, 9, 6, 7, 8}
{1, 2, 3, 4, 5, 9, 6, 8, 7}
{1, 2, 3, 4, 5, 9, 7, 6, 8}
{1, 2, 3, 4, 5, 9, 7, 8, 6}
{1, 2, 3, 4, 5, 9, 8, 6, 7}
{1, 2, 3, 4, 5, 9, 8, 7, 6}
....
{9, 8, 7, 6, 5, 4, 3, 2, 1}

That is, the entire set of permutations of the domain of all 9 variables participating in the constraint. What I've listed above is a *complete* Sudoku solver within the constraint-programming mindset.

--------

In most of the 3SAT / SMT solvers for Sudoku I've seen, you set up the variables as: "X111, X112, X113, X114...", which means "X11 == 1", and "X11 == 2", etc. etc. So you then do "X111 + X112 + X113... X119 == 1", meaning "X11 is either 1, 2, 3, 4, 5... 9".

Meanwhile, this entire process is simply "Domain of X11 = {1, 2, 3, 4, 5, 6, 7, 8, 9}" in the constraint-processing world, because variables can have arbitrarily sized (though finite) domains in constraint programming.

That is to say, I'm pretty sure you need 999 == 729 variables to brute-force represent the problem in 3SAT / SMT? Meanwhile, Constraint Solver trivially represents it with 81-variables (but each of these 81 variables, X11 through X99, have a domain of size 9: {1, 2, 3, 4, 5, 6, 7, 8, 9}).

There might be an easier way to represent Sudoku in 3SAT/SMT world, but again, I'm not very good with that world. I "just" know that 3SAT / SMT is a "similar but different" kind of solver and barely have used them.

--------

One can argue that "constraint programming" is simply 3SAT / SMT-solving except with arbitrarily sized domains. Rather than solely using 0 and 1 or boolean functions.

I've been told that "because everything is {0, 1}, more optimizations / inferences can be discovered" in 3SAT/SMT solvers compared to constraint programmers. Meanwhile, constraint programmers benefit from generic constraints that have a polynomial class subsolution (ie: using maximum flow, or other simpler algorithms to solve the subproblem).

It'd take a rather well-studied expert to know whether 3SAT/SMT is better for a particular problem vs constraint-programming.
I find it interesting that we aren't really at WW2 levels of war, yet rationing is already occuring. Are we in a different kind of war that we haven't acknowledged?
Interesting, thanks, did not know that would be valid!
And only do that after losing... Which is the part that makes him look bad. On other hand I don't think there is a way to look good in this situation. Other than just to shut up and play.
Are you Swiss?
Switzerland punishes many non-violent offenders with a jail sentence already. It seems to me like Swiss jail is meant for what the Swiss people decide it’s for.
I’m not sure that discussing it on the previous thread provides much value. At least a new post here notifies the community that there’s an issue.

Sure, if it’s a daily occurrence, then it’s a little noisy, but it’s not a big deal.
> just semantic HTML and you're done

Meanwhile, `a em` is styled as a button.
“If the country is forced to ration gas, it could do…”

How is this news? This will likely never become law.
I have not used Zap, but I really like the Zerolog API which I have used extensively. I dont have any religious fight with Zap vs Zerolog, I just happened to use Zerolog first.
...only if PPP loan forgiveness was also tied to national service.
> preferred app in my very small dating niche

Curious about how you define this, and which apo, unless you feel you cannot comment without providing/implying sensitive information about yourself.
This is a positive if you're doing meetings correctly. You can have open discussions without people worrying every dumb thing they say will be written, and then at the end you write down your action items and takeaways and everyone takes ownership.
Short for "globally homogeneous", globohomo is a pejorative term for globalisation. Often used by the type of people who believe that globalism is a Jewish plot to undermine Western tradition.
...if the country is forced to ration fuel. Which, so far, it hasn't been.
In Switzerland? Doubtful. Switzerland has a ton of non violet jail sentences for a long, long time.
That's more or less what I tried to say. Assuming a five-year lifetime shows a lack of knowledge of how the product is typically used.

Incidentally, my own upstream uses a twelve-year-old router. I know where it is but I'm not sure that cupboard has been opened this year.
Open source OS should be the industry standard for network hardware.
Nuclear is always late and over budget in the West because everyone who knows how to build reactors is long dead or retired.

Thats what get when you loose skilled workforce.

We are incompetent at building all kinds of infrastructure - UK completed crossrail almost 10 years late,and HS2 is 3x overbudget. This country invented railways!

California also can't build a railway apparently. I am not sure how a functional country continues on this trajectory
> No package manager. Include by Git URL with tags.

Go does exactly this (`go.mod`), and it turns out it still needs a package manager, just simpler. One of the reasons: diamond dependency problem.
How is it not the Government's business to manage supply to the entire country and step-in where people are not looking out for each other.

That said, I think the idea is mostly unworkable, it would be much better to look at differences in energy bills for similar size homes and send round advisors to mee the home owners and discuss how they might improve energy efficiency.
How are you going to deal with base load?

We can save money on nuclear but reducing the amount of bureaucracy and increasing the volume for economies of scale.
No. This would again be a significant advantage for students from wealthy families who could opt out of the service by paying up...

Just get rid of the outrageous US tuition fees like civilized countries in Europe.
Internal matters? The age-old cry of the oppressor?
Switzerland strangely enough has somewhat of a liberal reputation, yet is the precise opposite. I suppose the financial reputation (dubious as well) bled over into the social one.
> don't link directories and self hosted HTML blogs filter for a certain potentially unwanted writer bias? i.e. 30-something, male, agorist, nostalgic for the old internet, oddly niche hobbies, English as first or second language, ...

Why is this? (genuinely asking)
Areva paying for the overruns just means it's French taxpayers footing the bill.
Would repercussions would that have on the existing userbase?
Today's war are more economic in nature. Instead of real military wars.
Using Cloudflare is one option - sample pricing[0]:

Streaming a library of 500 GB of HD videos over the course of one month with approximately 72,000 minutes of viewing time to a global market.

Total cost: $78.00/month

[0] https://www.cloudflare.com/en-gb/products/cloudflare-stream
€100/MWh surely beats having to choose between recent gas spot prices or shutting down your economy.
I had to look it up, but JSR-47 experience made there sounds very relevant to this issue.
I looked into it too when Kiwi Farms started coming up on HN. I hope more people do because it's troubling how many of the facts being reported about it (love it or loathe it) are demonstrably incorrect. Not liking the site doesn't make it right or even deserved.
Show HN: Sentinel – simple 2-Factor Authenticator app for iOS, macOS and watchOS
At least in Switzerland, it isn't. This is a law that would cover a future hypothetical situation.
It's limited, but there are demos of bitbanged DVI on fairly modest hardware, after some overclocking.

https://github.com/Wren6991/picodvi
The buzzword for this is hybrid warfarin, although the underlying concepts are sound.
I mean, the constant frustration of getting very close but having to optimize for even one more thing and that breaking all other levels...

It really forces you to be really creative, even if you'll never succeed. I'm enjoying the process much more than the results.
I second that. Smalltalk-80 classes source code is an excellent reference to learning pure OOP style.
https://github.com/dbanay/Smalltalk/blob/master/files/Smallt...
I’m in favor of that if we also get rid of outrageous university bloat and frills like civilized countries in Europe.
Too many people doing that will mean that what you're looking for just won't be in the main (GPL?) plugin area. My own experience years ago was that for many folks, if it wasn't in there, it didn't exist. Downloading and FTPing 'out of store' plugins just wasn't something that folks wanted to get in to. Those projects may have been a minority of the overall username, but it wasn't an insignificant number of projects I knew about. Perhaps that attitude has changed in the last several years?
Yes.
https://en.m.wikipedia.org/wiki/Cold_war_(term)
Management of critical infrastructure is absolutely the government's business. It seems like (having read the article and not the headline) this is a law already on the books for dealing with violators of declared rationing programs, there's nothing about gas specifically. The penalty is 30EUR/day, "with jail time for repeat violators".

That doesn't sound so weird to me. The whole point of rationing (which isn't happening yet[1]) is that efficient market allocation in severe shortages isn't capable of meeting society's needs, and that the government needs to step in to do the allocation instead. Now, knowing HN, there are going to be a lot of people here who reject this premise a priori. But nonetheless that is the premise behind the law, and given that having some sort of enforcement mechanism is necessary, just like it is for all laws.

[1] And probably won't. The idea of shutting off gas is a pretty obvious bluff by Russia. They need that cash at least as much as the Europeans need the gas.
Depends on who "we" is and what you mean by "acknowledged". I live in Europe and it's pretty evident that Russia is waging war against Europe and not just Ukraine. That has been acknowledged for a long time already.
Yup, can confirm Hinge free is rather excellent. YMMV, but I got plenty of dates (and even a girlfriend for a while) thanks to Hinge.

It's not perfect, but if you work it, it can work for you.

Yes, it's a casino game, but learn the rules and you might just win ;)
Another data point: I open almost every link in a new tab, but I also find it very frustrating when a link opens in a new tab by default.
This Latvian news website points to the Spanish Euro Weekly News but then quotes the Swiss Blick (tabloid) Newspaper. The original source is likely https://www.blick.ch/politik/gfroerlis-muessen-im-ernstfall-... from Sept/6th.

Google translated "Anyone who violates the requirements faces imprisonment or a fine. In the case of intentional action, a prison sentence of up to three years or a fine is possible. Even in the case of negligent violations of the measures, a fine of up to 180 daily rates is conceivable."

Then the original article goes into more discussion how enforcement is close to impossible and that a company who heats a large swimming pool on purpose is obviously worse than a resident setting their heating higher. My take-away is that there will be at most spot checks, some monetary fines possible. But jail is meant for the worst repeat offerenders of grand scale.
"This sort of nonsense". I don't think you know what this plugin is actually doing, but it seems to be a backup plugin. So I don't think seeing MySQL specific stuff there is worth mentioning. I think you're trying a little bit too hard buddy
What, so they could have 20% of their energy in nuclear waiting for it to come online some time around 2027 rather than 40% in renewables right now?
OP might be dutch.

In dutch, nouns that end in the single vowels '–a', '-i', '-o', '-u', '-y' get a "-'s" when forming the plural. The apostrophe is added to keep the long single vowel at the end long.

That's why dutch speakers frequently make this mistake.
Must be a slow news day on HN, huh...
Hard times will make hard men.
I wrote this 3 months ago, and it was very poorly received.

> But in a decade or so, it will be the prevailing opinion. Some czar of the environment will go around deciding who gets AC, and telling others "You don't need AC". (Generally, this is decided by campaign donations and party support.)

Fair enough. It wasn't a decade, it was happening now -- and it was heat instead of AC.
Author confuses SQLite's development model with Fossil's at the end, the latter welcomes contributions: https://www.fossil-scm.org/home/doc/trunk/www/contribute.wik...
Huh... It's interesting how much further we're apparently prepared to go in defence of our near-term economy than we are for the climate.

And it's not like Switzerland is some backwards dictatorship shit-hole either, this is a reliable democracy of considerable wealth!

With any luck they'll manage to switch their heating/energy production to some better method than gas
Yeah. When I was learning to fly (early 2000s) I heard “fork-tailed doctor killer” a lot in reference to the Beechcraft Bonanza.

Never dentists though, but maybe that was just my flying club’s biases.
It is true for all wars, but the (hopefully not) upcoming WW3 will be "man made" and long time coming with the climate change, energy wars and, overall, stupidity on focusing in short-term profit over long-term wellbeing.
I'd love it if these developments would grant equity to its tenants. But then they'd just squat on the land, making it useless.

Is this really the best of all possible worlds, where a small number of investment groups with vast wealth can keep accumulating the core real estate of cities, to extract wealth from its citizens?
In Finland, Hydro combined with wind should take care of baseload.

They've also been importing cheap electricity to avoid burning expensive fossil fuels for about a decade, so they probably want to continue with that.
Definitely conda is more problem and less solution.
I think people are very slowly coming to the realization that all the free love stuff didn't really make their prospects of a good family better, and after all, for the most part that is our biological drive.

Women are the gatekeepers to reproduction, it will be on them to change course. After all, if every man works out and makes great money, then they are all the same anyway.
I've seen some people claiming that Tinder's userbase is 90% men, 10% women.
AV1 codec in a .mp4 container. That's the first time I seen that.
Somewhat related: https://en.wikipedia.org/wiki/Policy_Analysis_Market
It is not a DEI problem it is an industry problem.
Bloomberg:

"China is able to secure cheaper supply and resell shipments from more expensive exporters to utilities in Europe and Asia, while Russia can continue selling fuel at a profit."

https://www.bloomberg.com/news/articles/2022-09-08/china-sna...

Financial Times:

"The world’s largest buyer of liquefied natural gas [China] is reselling some of its surplus LNG cargoes due to weak energy demand at home. This has provided the spot market with an ample supply that Europe has tapped, despite the higher prices."

https://www.ft.com/content/1e20467a-5b53-42b7-ad89-49808f7e1...
This article is extremely thin but aren’t prices supposed to do the job of rationing?
sci-fi is technically fantasy

Interesting you’re looking for niche stuff then un-niche-ing SF and fantasy, when you could so easily go many parsecs down that rabbit hole. Here’s one guide to their subgenres - https://larawillard.com/2014/12/10/guide-to-sff-science-fict... - and there are many.

You could do this for almost any topic. Drill down down down. Fungi and unsolved math puzzles and flatbread and occlupanids.

Get far enough down and you’ll find people discussing and writing. These are the hedgerows of the Internet. Nerds are in the details.
Will they nab offenders via remote-sensing, like a thermal camera aimed at windows? Or by subpoenaing records of 'smart home' thermostat companies?
Chernobyl is still rendering wild game in Sweden unfit for human consumption.

Not really true. Yes you can still measure heightened Cesium levels in wild game, as well a fish and mushrooms. However Those levels are consistently below the levels set as safe for human consumption in basically all game. The only exception are the levels in wild mushrooms and animals that eat a lot of wild mushrooms (like wild boar in certain areas)

This was even true 10 years ago [0]

[0] https://svenskjakt.se/uncategorized/sparen-efter-tjernobyl-f...
> Out of the box CSS styling for HTML elements. No class names, no framework to learn.

Well it’s still a framework. A light one, but still a framework. You still have to learn how it works. For example, `<section><aside>` is interpreted as a card and `<sup>` is a "notification bubble". The worst part is you have no way of disabling this behavior: `42<sup>2</sup>` will always show a "bubble" with `2` next to `42`. What’s "semantic" in that?
Same here (Germany).
"unessential such as [...] and radiant heaters would be need to be turned off."

Can anybody explain the radiant heaters? Aren't they are actually more effective in keeping people warm compared to heating the air?
You can read this excellent piece [0] written from experience.

Julia is still far from ready for serious adoptation for heavy workflows.

For libraries, the optimization cannot be trusted. And it cannot be said many times that best practices were followed.

While you can trust NumPy or PyTorch, you cannot trust a Julia library at the same level.

[0]: https://yuri.is/not-julia/
Paul Graham has thoughts on people who “market” programming languages: http://www.paulgraham.com/javacover.html

I’m the spirit of Postel’s Law I decided to actually learn Rust well before becoming truly dedicated to clowning on super fans.

I’m into basically anything if we go all out, as long as Rust is sponsored by a KPop group and a league team fuck hating: let’s make an NFT!
In all fairness, as longs as patents exist you simply can't "open up" a piece of technology. What you can do is reverse engineer it, since it's allowed becausenof the manufacturer's drop of support
And make sure it has at least 16MB of flash and 128MB of RAM, if you really want it to have a long life. See https://openwrt.org/supported_devices/864_warning for details.
This is nothing, the Netherlands jailed 18.733 people for not insuring unused cars: https://decorrespondent.nl/6661/het-absurde-nederlandse-boet... (Dutch)
I don't know what I'm doing wrong but I find the hinge system bleak too. I've been on there a year and somewhat rarely get people to respond after a initial "match" let alone only managing to meet 2 people in real life. I say it is bleak for sure unless you're a swimsuit model
How do you define "bang for buck"?

Would love to see a source stating that renewables are 3-4x more effective in the context of energy security and grid stability.
Seems to be working fine here, europe.
> Lol a race to the bottom as usual with someone who is hooked on western main stream media e.g: "Russians are in mass retreat" - this is comical

Lol the Kremlin yesterday posted their daily maps which showed a full retreat from the NE region to Russian borders, and social media is full of videos in NE Ukraine of abandoned gear, tanks, artillery, stockpiles, etc.

The Kremlin amusingly calls it a "a planned withdrawal" but even Russian commentators are struggling with the absurdity of the latest spin, because they have front-lines Russian bloggers attached who are filming the abandonment of heavy equipment, supplies and even small arms. How funny that you accuse me of western-MSM when even domestic Russian media has shown it.

Bless your sweet little heart, I know, it's really hard to maintain the Russian propaganda in places where the Kremlin can't murder people who disagree.

> I'll go further, the wests support is actually tantamount to warmongering (but thats par for the course).

And there it is. The 1984 Doublespeak moment that the Russian propaganda thrives on.

Defense is Warmongering. Helping is hurting. How dare those dastardly westerners allow Ukraine to freely associate with them! The Ukranian people are the property of Russia and should be thrilled to be "de-nazified"! The proper ethical decision is to simply give in during Russia's "de-nazification" genocide campaign!

I'll go further: your defense of the horrific Russian genocide campaign by attempting to blame the West for it is an act of complete moral cowardice and a textbook example of how propaganda leads people to support genocide.
Just to nitpick, Plurals CAN have an apostrophe if it makes a word readable that is otherwise hard to read like MOT'S

https://www.sussex.ac.uk/informatics/punctuation/apostrophe/...
Those who default on their student loans yet fail to teport for duty may be considered AWOL and subject to military arrest and punishment.

That seems bad somehow.
You and the parent aren't disagreeing. The problem is defining "negative externalities" which is inherently political.
Additionally, either the calendar day boundary is tied to 00:00 new-UTC, which would be incredibly awkward for everybody not living near wherever the meridian ends up (which invariable will be a large fraction of the world's population, no matter which meridian you end up choosing), because now all of a sudden the calendar day changes in the middle of everybody's waking hours (public holidays starting and stopping at e.g. 2 o'clock in the afternoon anyone?), or else each location needs to offset the calendar date change by some suitable value so it ends up roughly were it used to be (i.e. at a time when most people sleep), which again means basically re-introducing time zones through the back door.
Ah, people can have all kinds of furniture in their "offices", the point is that it's useless to others while that person works. Unless it's also unheard about having an uninterrupted work environment in your country it should be pretty obvious.
You can't replace Nuclear with intermittent energy, they serve different function. So far the cheapest and the largest deployment of green energy has come from Nuclear and Hydro.
Interview: Kim Stanley Robinson – Farsight
you deal with baseload with renewables. It just doesn't make sense to seperate 'baseload' from 'peak' with renewables (in fact this is one reason why nuclear and renewables don't complement each other, in fact renewables will tend to destroy nuclear economically without a bunch of subsidies in place), you just step back and think about how you're going to match supply and demand when both fluctuate over time. (And the answer is a combination of over-building renewable capacity and storage. Funnily enough if you ask how you'd supply a grid with nuclear power you get the same answer, just with longer lead times and a higher price tag).
If you find yourself generating so much boilerplate, it's probably a better design and more enjoyable to craft a single reusable abstraction than it is to rely on a glorified copy and paste tool to create a mess of redundancy.
Fair enough - I’ve appended my comment
From your article...

> As can be seen in the table, using the app for casual sex and hookups was actually less common than these other motives.
5.5 Weeks is 28 working days. That's what a begginer gets here in DE ( as engineer)