skysight-inc/HackerNews huggingface dataset:
I do in fact mention this idea in the article. In fact userfaultfd was added to the kernel so that CRIU and KVM live migration could implement exactly this.

Another cool project that does something like this is https://github.com/gamozolabs/chocolate_milk which is a fuzzing hypervisor kernel which can back a VM snapshot memory mapping over the network to only pull down the pages that the VM actually reads during the fuzz case.
Why use the same old pipe when you can make more jobs laying new ones?
> Allowing any version drift of dependencies at all means that if you don’t check in and restore using the package lock file, you cannot have reproducible builds.

This is the germane point in this incident.

The parent comment mentions that SemVer "guarantee[s] breaking changes are expressed through major versions". This is a common misperception about SemVer. That "guarantee" is purely hypothetical and doesn't apply to the real world where humans make mistakes.

The OP `is-promise` issue is an example of the real world intruding on this guarantee. The maintainers clearly didn't intend to break things but they did because everybody makes mistakes

Which points to the actual value proposition of SemVer: by obeying these rules, consumers of your package will know your _intention_ with a particular changeset. If the actual behavior of that changeset deviates from the SemVer guidelines (e.g. breaking behavior in a patch bump), then it's a bug and should be fixed accordingly.

Back to the parent's point about locking dependency version— I would add that you should also store a copy of your dependencies in a safe location that you control (aka vendoring) if anything serious depends upon your application being continually up and running.
Agreed, and anecdotally, we live in a very large US city and know our postman and our UPS delivery guy. It's been extremely helpful on more than one occasion, he even personally texted me when I wasn't home to say he could come by later. I always love chatting with them on the stoop.
My grandmother once sent a letter to my parents, where they lived at the time in Southland, a district of New Zealand. Unfortunately, Granny's writing was never the clearest, and the letter was directed ~20,000km out of its way to Scotland, despite having insufficient stamps. The posties in Scotland were unable to deliver it, unsurprisingly, but figured out the mistake and sent it ~20,000km back again, and it eventually reached my parents.
> Human labor is becoming increasingly unnecessary, with the key point here being increasingly.

How can you justify this statement given the relatively low unemployment numbers pre-Covid?

This sounds like the same refrain heard at least since the early 1900's: Productivity and automation will set us free! Redistribute capital and income!

On the more pessimistic end, some people have always roiled against labor-saving technology.

In either case, both are predicting some future where humans are less necessary. Funny how this never seems to happen.

There will always be short term pain from displaced workers, but in the long term we will always have a need for humans to work. Technology is a multiplier and supports human effort.
If you just pull things on demand, you're going to get a lot of round-trip-time penalties to page things in.

I think you should still be pushing the memory as fast as you can, but maybe you start the child while this is still in progress, and prioritize sending stuff the child asks for (reorder to send that stuff "next"), if you've not already sent it.
I don't know if you meant to suggest this article falls under "most articles criticizing him seem to be from people who haven't read anything he wrote.", it certainly gives the impression.

It should be noted that the author literally wrote a book about Feynman, so definitely would have read a ton of his work.
If you have those, you anyways have access to the messages via WhatsApp, right? Can't you simply export any chat you are interested in then?
> When these problem occur I call them bugs, and I call process of finding and fixing them debugging.

What do you find it has in common with the activities that we normally call debugging? For me debugging is characteristically about understanding how a system is behaving, essentially by bisecting: it's all about figuring out what should be the case at each point and identifying the point at which things start to go wrong. Whereas correcting a proof is very different: you immediately know where the problem is, and it's more about coming up with a new lemma or strategy - it's the same kind of activity as writing a new proof/program, whereas (traditional) debugging is very much a separate skill, IME.
The page states that CRIU requires kernel patches, but other sources say that the kernel code for CRIU is already in the mainline kernel. What's up with that?
Oh yeah I didn't mean to imply that the fringe group numbers are not published. There are a few groups who have published very high numbers. They are very fringe. For these big-science things you have to look at meta-analyses. An idea with a few publications should not be weighted evenly alongside one with thousands. That's my beef with the show.

The assumptions you have to believe to believe those numbers run into big trouble when you compare low natural background radiation areas with high background ones. For example, Ramsar, Iran has ~100 mSv/year background, compared to 3 mSv/yr in the USA. And Guarapari, Brazil has up to 30 mSv/yr. And smaller variations exist throughout the world. Yet we don't find statistically significant differences in cancer rates as a function of dose rate at any of these levels. So taking a dose rate far lower than these values, using a unjustifiably conservative dose-to-death conversion factor, and multiplying by large numbers of people is not a great method. This is what the UNSCEAR people came out and said in their recent reports. See section 3.1.f in the 2012 UNSCEAR report [1].

The UNSCEAR team also stopped saying their own 4000 and 9000 numbers because they also relied upon using the unjustifiable method of multiplying low doses by large populations too.

[1] https://www.unscear.org/docs/publications/2012/UNSCEAR_2012_...

EDIT: Adjusted dose rates in Iran below absolute peak (200 mSv/yr) via input in comment below. And correction section reference in UNSCEAR report
Women academics submitting fewer papers to journals during coronavirus
It depends on what you mean by "formal methods". Fully verifying code is fully correct is extremely expensive. Partially verifying code is somewhat correct is a lot less expensive. Verifying the _design_ you intend to code is less expensive than that, and is actually pretty economical. I wrote about this in-depth here: https://www.hillelwayne.com/post/why-dont-people-use-formal-...
It’s touched on at the very end, but this kind of work is somewhat similar to what the kernel needs to do on a fork or context switch, so you can really figure out what state you need to keep track of from there. Once you have that, scheduling one of these network processes isn’t really all that different than scheduling a normal process, except the of course syscalls on the remote machine will possibly go to a kernel that doesn’t know what to do with them.
See https://criu.org/Live_migration
Does anyone have any insight into why neural nets are used for the "blind" beamforming? I don't have first hand experience with machine learning, but this just doesn't seem to me like a machine learning type of problem. I get it's not trivial, but it seems like there should be an analytic solution - more or less
Interesting on your x470 experience. I bought a X470 Taichi U from Scan UK in early February, and the 3600 chip worked.

I was wary of the issue you raise, but lucked out, and figured the issues you talk of had washed through. Maybe the warehouse staff who boxed it looked at the order and gave me a recent unit.

What action could AMD take to improve the situation? I wanted to go to AMD because I expect to get strong upgrade options from it - certainly to a 3950x, and possibly further. But - a complication of that is that older motherboards need BIOS updates.

I am surprised at how slap-dash the motherboard is. It supports ECC ram - great. But BIOS configuration is a confused mess.
Sure, but a small CLI tool that adds and removes packages in these files would probably go a long way.
Haven't seen American Greed. Dirty Money is mostly terrible and fictional (I was involved in one of the stories, you had people on that program claiming they were involved who I have never heard of...Netflix docs are usually very sensationalist/inaccurate).

In other parts of the world, HK being a good example, this happens and can go undisclosed for a long period of time. But in the US, actual fraud is almost always discovered quickly, and there are no bigger whales who never get caught (the reason these frauds work is the difference between what you can get away with temporarily and the long-run...in the long-run, you won't get away with it). There are books (and now reports) on pretty much all the big frauds.

The exception to this are all the earnings management and reporting shenanigans (for example, choosing to close an acquisition on a certain date) or managers/bankers who list shitty companies constantly. None of this is illegal of course, it isn't damaging in itself but it is also not particularly ethical. Knowing about this is usually market knowledge i.e. following a company for a while, and seeing that the CEO is constantly changing strategy/lying, etc. This happens far more often than people think, and is almost never punished (in fact, these people are usually feted in society...they go after fame, they know how to claim reward and divert blame).
Why the US Navy once wanted to turn Wisconsin into the world's largest antenna
Is AMD now a better choice for Linux, especially given the ongoing stability problems with Intel's Linux graphics drivers?
mingthemerciless

i cant even explain it but

https://imgur.com/a/WszvRT5

just a front page that endlessly looped random static or animated images that had a perfect mix of absurd, funny, and oddly enough aesthetic qualities

these screenshots are of images that have to be over a decade old, maybe 12-15 years? i managed to grab them from waybackmachine which was crazy because never knew anything about the site and when it disappeared i would google around and couldn't find anything about it for years. low-key started to wonder if it was even real, if i was losing my mind, heh.

i miss sites like that which existed just to exist or whatever, there wasn't any (obvious) point or information, not really even something like a copyright notice. just someone armed with photoshop, font packs, flash, and a weird sense of humor and the resources to host it online
But that is value for whom? For the women who benefit. Not necessarily for the business itself, which is what this paper argues.
I'd suggest: Because creating a new branch just for a one-off look at some diffs seems kinda heavyweight, and because it requires several separate operations in order to do a single thing.
Nope as different frequencies propergate at different speeds.

However the initial greeting at start of the meeting would be good enough to cover that. Though some feedback and constant recalibration would be ideal and doable, That covers things like people entering the room and briefly changing the rooms acoustics with the door open briefly. Then somebody closes a blind and things like that, even somebody moving a coffee cup on the table would have (whilst small) an impact upon the acoustics. Though in that last instance, somebody moving a cap nearer a device would have a bigger impact upon that single source.

Though easiest way would be having a sound source on the main camera that did a simple frequency sweep - if you wanted to use a reference point sound source for calibration. You may even get away with single calibration then, though dynamic calibration and using the meeting itself to constantly recalibrate, whilst more effort, would give a better result.

But be interesting seeing this in action and how they handle aspects like that.

Indeed, thinking it thru you could have each device as it joins into the meeting do a calibration tone sweep that the other devices would pick up. That approach may well be better as you could get a more accurate map of all microphones in relation to each other that way. So initial login/join of the devices would handle that aspect nicely.
Yes, kids being bad influences on each other is sort of inherent in letting kids hang out with each other. This is one thing I don't hear much about when people talk about the advantages of 'free-range' parenting. I get that there are some possible character and problem solving advantages for some kids ( the 'stronger' ones ), but kids in groups without supervision have always been a breeding ground for bullies and outrageous peer pressure.
For me the weird parts jump out in the very first definitions. I'm not used to thinking of M, C, and K as "all possible messages, ciphertexts, and keys". It never occurred to me to work from those assumptions because that's a crazy huge space in my mind.

Plus the set notation threw me a little, e.g.: the cardinality of the set of all ciphertexts for key k in K is ... a number Nc. oookkaaayy.... pause ... ...60 minutes later .... OOOHHH got it!!! ... Same goes for the additive theorem, where suddenly the bit strings M and C become numbers that are added with k mod n --> First it's a message and now ... SHAZAM ... its big integer!

I know as an embedded analyst that RSA and ECC crypto spends a lot of time in bigint routines, but it is becoming clear WHY that is the case.

I realize this is all 101 stuff for people who know crypto, but I really want to learn it for real-reals, so I'm creeping through this book a little bit every day until my brain shuts down. It took me 30 minutes to convince myself of Example 2.6 wasn't perfect crypto: I know intuitively why, but applying the definition mathematically made me feel all of the rust in my brain from 30 years out of college.

I"m sure I'll hit more confusing set theory math, fortunately I have the internet.

Such a fun book!
It wouldn't be a technical discussion any more than a Solaris vs. Linux flamewar is a technical discussion, in my opinion.
Scenario A: 100 women, 100 men. 100 men go off to war, 10 men return. But with polygamy, 100 women have 100 children for the next generation.

Scenario B: 100 women, 100 men. 50 women and 50 men go off to war, 5 men and 5 women return. You have 55 women left in the population and 55 children for the next generation.

The limiting factor in human population growth is the number of women that can have children. The cold calculus might be distasteful, but it is there.
That's bs. I work for a big tech company, and do interviews for them as well. Most people went either to a state school, a normal university in another country, or a small liberal arts college. Very few big tech employees have degrees from the "elite" class of universities. The same is true for interviews, the vast majority of interviews are not given to the so-called "elite" class, and the new grads I've interviewed from said class are no better or worse on average than people who attended less prestigious schools.
> And it's well-known that the "bowling alley" visual of meeting participants (camera at the end of a long conference table) isn't ideal. If each participant has their own laptop camera on themselves, it could be a vastly better experience for remote participants.

My company pushes us to have any conference that will include remote people from our desks, even if some or most of the attendees are in the same physical local. It means that no audio is dropped bec of too much cross-talk and that all attendees are on the same footing. Only real issue is that we don’t automatically get headsets, you need to request/expense it.
> most sources that say this seem to draw it from the HBO series as if it were a documentary

That would be strange, because the series didn't show them die. And one of the epilogue screens said: "It has been widely reported that the three divers who drained the bubbler tanks died as a result of their heroic actions. In fact, all three survived after hospitalization. Two are still alive today."
> I saw talk from one guy who wanted to make the Nix package manager use commands that were more like in other package managers.
Did any of this happen?

Yep, that happened, at least somewhat. Most things that you would want to do that used to be argument soup with `nix-env` now uses a program just called `nix`. For example, searching is now just `nix search <query>` instead of whatever the `nix-env` incantation was
No, that's engineering. The battery is everything (most of the weight; large part of the cost). If the battery is even a little bigger than it needs to be, that's money out of their pocket (or less competitive prices).
Waiting for the lawyers to launch a class action lawsuit against the smart phone industry.
I use pip all the time in NixOS. I just run it in a nix-shell, and install from a requirements.txt when the Python package is not in the nix packages.
That confused me as well. Did you find it?

(And the chapter number ordering doesn't reset with sections, not a big deal, just odd)
This will probably be about as effective as requiring ID cards has been to combat underage drinking.
There should never be a company that runs for an extended period of time without proper financial audits. It is THE job of regulators to ensure appropriate audits. NMC Health IPO'd on 2012 and the fraud was found in 2019. Muddy Waters a private research firm was able to discover the fraud which puts into question the regulators here. One can't just simply push responsibility of audits on the "reward - risk" line to ordinary folk.
I wonder how much less wasted paper I would get if the cost went up 10x... I would hazard a guess that 95-98% of my mail is spam, and usually not for local businesses.
Slack wasn't competing with IRC. By the time Slack launched, IRC usage within companies was a very tiny slice of the market, mainly by very technical people. Slack was competing with Microsoft Lync, Google Talk, HipChat, Campfire, and the various other "IM for businesses" software products that were available in 2013.

Yes, Slack borrowed some of the better features from IRC, which helped drive its popularity, but very, very few companies that are currently paying for Slack would have considered IRC to be a reasonable alternative.
Ask HN: Tools to call REST API and export to CSV?
I've written my own in JavaScript, Python, PowerShell, and I've used Microsoft Power BI/Power Query, but they are slow, don't work well, require custom code, etc.

I need to:

1. call REST APIs (with Authorization HTTP header) and get JSON (arrays of objects), also parent-child endpoints (parent has IDs of child objects) -- nested loops

2. paginate using the Link HTTP response header, observe rate limits (HTTP response headers, to avoid 429 errors) and concurrency limits

3. (nice to have) select certain fields from the JSON object; also, data can be "L-shaped" (not every record has the same fields)

4. export to CSV

Open source, cross-platform would be good. Needs to be easy for not-very-technical end users to use.
Effects of Covid-19 on US Food System
> a pair of x470 Taichi's from Amazon last month

So, you bough the same board twice and expected different results, and then are painting all motherboards with that experience.

It's unsurprising that motherboards need microcode updates to work with newer CPUs. Intel CPUs also worked that way, except that 1) they only rarely support a socket for more than two generations anymore, and sometimes not even that, so you physically need a new motherboard to upgrade your CPU anyways, and 2) Intel CPUs haven't had any major architectural changes since 2016.
Less than being worried about the 'why', I'm just stating the facts. These studies usually collect information via anonymous surveys, and generally there's reason to believe that these surveys are reliable.

Saying "it just happens virtually now" doesn't change the results of the studies. We aren't measuring by listening to hallway conversations, we are measuring by directly asking teens "are you sexually active?", in a safe, anonymous environment.

http://recapp.etr.org/recapp/index.cfm?fuseaction=pages.Stat...
Thanks for your thorough reply, appreciated. I will keep it short though.

I can't speak for the German case, but I am sure about the Dutch one. However, if your demonstration is a threat to the public order ( health, traffic etc ) you are (criminally) responsible.

But this is always the case, demonstration or no demonstration.

So I will repeat, in NL there is no requirement to register your protest with the authorities.
Fedora Silverblue is something I'm keeping my eye on, as a way of getting some of the benefits of NixOS without any of the pain.
They faked the bots.

https://www.sfchronicle.com/business/article/Kiwibots-win-fa...

> The Kiwibots do not figure out their own routes. Instead, people in Colombia, the home country of Chavez and his two co-founders, plot “waypoints” for the bots to follow, sending them instructions every five to 10 seconds on where to go.

> On the ground in Berkeley, people also do a lot of robot support. Traveling at 1 to 1½ mph, the bots would take too long to chug to local restaurants, so Kiwi workers pick up the food at restaurants and take it via bikes or scooters to meeting spots around campus to insert into an insulated bag in the bots’ storage compartment.

> The average distance a robot covers for a delivery is about 200 meters (656 feet, or one-eighth of a mile) which makes them fall short of a “last-mile” solution.

This isn't real robot automation. It's just trying to shove the human worker out of sight, down the end of the road.
That’s a great idea. One of my thoughts was to “pre-heat” the process by executing a bit locally with side effects disabled to see what would get immediately accessed and send that first.

If your systems strictly match somehow (machine image with auto update disabled? or regularly hash and timestamp files on both systems) you can also cheat by mapping some of the files locally on the other side.
Universe Forecast
Flight cancellation insurance, for example. Personal car insurance in QC is cheaper partially because SAAQ is basically as co-insurer for the car incident disabilities. Some personal insurances are cheaper in QC. Commercial insurances most of the time is the over way around.
What's old is new again -- I'm pretty sure QNX could do this in the 1990s.

QNX had a really cool way of doing inter-process communication over the LAN that worked as if it were local. Used it in my first lab job in 2001. You might not find it on the web, though. The API references were all (thick!) dead trees.

Edit: Looks like QNX4 couldn't fork over the LAN. It had a separate "spawn()" call that could operate across nodes.

https://www.qnx.com/developers/docs/qnx_4.25_docs/qnx4/sysar...
Mind sharing the title of the book?
+1 for the The Art of Charm.
This was a great read as a huge fan of the Sunless series. For anyone that hasn't tried it - consider it!
This changes in a day, if the lockdown were lifted. The number of needed ventilators etc could grow 10X in no time.

Those numbers reflect a correct, working response. Sure the restrictions can be lifted, but carefully and balanced by changes in those stats.
All these scenarios seem to completely disregard the eventual availability of pharmacological treatment for the disease, which may improve (little or much, we'll see from the trials, no miracles though) the clinical management and thus the pressure on the hospitals.
As a young man, I spent some time in India. As an experiment one day, I wrote a postcard to my parents back in the UK, addressed in Devanagari script. In the message, I wrote something to the effect that it was intended as a challenge to the British postal service.

It was duly delivered to my parents in rural Sussex, with a pencilled note saying "the challenge has been met".