skysight-inc/HackerNews huggingface dataset:
Stupid question: isn’t this actually a “simple” problem for which something like Z3 is in some sense overkill?

Firewall rules are just a binary colouring of the 4D volume defined by the four-touples of all possible flows. (Two addresses, two ports)

Because of the way rules are typically defined this is a very sparse set with huge consistent rectilinear areas.

A brute-force solution might be to simply build the 4D equivalent of a quad tree, optionally with splits at the optimal boundaries instead of at “halves”. Then the equivalence check is just a set “xor” operation. That will also reveal examples that are treated inconsistently.

Such a tree could represent any reasonable set of rules in surprisingly small amounts of memory. Also, it’s a good way to find “equivalent but more efficient” rules by reversing the process. Adjacent areas that make larger contiguous rectilinear areas can be merged fairly easily in the tree and then written out as the equivalent rule.

I’m not entirely pulling this out of a hat, I did something vaguely similar (for a related problem) when analysing complex AWS security groups a few years ago…

Similarly I wrote a tool to take a set of arbitrary subnets, union them, and then compute the inverse to “exclude the whole internet except some countries and networks.” I did this with a four-gigabit array in the naive way and it worked great!
I am often surprised how the big picture manifests itself in nitty gritty details.

I want all teams to know the big picture and you must trust their expertise and experience.

This is tough to learn to let go but that's why you hired experts in the first place.
Copernicus Data Space Ecosystem
The Copernicus Data Space Ecosystem is an open ecosystem that provides free instant access to a wide range of data and services from the Copernicus Sentinel missions and more on the planet’s land, oceans and atmosphere.
I dropped my trusty Samsung flip phone into the toilet, RAN to 2009 YouTube, learned how to take it apart, took it apart, dried the pieces, and put it into a dessicator over night. (I happened to have one to store infrared transmitting windows.) Worked fine when reassembled the next day.

But Kissinger can never get the sh*t off HIS glasses.
Perhaps debugging comes from a mathematical joke in base 6 encoding.
> single parenthood is completely normalised

How? Would the government pay for surrogates for single men?

Unless by "single parenthood" you actually just mean "single motherhood", which hardly seems like the way to run a gender equal society.
Has anyone seen someone use a great algorithm for layout selection that actually accounts for the more complete range of user typing?

For example, everyone makes typos and corrects them with a backspace or mod+backspace for the whole word, but this is never accounted for, so a very frequent Backspace key is very far away. Using a post-typo text corpus ignores this reality

Or allowing home row mods in a layout, what would be the algorithmic maximum across all the typing metrics?

Or allowing numbers to be in play as well, maybe hiding then behind a modifier, but in the home row or aligned in a numpad-like way on under your right hand

Or would it be better to type capitalized letters with a one-tap Shift or with a home row mod Shift? Or maybe a quick double tap on the same letter is more efficient?

Given the complexity of switching to a new layout, there is no great reason to keep all the non-alpha mistakes of the old qwerty design, the algorithms should run free from those limitations to get us to the future perfection
> Plenty of models that can work with all frequencies, so I am not sure if that's enough of a justification.

Only some chipsets work with all frequencies and when 90% of the population of the planet all use the same settings why spend the cost to cover the other 10% which would double your chipset costs but would unlikely increase sales.

Americans bully each other over the colour of their chat bubbles because apparently not buying iPhone makes you appear poor. There are lots of justifications to avoid increasing costs to try selling to the Americans.
I think I've understood your example. I'm just not sure how important it is. We have things such as optical illusions already. Does this have a material effect on the structure of the universe? On objects in the universe? Or is it just causing mathematical paradoxes?

I've played around with the fantastic idea of instant portals between places (or simple teleportation), and assume this would have unusual effects on gravity when, for instance, portalling from one side of a planet to the other.

I think I lack the theoretical basis to really understand whether this is a problem for the universe as it is. And I don't think a lay explanation can be satisfactory. I appreciate your attempt.
The dating -- or hookup -- scene seems to have changed a lot for younger people. I'm not young, but my primary point was that even in older, more conservative times there was some recognition of the fact that male and female strategies differ and women aren't typically looking for someone pure and untouched.

I've seen multiple comments here by men who seem surprised or something that women often don't care that they are seeing others. And I'm trying to say "It's really not that surprising and if you think about it for a minute, it's a well-known and long-standing pattern, really."
Maybe try creating a Tinder profile but er... "fuck up" your picture so that although it's still you, it's not as an attractive version of yourself?

You know, super shitty angle, bad lighting, maybe shitty camera blur, etc?

If that gets too many matches, kill the profile, fuck up the pic(s) even more, and try again?

Try and get the match threshold down to low numbers, and maybe you'll be finding people more to your liking?
If only we could plot these stats vs. ano-genital distance to see if fetal underdevelopment correlates... BPA I'm looking at you.
Startpage Is Upset About My VPN
I started using startpage on account of someone mentioning it here on HN, and I rarely find that I need to go through Google directly for a search query. Unfortunately though, I keep getting these captchas because it doesn't recognize me through my VPN. It isn't a huge issue, but it's pretty inconvenient when, for example, it's 1 AM on Saturday night/Sunday morning. Is there an easy solution for that or can complain loudly enough here that the interface gets improved?
We all know this!
hdr is still mia
Oh no way? Nice, good to know if I ever have one again.
I build Android apps for a living. Let me tell you, the majority of users are on "outdated" OS versions. You have to support 5-7 years of Android releases to cover a substantial part of the Android user base. The app I'm currently working on requires a minimum version of 6.0 — this came out in 2015. I still test my apps on a Nexus 5.

Many people would buy a phone that will never receive a single update. The software it came with is the only software it'll ever run. And they're fine with that. They see software updates as an annoyance and I fully understand them.
When it comes to radiation I only understand banana per day.

https://en.wikipedia.org/wiki/Banana_equivalent_dose
There's a useful Grease-/Fire-/Tamper-/Violent-Monkey userscript for HN marking paywalled articles and providing alternate sources: https://greasyfork.org/en/scripts/452024-hacker-news-anti-pa...
Are you also using Stable Diffusion under-the-hood? Because the results in the public feed look much less... coherent than the examples in the ControlNet Github repo (including examples using sketches as the control system).
The rate of DNSSEC signed zones is growing, but the number of recursive resolvers that hard fail on validation failures is static or going down.

Unfortunately the user experience for a DNSSEC signature failure is so bad, the only option if you run a large ISP or corporate network is to just use the answer you get anyway.
Jobs that require heavy lifting boost male fertility, testosterone, and estrogen
Sums up the usefullness of social media. In order to get the social ego treatment by bording first by faking disability. Surely social media algorithms promoted this crap behavior in the first place. I suggest Social media platforms pay for the extra cost.
Personally what I want is a dumb flip phone which can act as a 4/5G hotspot for my 7" tablet.

When I'm on the internet, browing maps, reading books, I find a phone screen too small. But I don't want a massive phone.

A dumb flip phone that lasts a week on a charge so that I can camp with it, combined with a 7" tablet that I can throw in my bag, for when I want to read, but doesn't need cellular connectivity so that it lasts without spying on me.
What does anyone care what that war criminal Kissinger thinks? Could you possibly find someone older, less reputable or less relevant than him?
I didn't claim sex work in all countries is a result of human trafficking. I said forced prostitution is fuelled by human trafficking.

>"In some countries, sex work seems to be illegal and problematic. But in other countries, it's regulated and successful."

My take is similar to yours, I'm just communicating to the original commentor that the societies where sex work is legitimate, regulated and safe is a minority compared to the societies where it isn't.
Does it? I thought Americans were still using alternative frequencies to everyone else.

[Edit]

It appears that the US doesn't overlap with the majority of the world for most of the ranges, except for one band at the top which overlaps with Japan/Korea.

https://5gobservatory.eu/5g-spectrum/

> Currently, the most used bands are:

- Low-band: 700 MHz (except in US); 600 MHz (US)

- Mid-band: 3.3 – 3.8 GHz (except US); 2.6 GHz, 3.7 – 4.98 GHz (US)

- High-band: 26 GHz (except Japan, South Korea and US); 28 GHz (Japan, South Korea and US)
For Amazon, they have company offices all over the world. For many projects, there's a good chance you may need to work with people from several other offices, and may need to take early morning meetings to overlap with people from Dublin, as well as late night meetings to overlap with people from Sydney or Tokyo, and everything in between.

So, those meetings are going to be on Chime. Or Slack Huddles. And either way, once you're doing that because some of the people are remote (in another office), you might as well do that because people are remote (working from home, wherever home might be).
Thank you for the link.

I don't see the "spewing racism" you speak of, I just see some extrapolation to social situations that make sense. FWIW as Adams says even black people try to live in neighborhoods where there are few black people b/c crime is lower in those neighborhoods. Adams remains edgy but he's generally still on point.

- The Rasmussen poll result he discusses (only ~53% of blacks agree ‘It’s OK to be white’) were remarkable: https://www.washingtonexaminer.com/news/washington-secrets/i...

- Adams lays out the obvious: "Focus on education and you could have a good life too."

- Adams hits the nail on the head with the statement that "Biden just made it illegal for the(sic) AI to tell the truth". [To be legal] We have to train it to lie..."

Strange but still funny quotes: "I'm now independent, not a member of any group[black, white, or other]."
No way most people send cash. Most people won't pay for a netflix subscription, there's no chance they're dropping 5$ for a youtube creator.
2500 sq ft is ~ 232m2 for ppl in countries with normal unit.
Recently as in Debian? Or recently as in not in Arch yet?

For what it’s worth didn’t matter compositing is on or not.
Same thing happened with service dogs. All you have to do is say those magic words and you get access to pretty much everywhere.
What other evidence supports that theory? Are there counterexamples?
This is a topic that interest me. I see myself as a life long learner and I want to strive towards mastery. In some topics I’ll maybe get a tutor, it’s expensive but worth it.

I’ll share my workflow for studying and I am keen to hear about yours.

I start with exercises almost immediately when studying. Practice over theory. I have noticed that an unsolved problem, or a solved problem that I didn’t understand really bugs me. I use that irritation to fuel me when I go over the theory of a subject.

When doing exercises I count wrong answers from negligence as worse than just plain wrong. That’s because I believe it could stem from a lack of understanding disguised as negligence.

If I am struggling with a concept I’ll first try to copy the chapter of the book by hand. To internalize the author’s voice and framing. If that doesn’t work, I’ll search for another explanation and do the same thing.

I prefer books over video lectures. Video is to intense and I can’t as easily set the pace. Some video content out there is amazing, specially with math and visualization of math. That’s really helpful for me.

I don’t stress since I am going to this until I die. I play the long game.
additionally

> available for five years through ifixit

this is not the win-win it's touted to being vs a high quality phone that just works for 5 years.
When I watch "Alone", I'm surprised that I haven't seen anyone yet make a fireplace heater this way. They usually build something that is so inefficient it does little, or fills their shelter with smoke (poisoning them), or burns their shelter down.

I'd at the very minimum put large flat rocks in the fireplace, then put them under the bed.
v60 is a really great middle ground. If I’m traveling and the coffee is garbage I’ll happily drink tea.

What do you do for beans? I got tired of paying $20-$30/lb for decent stuff so I roast my own. Costs $6-$10/lb for beans from Sweet Maria’s, which me and my wife go through in about a week.
Does this start rails app and postgre db on the same server?
This isn't about morality. Quitting any addiction is objectively difficult and most people need several attempts before it sticks. I have no illusion that you can "just" lose weight.

Making people chemically dependent on a drug to keep themselves healthy is optimising for the wrong solution. It's quick and easy but it mostly serves to keep insurance and drug company profits up.

I certainly believe that these drugs can be useful as a means of gaining an intermediate result (which can significantly reduce the immediate risk of many diseases) during treatment, but that's not how people treat them; people treat them as a magical fix for obesity and that's simply not healthy.
Oh. For some reason I thought they are Chinese… I guess I confused it with BlackBerry ownership, that’s now… Chinese? I think? I don’t know.
> If individuals are not responsible for their own health then who is?

I view the issue much like burnout. Who's fault is it for burnout? The employee or the employer? To be honest, just like obesity, it's probably a bit of both (not claiming employers are causing obesity).

> How hard is it to eat chicken/tofu + veggies for one meal a day and cut out pizza/pasta/rice/wheat?

It depends on how much one earns. It's a lot easier for someone making a HS salary than minimum wage which in my state, is still $7.25/hr.

I am not saying individuals are not responsible, but I do not agree that individuals are solely responsible. There are other factors at play.

I think we have a societal issue -- people are overworked and overstressed on average. Hell, depending on the source of information, around 20%-25% of Americans are prescribed psychiatric medication. That signals we are facing systemic issue within our society. Why are people so depressed, anxious, and or flying off the rails?

Another issue is that our society has become more sedentary as a whole -- especially in the work place. I imagine there were much less sitting/standing at a desk all day in 1923 than there is in 2023 on average. I think a lot of people were able to fulfill their minimum exercise needs without much effort -- be it factory work, more walkable cities, etc.. Is the increase in sedentary jobs, lack of walkable cities, etc.. an individual's fault or society's?

Maybe I am just talking out of my ass, but I would like to see any kind of research, if it even exists, on if there is a correlation between hours worked in a sedentary job and obesity.
Congrats on releasing, we built something similar (WP/composer) for our stack, you can see the details here: https://docs.altis-dxp.com/getting-started/
I dislike most the these espresso machines with touchscreen or dialing knobs on autopilot. This is disgusting coffee no matter the beans.

Imho drip coffee makers in office kitchens would be nicer.
You must be new around here. The HN answer is just use SQLite! ;)
China Is Trying to Quickly Launch 13,000 Satellites to Defeat Starlink
Upstream Chrome bugs are here:

https://bugs.chromium.org/p/chromium/issues/detail?id=578890

Electron has different issues it's been working on, though. I believe it has some issues with window border rendering in some cases as well as issues with cursor size on fractional scale.
Yeah. Also for any kind of race condition a debugger is usually pretty useless. Also most memory corruption problems. The debugger has a place but so does printf debugging.
#2 seems impossible to enforce without getting physical, and the others might open them up to violations of laws like ADA or discrimination or at least bad PR.
Any ideas why they picked Haskell?
There's no reason why a free market can't be set up to internalize the externalities. The easiest way to do it is to tax things like pollution.
> Yes, but that's not what we're talking about

What are we talking about?
Bell Labs Holmdel, Now a Food Court, to Be Converted to Sound Stages by Netflix
Watch any popular live stream on youtube and you'll see random people dropping $1-100 at any given time for their favorite creators. I don't really understand the motivation, but is a real phenomenon.
What they do is lie about their age and keep trying. I’ve went on a few dates where women were clearly 10 years older than stated and pictured in the dating app.

I think the focus is on men due to the concern of the collateral damage of incel violence and it ignores the individual plights of the men and women. If women were similarly violent maybe more people would notice their problems too. Instead they just get some cats and quietly disappear.
> This comparison isn’t really relevant. Could you run the then current operating system in 2006 on a computer that you bought in 1986?

The processor available in 1986 was the i386, which was supported by Linux until 2012. i486 support is on its way out just now, more than 33 years later.

> A 2010 iPhone 4s can’t connect to any network in the US let alone a 2007 iPhone.

It's not expected to do what modern phones can do. But it could still connect to WiFi, so why shouldn't it be usable for reading text or listening to music?

Why not connect the USB and turn it into a NAS or a doorbell camera or any of the things anybody would do with a Raspberry Pi?
Most books on amazon have zero subtext. Tell me PercyJackson has subtext. Pick a romance novel or a lit_rpg and show me the subtext. That's just it.. the stories don't have to be good. They have to be good-enough. Sadly they'll get better really fast.
Yes there are many books. It’s the motivation.
The Amish are aware of their small population problem. I believe their population bottleneck was a few hundred people.

They do sometimes adopt children from outside their population. I don't know how common that is and whether it makes a difference.
To add to what app4soft said, assemblies are not a thing in FreeCAD. There are multiple addons that add that capability though.
Wonderful contribution that didn't even cross my mind, but I completely agree.

Again, this still is not the fault of an individual which was I the point I was trying to make. Thank you for this bit, I will try to add this to my opinions next time I have a discussion about obesity.
Is it correct for me to assume that you have your daughter without a smartphone right? How is she communicating day-to-day with her peers in school then?
So many hyphens in this abstract
I hate removal of 3.5mm port same as you, but wireless earbuds are not a scam per se. I have some Sony buds which have great sound and there's no more a minute of untangling cable whenever I take them from the bag.
However, that's not the reason to not have headphone jack since it has other uses and can perfectly coexist with bluetooth devices.
PBKDF2 vs. Argon2 – Finally some hard numbers
> you are treating the employees as actors with no agency

No, I'm treating them as rational actors seeking to maximize their compensation. It may not always be so, but it is an assumption that will be true at least some of the time of a new hire that you're going to immediately invest $100k in.

> Undergoing any sort of training imposes a mental and time cost on the employee

Generally they are paid for their time doing the training.

> and if their current employer does not increase their compensation at all

Odds are they make more money in the new type, but not quite as much as an employee showing up with the rating already in hand.
Since (regrettably, for other reasons), many people seem to be moving to use centralized resolvers which all, incidentally, do validate DNSSEC strictly, I doubt whether “number of recursive resolvers” is a valid proxy for “number of users using DNSSEC validation in practice” anymore.

In fact, I see a lot of people advocating for using centralized resolvers, and not even once have I seen a counter-argument in the form of DNSSEC validation being a problem.
It seems public feed isn't updating for an hour, maybe backend is down or rate-limited?

0: https://imgur.com/a/nwqUZHT
A related quip: "writing is nature's way of letting you know how sloppy your thinking is".

This generalizes beyond what's strictly though of as a "plan" (but if you squint enough may have some plan-like elements to it).

There are many forms of documents that we engineers produce and they serve different purposes at different times. And some of their uses may not be very effective in most cases, leading to wasting too much time in over-specifying a system that has not yet been built.

Yet, writing design documents / specs may be still useful despite the output not being useful. It's the act of writing it that yields most value.
Good News, 11th February 2023 – 17th February 2023
I'm on a nice White Star cruise from Southampton and it's 14th April 1912
A<something> is probably A52 or A72. These are the models from 2 years ago. A53/A73 from last year don't have headphone jack. And that's industry wide trend.
re: backspace etc. i've recently used dvorak+karabiner+goku on a mac to make homerow mod keys, based on gabriel-gardner's template. others have used QMK keyboards, or kmonad etc. on linux and windows
Well can’t you observe past behavior with great detail? How would that be soft?
I've never met anyone who just managed to lose lots of weight and maintain their healthy weight all by themselves. Combating obesity requires huge changes to one's lifestyle, with months or even years of feeling (slightly) hungry as a side effect. Very few people have such discipline.

It's not a measure of willing, it's about access to treatment that isn't a nice, quick, profitable pill that you end up hooked on.
Could use with examples of what exactly this is/does
Stupid question, but what are security updates in a smartphone context? Surely Android updates are the security updates? Wouldn't keeping this thing up to date with the latest version of Android be enough to be secure? Or am I running a horribly insecure life right now?
I just invite people to email me. It dramatically reduces how nuch effort I put into moderation. People do write, and the emails are far more thoughtful and personal.
Slack took great pains to make the client not be a memory and CPU hog.

Still better than Teams though. (Which is also in Electron.)
It’s the people who claims to see the emperor’s clothes who must be able to describe them. The people who think he’s naked can’t really describe the clothes they don’t see.
Voxeo/Aspect/Alvaria