skysight-inc/HackerNews huggingface dataset:
iOS to be specific. On android we have proper adblocking with uBlock origin. So much about apple and privacy.
All the device knows is that it trusts some root CAs and not others. You add your personal root CA to the trusted list; so it's trusted.

Unless the site uses some kind of certificate pinning (c.f. HPKP), one trusted root is as good as another.

This is how TLS inspection is done on corporate networks. IT will apply a group policy that puts a company-owned root certificate into the trusted roots on your Windows machine - maybe the same one that's used for the rest of your internal PKI.

You then issue a subordinate CA from that root, and your web proxy infrastructure (Bluecoat or whatever) then uses that CA to do just-in-time provisioning of certs for whatever domains you're intercepting.
>That aligns with the state of the art having a home in Europe around then.

Does it? Bigger doesn't mean more state of the art. Comcast isn't state of the art. Exxon isn't state of the art. Most big companies aren't Apple.

Moreover, the size of American companies is somewhat exaggerated cos of liquidity being pumped into the stock market.
Wait ... is it a bulshit notion, or real?
The frequency of emitted IR isn't what radars look for. (Microwave range generally)
I think the problem in Portugal is the opposite; the authoritarian regime was taken down in '74, but entirely too many people still have that mindset, even if they disagree on who should be the authority.
I felt the same way as you did, but eventually my wife decided we need a home and it turned out to be a good financial choice.

That being said you can buy a house right more at negative real interest rates. If your salary keeps up with inflation you will be making money on it
A point of a paradox can also be to invalidate the assumptions made. I mean, mathematicians are getting away with way too much nonsense by using diffucult words.

The hotel paradox is essentially equivalent to:

I can add a natural number to the set of all natural numbers which is not in the set allready.
The fewer moving parts bit is key.

It was a government project, written by one team (us) to be maintained by another.

The data that needed to be expunged was user signup data, upon completion the record was sent to a CRM and the Redis record destroyed. If the signup wasn't finished it's automatically removed after 12 hours.

Referential integrity wasn't really a problem, emails are unique and if we clash the two records are auto-merged by the CRM.

Setting up scheduled tasks, triggers, partitioning, cron, etc, is just more things that can go wrong. If they go wrong _and_ go unnoticed we end up with piles of data we shouldn't have. That would be many different kinds of bad.

Doing `redis.set(k, v, ex: 12.hours)` or whatever is just easier.
You sure about that ? Because at least in dogfights the 40 year old F16 seems to win..
https://arstechnica.com/information-technology/2015/07/disas...
Non-ACID databases are still databases. Everyone should use the right tool for the job, and ACID is not a requirement for every job.
My first impression: this is built using some premade template and a site-builder. I wouldn't trust this with connecting any of my Crypto wallets in any way, the website does not inspire trust (lots of stock images, no contact information, etc.).
I think it means they bought a set.
10x Your Cryptocurrency Investment via Crypto APIs
Every time I've played Risk, two things happened. First, a massive bloodbath over Australia. Second, a long slow slog to a dissatisfying end, where multiple players wind up pissed off, because the Australian ends up winning somehow.

The AU continent is just so easy to hold. With only one country to go through, you can amass a huge army in Siam and no one touches your continent all game.
>> even the 'merest' of mental models is also part of reality, right?

That's quite materialistic take - I think the jury is still out on whether mind is inseparable from material reality (even if we treat it only as an emergent phenomena)
How does the Korean government support music?
I dislike games where it’s just a system to win. Kinda defeats the purpose. No actual gamesmanship.
Quality of work too. Like one person may be going to a soul-crushing office job while another is doing something undoubtedly meaningful and enjoyable, if not also stressful.
In other words not many countries have functioning anti-corruption services and with enough money any regime can do and get anything they want.
SKIP LOCKED looks interesting; I'll have to try that. I've used advisory locks in the past, but I kept running into deadlocks when I tried to acquire them intelligently (just for popping off the queue). It was unclear why, at the time, so I just put an advisory lock on every transaction. Obviously that causes serious contention problems as the number of jobs and workers increase.
It's basically a flying naval mine with an active tracking mode.
-Similar story where I come from - Norwegian, Swedish and Danish are sufficiently similar that we can mostly understand each other without much effort, especially (my opinion) in writing - Danish pronunciation is far more challenging to grasp than Swedish, at least to my Norwegian ears.
It is logical, and that's the point. It's simply explaining various properties of infinite sets and techniques for doing operations on them that are provably correct.
>But you don't have the same party ruling in U.S. for several decades

It depends on what country you're talking about, but looking at which party is the biggest/who the prime minister is and summing it up as the "ruling party" is a gross oversimplification of the power dynamics in a parliamentary democracy. The power balance shifting between smaller parties can bring about huge effects on the government and the policies that are passed.
I run FVWM on my pinephone. I've had people ask how I use it while driving.
Nearly everything about smartphones is upsetting.
Given the well-known bias humans have against change - to be fair, there are good reason for this bias - I think it's important to give a design a good while of use before evaluating it against the predecessor, and only using objective criteria to evaluate the successor. Any form of 'it looks worse' is not useful.
Don't use Kafka as a queue.

(I haven't used Kafka for a while, if anything below is outdated let me know)

The main issue I've experienced was balancing work across consumers - if one consumer is slower than others (e.g. running on a machine with some other heavy workload). In such case when a larger number of jobs is enqueued and expected to process quickly it's possible that everything will complete except jobs which landed on the partition belonging to the slow consumer. There can be only one consumer per partition so others can't help.

One could consider using a single partition to avoid this imbalance but this means that there could be only a single consumer - not good.

In other queue systems consumers fetch up to N jobs from a shared pool when they need more work. This means that in the case of a slow consumer the lag is limited to by the time required to process N jobs.

This situation also arises if consumers are equally fast but some kinds of jobs are considerably slower. Random distribution across partitions mitigates it to a degree.

My case was precomputing caches after some event, the goal was to do this within 10 seconds. First implementation with Kafka worked but very often some consumer couldn't use as much CPU time as others and we didn't want dedicated nodes for this because this even was happening at most few times a day. As a result jobs from a single partition were processed 2x slower - we had to overprovision.

Replacing Kafka with a queue based on Redis solved this right away, all consumers were finishing at the same moment. Although it wasn't a large scale operation.

The second complaint about using Kafka as a job queue is not being able to modify the queue, e.g. to reorder jobs, postpone jobs or cancel jobs
gwebp can recursively convert images in the specified directory into webp of the same name. https://github.com/linehk/gwebp
No, the paradox is that there are the same number of even natural numbers and natural numbers, yet the former is a strict subset of the latter.
Attacks on diplomatic missions in developed countries are uncommon [1], and usually not connected with protests or rallies.

[1] https://en.wikipedia.org/wiki/List_of_attacks_on_diplomatic_...
That's the paradox! There are no empty rooms, and yet the hotel can accommodate arriving guests. Whether the hotel is full depends on your definition of "full". This is quite different from the finite hotel case.
Ask HN: How would you design a legacy-free OS?
If you could design an OS from scratch without having to take into consideration backwards compatibility or user-learned expectations of interface behavior, what would it look like?

Would we still use a desktop metaphor? Would we still have file paths? Etc.

Assume in this thought experiment 90%+ user adoption: other OSes would be too specialized for widespread use or would be vastly inferior. Also assume today's hardware/network technology (which makes this a little anachronistic because much of the hardware/network today has been influenced by OS design choices). This is sort of a remix/reboot what-if: What if you were back in the late 70's, early 80's and could set the table for how people used computers for the next 50 years (or more), what would it look like knowing what we know now about computer usage?
Other languages were deemed too big, especially in 2003 when Nix was started. Nix is a strict diet. Perhaps something else could be used, but I can assure you Nixpkgs would be a completely failed experiment drowning in its own complexity if there were side effects.

Also, I don't understand how people can say the semantics is fine but the syntax is challenging. Syntax is entirely superficial. And if you are having trouble reading the syntax, how can you be sure the semantics isn't challenging?

There are a lot of funny fixed points used in Nixpkgs and that is challenging to think about.
If you happen to have a VR headset and are looking to play around with the toys described in the article, I recommend VTOL VR. It has pretty low system requirements, and takes advantage of VR to create a virtual hotas (It is much more effective than you would expect). The physics simulation is, to my understanding, very good. And everything described in this article is present in the game to be played around with.

VTOL VR taught me about "Radar Notching". The article briefly mentions how radar can actively detect the doppler shift of targets. If you think about it, the doppler shift of the ground would be neutral, right? Or roughly the speed of the aircraft. So lets say you've been locked on by a fighter at high altitude and they've fired a radar seeker at you. Your backdrop is the ground, it can pick you out because you're moving so fast. So what you do is bank your aircraft to fly at a 90 degree angle to the oncoming missile. Now your doppler shift is the same as the ground and you blend in, the radar filters out the ground because of it's expected speed, which is now the relative speed you are moving. You get "notched out", and the missile will lose track.
From https://news.ycombinator.com/item?id=21823081

I wrote malloc.fth for Mitch Bradley's ForthMacs, which ended up in OpenFirmware:

https://github.com/openbios/openfirmware/blob/master/ofw/cor...

\ Forth dynamic storage managment.
\
\ By Don Hopkins, University of Maryland
\ Modified by Mitch Bradley, Bradley Forthware
\ Public Domain
\
\ First fit storage allocation of blocks of varying size.
\ Blocks are prefixed with a usage flag and a length count.
\ Free blocks are collapsed downwards during free-memory and while
\ searching during allocate-memory. Based on the algorithm described
\ in Knuth's _An_Introduction_To_Data_Structures_With_Applications_,
\ sections 5-6.2 and 5-6.3, pp. 501-511.

Forth systems running on C libraries can also call back to the native malloc/free implementation, but it's nice to have a pure FORTH implementation for embedded applications.
Where would you even find the fuel for the infinitely-long bus! Mathematicians must be idiots.
I wouldn't call someone who doesn't listen to doctors "a novice" in medicine, I'd call them a moron.
That’s exactly what it does.
You are wayyy overestimating how complex something like RabbitMQ or Redis is. You don’t need to hire entire teams of engineers or go bankrupt setting up an instance. It is less work than implementing a production-level queue in Postgres for sure.
Was there ever an explanation for why duckduck go prevented searching for the "tankman" image the other week? Google fixed it pretty fast but last I checked it's still blocked on duckduckgo.
I never understood why the `sizes` attribute has to be so complicated. Why do I have to decide on which image to choose based on the display size instead of it automatically choosing the best image based on the size the image is displayed as?

It makes it impossible to choose the "correct" image without using JS if the amount of space the image will take up of the viewport is determined in some relative manner (i.e. basically always).

For example, If I have a container with width: 10em, and then in there an image with width: 50%. I want to just e.g. specify 3 alternative images with widths 200px, 400px, 800px. The browser knows the exact pixel size the image will actually be, so why can't it just choose the best one? Why do I have to specify which one to use based on the viewport width instead of the actual image width? It's impossible to calculate that unless your image is a known fixed ratio of the viewport or by asking the layout engine for the computed width (with JS).

There's an answer about this being impossible by one of the spec authors here: https://stackoverflow.com/questions/38684928/correct-sizes-f... But it doesn't explain at all why it was done this way, I don't even know when I would ever prefer to specify the chosen image in the way the spec currently requires.
Not that everything needs to be made into a film, but i could see maybe a B movie with the title "The Luck Vampire" be mildly (or wildly) successful.

And the actor can only be one person :)
Criticism applies to all Linux containers, not just Docker, which is one implementation of Linux containers.

One could argue that zones are distinct from containers (a Linux implementation), with both being OS specific versions of jails.
And stealth space platforms.

There might already be stealth sats in orbit.

A curious case was the Zuma satelite [1].

Classified payload. Ostensibly failed to detach from the payload adapter, as claimed by anonymous sources... Lot's of speculation that this was a media charade to sow confusion about a stealth sat.

[1] https://en.wikipedia.org/wiki/Zuma_(satellite)
Mobile Air Conditioning Sucks
> that doesn’t apply

I did add an OR in the sentence you quote; exactly because of the example you shared and another on in support of the Palestinian cause held in front of a concert hall just before a Brazilian singer concert, that would go on tour to Israel after.

As for your second point, I totally agree with your point. My previous comment isn’t supposed to show any agreement with the episodes, but just a factual showing of what happened, and how this has been general malpractice rather than some shady intelligence underground operation.
The US gov didn't pump liquidity directly into the stock market: they reduced the cost of borrowing, which increased investment in basically everything, e.g., collectible baseball cards. My point is that investors bid up the price of European stocks as well as US stocks.
That point being made here is that infinity changes some pretty basic assumptions about how we think of things like "full" and "counting".
Check out Kodi plus the TubeCast add-on. I can cast stuff from the official YouTube app for Android into my Raspberry.
No, sounds like you’ve fallen for the spin. Not the other way around.
Well, if the hotel isn’t full then there must be a vacant room. But the first room is occupied, the second room is occupied, … If you can’t find a vacant room then the hotel must be full!
I did that vodka crust pie recipe when I was young and used every clear instead of vodka. Big mistake it ended up making a combustible mix in my oven and When I opened the door the sochometic ratio was just right and POOF.
Which cases? Is there mathematics of infinity that you're privy to that are unknown to mathematicians?

Also I disagree that thinking about infinity is useful when thinking about large numbers. That seems to me to be a fallacy. Any finite large number is inconsequential, and might as well be a 'small' number for any practical purposes, compared to any infinity.
Okay, but why? Redis is perfect for job queues and pub/sub. Use the right tool for the job.
Interesting take, I really like the 2x2 table that brings such clarity. Funnily, my mind immediately jumped to the question on how to convert the feedback loop types to a better one. Of course, the whole point of the article is that it is not always a good idea, but sometimes it may be, and even just being aware of the nature of the problem seems beneficial. Seems like a great addition to a mental model toolbox.

┌────┬────────────────┬──────────────────┐
│ │ Accurate │ Inaccurate │
├────┼────────────────┼──────────────────┤
│ │ │ │
│ │ │ │
│Fast│ Math test <-- Novice bowler │
│ │ │ │
│ │ ^ │ ^ │
├────┼───────|────────┼────────|─────────┤
│ │ | │ | │
│ │ │ │
│Slow│ Rocket launch <-- Stock picking │
│ │ │ │
│ │ │ │
└────┴────────────────┴──────────────────┘
Sure they do. Try searching a certain Frank Zappa song about "Yemenite holes" - its track listing has been removed.
Employees were never compensated for commutes which is usually far worse.
I mean if google had waited on starting gold. It was a time period before the dominance of LLVM but after doubts were growing about GNU tools; I am saying I am not at all surprised any tooling Google did from them would become abandonware.
It's also ikra in Romanian.
You had me at containers
This is a common problem I see a lot at my current job and the only advice I can give you is just say no. If you must use something akin to system() there are tools bash provides like:

printf -v quoted %q "$my_shell_crud"

Or

printf %s "${my_shell_crud@Q}"

This problem exists in other unfortunate and unlikely places like:

echo "some script" | at ...some time spec

If you don't want to use bash, the gnu awk info docs has a snippet that you can use in any awk I know of: https://www.gnu.org/software/gawk/manual/html_node/Shell-Quo...
All that's really needed is to add a Provisioning package to any normal usb install stick. Microsoft offers a UI based editor that allows you set the options you want as well as add scripts to be run.

https://docs.microsoft.com/en-us/windows/configuration/provi...
> a recent study found a physical cause for this - something about a genetic mutation that causes our sleep-signaling hormones to be created without the tails they usually have to navigate to the correct spots in the brain

I know someone who is currently going through the diagnosing phase, could you please link that study? Their GP mentioned that you could take medication to "work" through it in order to match societies "normal" times.

I don't know what a hormone "tail" means but if they have trouble navigating to the correct spots in the brain, how does it eventually find the correct spot? That reads to me like the hormone won't be able to navigate to the correct spot or it'll have trouble every time but from what I read those with DSPD do have a typical, consistent sleep time, it's just delayed (relative to the majority of people)
The esophagus of that kind of whale is too small for human to get through, and it's not a toothed whale so it can't really chew its food to make it fit. It only wants to eat things that it can swallow whole.

They are going to try to spit out anything they swallow that is bigger than their normal food. My guess would be that it surfaced because that means less water resistance when trying to shake the large non-food item out of its mouth.

It may have been aware that it was a human, but I have some doubts. If it saw that a human (or really anything larger than it can eat) was amidst the prey it was about to make an eating pass on I'd expect it to either wait for the large thing and prey to separate or would switch to a different target. It would only try to eat that prey if it didn't see the human.

When those whales start their eating run their eating apparatus expands to take in a lot of prey (they often eat schools of small prey). When it expands the whale can no longer see what is in front of it. Finding a human (or other large thing) in its mouth during/after a food run would come as a complete surprise to it. I doubt that its sense of feeling inside the mouth is sufficiently discerning to tell a human from any other similar sized animal or from an inanimate object.

It may be smart enough to reason that there were humans in the general area and that it didn't see any other large animals and that it was an area that it knew didn't have any large inanimate objects and so infer that the thing it got most likely is a human, but I'd expect at that point it is too busy thinking "THERE'S SOMETHING BIG IN MY MOUTH!" and "HOW THE HECK DO I GET RID OF THIS!!!". Reasoning about what it was would come after it deals with that.
A lot of words to explain away your racism.
I was pretty far down the road with a neurologist due to frequent migraines back in the day. Unrelated, I quit my job during that time. Suddenly, when using an LCD in a mostly naturally lit environment, instead of a CRT under fluorescent lights, my migraines completely vanished and haven’t come back once in a decade. Tada!
I think this is a fair point - if there's a one person to one room correlation, then moving people around isn't exposing any additional empty rooms.

It seems we're using the 'hey-everybody-move' as a buffer to accommodate new guests.

Two questions:

Is it ok to think because there's an infinite amount of moving, this buffer is infinitely large?

Why can't we tell guests to just keep moving to random rooms? Would that also solve the problem? If you say no - random moves don't work - then I would propose that some of those random moves would fall into the outcomes of Hilbert's formula. Is that not sufficient?
The F22 would probably be the one engaging F16s. Regardless if you are dogfighting in an F22 or F35 something else has gone wrong. The stealth planes sneak in and shoot enemy planes from far away.
Sounds like you’re playing with sloppy players
Shell's 'echo' and 'eval' have the same issue. They just dumbly concatenate their arguments with a space!

In https://www.oilshell.org, the simple_echo and simple_eval_builtin options make it so that echo and eval accept ONLY one argument. This means you have to use this style:

echo $x $y # illegal
echo "$x $y" # allowed since it's a single argument

write -- $x $y # legal and respect explicit separator

There's a separate "write" builtin that is more sane because we avoid changing the behavior of existing builtins, even when there is an option set.

This is also illegal when there's word splitting, but Oil doesn't have it (it turns on simple_word_eval [1] and simple_echo_builtin at the same time):

echo $x

This ssh behavior is probably of the same vintage. Since it's an external comand, the best we could do it wrap it with "myssh" or something similar, which doesn't have this pitfall.

[1] http://www.oilshell.org/blog/2021/04/simple-word-eval.html
I wrote a small utility that helps me to kickstart writing blog posts.

https://github.com/scriptnull/sblog

(Been saving me a few minutes ever since)
Which number are you adding? In the problem, you are adding 1 to the set, but it's already there, so you remove it by replacing it by adding 2, and n by n+1 for all n
Targeted ads are unethical and should be eliminated, the abuses are too obvious to enumerate. Prostitution and drugs have also enabled the existence of many small companies.