skysight-inc/HackerNews huggingface dataset:
Ada doesn't do safe dynamic memory deallocation, right? You'd need Ada.Unchecked_Deallocation.

That's fine in cases where you can statically define everything up front (which you can for many of the use cases that people use Ada for), but for a general-purpose OS kernel, it seems like you wouldn't get the level of safety or correctness from Ada that you would from either Rust or C++.

(Disclosure - I'm one of the authors of the prototype mentioned in the thread. I'd happily use Ada or Frama-C if I thought it would solve the problems needed for getting safe code into the Linux kernel, but it doesn't seem like they actually do.)
Straight from the heart! Only yesterday I rented my first ever item on YT. An English movie, found with an English search query.

"Based on my location" they gave me a French dubbed version of it. No alternative sound track, heck not even subtitles.

I live in Switzerland, we have 4 official languages. I speak one of them: German. Not a word French. The proposed solution: go to apple and ask for your money back. Very poor experience.

Do not even get me going on the "want to use Premium for a month"? I've declined that offer at least 48 times. Did not want it then, do not want it today. Really a pity since there is a lot of cool (not sponsored or monitized) content.
Are the audio embeds on that second site working for you? Can't get most of them to play.
The big ones in recent memory are the Apple Watch Series 0 (which got obsoleted unusually quickly) and the 2016 MacBook Pros w/ keyboard and screen flex issues (I keep mine almost-permanently plugged in so it hasn't been an issue for me, yet)
Just to keep things in perspective. More than 25% of New Yorkers have had COVID. As far as I know the recovered are mostly doing fine. I mean we don’t see hundreds of thousands going on disability.

https://newyork.cbslocal.com/2020/04/27/coronavirus-antibodi...
> But what does that mean?

It means that you are in the dying Salariat class.

“At the top are a plutocracy and an elite, earning rentier incomes and wielding enormous political power. Way below them, in income terms, is a salariat, a shrinking group with employment security and an extensive array of non-wage enterprise benefits such as pensions, paid holidays and medical leave.“ [1]

You write:

> I will also not work in fields growing crops, neither in a call center, not even in a software service company paying me meagre ₹35 lakh/a

Guy Standing’s got you:

“If you are in the precariat and become unemployed, and manage to obtain benefits, you face a marginal tax rate of over 80% in taking the sort of low-wage job you are likely to be offered. It may be over 100%. Then you are called rude names if you decline to take such jobs. No member of the salariat would get out of bed if faced by such tax rates, except perhaps to take to the streets to protest. But that is what politicians have forced on the precariat.“ [2]

Your comment makes sense and your view from this privileged position is common for the Salariat.

If you’re interested to explore further, I love Guy’s work in ‘Plunder of the Commons‘, as well as ‘The Corruption of Capitalism: Why Rentiers Thrive and Work Doesn’t Pay’. Looking at the future, the most compassionate vision I’ve found is described (separately) by Kevin Carson, Arthur Brock and Eric Harris-Braun. They describe an open source world through Commons-based peer production. Together with Holochain currencies (mutual credit and reputation currencies [Ceptr.org]), these things make me feel incredibly inspired and hopeful.

[1][2] https://www.weforum.org/agenda/2016/11/precariat-global-clas...
Agree with all.

"digital voting systems can be hacked, exploited, or otherwise..."

Paper mediated systems have visible failure modes. Missing ballots. Spoiled ballots. Etc.

Black box voting systems fail silently.
Catalogue of Symbols in Probability and Statistics
XGBoost JVM Package
Up from certain speed more noise is coming from wheels, not engine. Especially if there are defects in the pavement.
Edit: removing my comment because I was wrong. Turns out tire noise can be louder. Thanks to commenters below for correction!
> Furthermore, because it is self hosted there are several physical machines at different locations which serve as backups and are selected by updating the DNS records, which I believe is incompatible with a basic lets encrypt system.

There’s nothing incompatible. You just request and update certs on each machine separately, with certbot. No caddy or whatever new hotness of the year required.
Making project is a great way to learn stuff, so congrats!

I had a look at your crypto code, and the usual advice would be not to roll out your own crypto. Of course, since we are here to learn, that does not apply, so instead here are a few pointers on things you might want to learn about:

- authenticated encryption

- key derivation functions

- secure hash algorithms

I found this pretty good and pretty accessible https://www.crypto101.io/

Good learning!
FTFY:

> Whether it stays on the front page for a long time entirely depends on whether enough people find it interesting.

Most of the times, as soon as you submit something, it goes on the frontpage. It may quickly go down, yes.
no paywall: http://archive.is/zo83N
We've got Cargo wired up in our prototype, which can let you link modules against no_std crates on crates.io: https://github.com/fishinabarrel/linux-kernel-module-rust

Probably one good end state is if the core kernel exposes appropriate safe abstractions, and vendors with out-of-tree modules (which tend to be worse at security than the main kernel) could use those APIs + things from crates.io to build their modules.

But yes, figuring out how to use useful things that aren't in libcore is one of the open questions.
I think you'd have to pay extra to buy a laptop without an integrated camera and microphone, not to mention there likely being no options that are also actually high performance laptops.

Yeah, not ideal.
This will be revolutionary if it is deployable at scale. One thing I have learnt over the years is to avoid apartments which have any windows towards the road.
If they're globals, then yes you should. Having dangling pointers anywhere, even in supposedly unused areas, tends to come back and bite you.

For locals, why bother? The optimizer will probably discard the writes, and worrying about stack addresses being reused is a waste of mental space and clutters the code.
It’s porentially even harder than this. Not only do we have two ears, our ears are shaped to help determine where sounds are coming from, and we make constant movements to further help process audio. I remember years ago I played an FPS capture the flag type game with headphones, and, not everyone knows this, but the math works out that the same sound could come from in front or behind, so I developed a strong tendency to make small mouse movements rotating left and right to help me identify where footsteps were coming from. I didn’t even know I was doing it until I talked to an audio engineer who mentioned this problem, and next time I played, I realized how much I relied on it to avoid getting blindsided.
"Guys, unless you are hot don't waste your time on any Internet dating site."

There, FTFY.
I have no idea what recipe you used to boil my comment but I wrote it like I meant it, so address it like that.

For one I meant that the gestures are literally cheap: it costs almost nothing to send a tweet or invent some guidelines.

They're also empty because they don't have any effect in the real world.
Mobile devices have insane potential, but we are essentially stuck with Google's design choice monopolies, rendering the OS consumer-friendly but a terrible experience for power users.

What's worse, there is no viable alternative to it, though some tries have been made.

The default Android phone comes with loads of bloated and useless apps that spy on you. Unlocking bootloader, installing a custom ROM, installing all your favorite apps is a long and painful process (some vendors take weeks to approve your unlock request).

All of these, in the name of a platform which is'open-source'.
And Warren, whom I specifically mentioned, is the only one of those with both the right political office and sufficient motivation to see through doing something about it.

Sanders hasn't gotten anything meaningful done as a legislator for pretty much his whole career and Biden at this point will say anything that his handlers put in front of him.

As for your comment about it being in their narrative, don't forget: https://theintercept.com/2016/04/22/googles-remarkably-close...
"Googler" is not an arbitrary or subjective label. It refers to people who work at google.
This is what unconcious bias is in action, I guess. Statement was likely not intended to be harmful, rather to sound witty when making a point - but it is indeed offending if you think about the problem of age discrimination (especially in the tech industry).
"You either die a hero, or you live long enough to see yourself become the villain." Being in the good graces of the left isn't something you can count on. The fact that you got rich by making products people want and need and made peoples' live better is something that will be forgotten as soon as its politically convenient. Given which way the winds are blowing, "Big Tech" isn't making a mistake by trying to make some "right-leaning" friends.
Docker.

I use it and love it every day in both dev and prod, but I also really kind of hate it.

I'll keep my complaints short.

There should not be a system-wide daemon. (Or any daemon).

It should not require root at all (no setuid either).

From outside the container, the container and its processes should be a single process (with threads). (Like glueing a bunch of processes together.)

The containers should be nest-able to arbitrary depth without performance loss (at least to say, hundreds of nestings deep.)

Docker-compose should not exist, instead it should be replaced by nesting of containers.

Basically, I think it needs to follow the UNIX philosophy better by providing simple abstractions that can be combined easily. The containers would visually look a bit more like an old virtual machine (single process) than our current containers.

These changes probably require a bunch of kernel hacking, but I think it would be worth it long-term for a cleaner architecture.

It appears there are some movements into this direction thanks to podman, but it's really not there yet, especially with nesting.

Also, it wouldn't really be a product at all but just a built-in tool on Linux systems.
This is admittedly a bit of a movie plot threat, but could an evil maid attack rewire this, then later malware takes advantage of the rewiring?

IMHO layers of security are good.

On my end I worry about the risks of constantly just leaving my Mac, which has filevault enabled, simply protected by a screensaver. Is that less secure than if I put it to sleep? And presumably turning it off completely is safest?

How do I make informed choices about how much "locking" to do when I step away?

These are all things I think about reading an article like this, and I'd love to hear other's thoughts.
... and working hard to release the new version. Hearing the fuzzer buzzing as we speak...
I don't think this has much to do with imposter syndrome. A person who can scale their knowledge across an organization is simply a more valuable employee than an equally-skilled person whose knowledge is mostly not shared.
Rackspace files for IPO, disclosing slow revenue growth and $4B in debt
What is your Mac Mini specs right now if you don’t mind me asking
How do neckties cause deaths?
The question is will President Biden act on anything that his handlers put in front of him.
German welfare. Rent (~45-50sqm, but larger flats for a single person aren't uncommon) and utilities etc are paid, and you get 350-430€ a month for food + whatever you want to spend it on.
What do you think of the keyboard? I'm still lovingly holding on to my 2015 MBP which has keys that actually travel. For context, the last new Mac keyboard I tried was the butterfly variant.
And if you got good grades, then the system wasn't testing whether you understood it - Bad news.

But it's good news that you were able to understand once he drew the picture for you. So there is an effective way to teach that theorem - If only the professor knew it.
No, the paper is a list of brain illnesses observed in a small group of patients who were also found to have covid.

The paper makes no attempt to draw a causative link between covid and the cited illnesses, nor could it, with a sample of less than 50.

Rare illnesses happen. Sometimes, they will happen in people with covid. Jumping to the conclusion that Y happened after X, therefore X caused Y, is the post hoc fallacy.

This is the paper being discussed by the article, and underscores the degree to which reporting on this subject has left rationality and science behind.
Airplanes can crash sometimes. The result is horrible. Usually all lives lost.

But we still fly. Why?

It all comes down to the numbers. The crashes are rare.

What are the numbers here?
I wish I could force the Workday CEO to fill out expense reports 8 hours a day using his own software.

I bet the software would improve pretty quick.
I like pass, and I use it. But, I don't actually use GPG/PGP otherwise, and trying to manage your passwords then gets you into managing a PGP key as well, a hassle I don't really want out of a password manager.
I'm not a scientist, it was just easier once I got used to it. Also I don't like heat and in Kelvin my main argument in support of this (what should be entirely a personal matter of taste but it's fun to argue about matters of personal taste like which is the best movie) is more obvious than in a system like Celsius with an arbitrary zero.

The coldest it is possible for anything to be is 0K. That is indeed too cold, but only about 280K less than the inside of my refrigerator or a glass of Coke. You can wear gloves to (carefully) handle something at almost zero and colder is not possible.

On the other hand things get way hotter, there is an essentially unlimited amount too hot that things might be. Boiling water is too hot (not even 400K), a pizza oven is even hotter (700K plus for a good one) but lava is much hotter than that, yet lava is a naturally occurring substance, it's just right there in our environment whereas there's no chance of stumbling onto anything at 0K.
It’s philosophical/logical jargon referring to whether one event causes another:

https://en.m.wikipedia.org/wiki/Necessity_and_sufficiency

You’re rightly confused because the GP formulated a non-sequitur. Embodiment is if anything a necessary, but not sufficient condition for the human brain to develop intelligence. It’s not a sufficient condition on its own for general intelligence; cats are embodied too.
The question is how trustworthy you consider the guy who made termux. And if you would trust them to have full power over your operating system. I prefer more popular and proven providers like Debian.

With rooting it is similar. You usually give full control over your machine to "someone from the internet" who provides you with the root mechanism.
The flaw in your argument is the grand canyon between "pointing out an unfortunate or unpleasant fact" and putting down an entire country's "culture".

I don't know what you mean by political expediency but it doesn't sound like something the moderation job is replete with.
"Not invented here" isn't a big issue with automakers, unless you're talking about Tesla. Most automakers license core technology (i.e., engine, chassis designs, etc.) from other companies. Many of them license technology from their competitors or even co-develop their tech. The primary driver is cost. They couldn't care less who developed the tech if it saves them enough money (or brings in more money, if it's a saleable feature).

Tesla is the only company that insists on reinventing everything from scratch, even at the cost of grossly overpaying.
Haha, my latest one in progress is https://airlinelist.com
Until about the early 1980s, it exclusively referred to benign or prankish tinkering. It started to drift increasingly toward the prankish end, and then to the nefarious. Most early computer hacking—in the illegal sense—was also fairly benign (I wardialed my area and broke into the local supermarket computers to teach myself Unix and C). From the 90s on, its primary use (especially in the mainstream) has referred to illegal activity, whether gray- or black-hat. There was a concerted effort in the 80s and early 90s to use "cracking" for the illegal activities, but it never caught on.
It wouldn't surprise me if this is coming from one or some of the people who walked off the job because of the immigrant children's bedding controversy.

They do seem pricey, but there are industrial cabinets that aren't so far off in price. Here is one from a completely unrelated company: https://www.cleyn.ca/Extra-Heavy-Duty-Stainless-Steel-Cabine...

I don't know what an additional $5,000 - $10,000 will get you, but I'm assuming some premium components, probably fire proofing, higher internal volume (capacity), etc.

Reading that initial Reddit post reminded me of when I discovered the difference in price between home office desks and the kind one buys for corporate use. And they also invariably came with themed names (maybe not girl's names, but just the same).
Evolutionary Computing for Infrastructure Design
I assume that people who find git extremely difficult are unwilling or incapable of learning the internal data model. I think if you want to have distributed source control, there is a minimal complexity that exists. I also previously used cvs, svn, and perforce, so maybe that affects my opinions; I strongly believe git is a huge improvement over all of the aforementioned.

Note I think git could definitely be easier to use, and the reuse of eg checkout to switch branches and revert a dirty file to either staging or the most recent commit is a bit strange. But calling it uniquely bad is silly, imo obviously.

For working software engineers, I both think -- and recommend to juniors -- they must invest the effort to learn an editor, git, and at least one language + toolkit deeply.
I've never had problems with git "not mapping" to my mental model of what I'm doing, so maybe you could help expand on what that means. But I've run into two categories of people that struggle with git

Novice developers that just haven't taken the time to learn more than three basic git commands. Their lack of knowledge is the problem 99.9% of the time, but they don't know enough to know they are the limitation, and they blame the tool instead

Old developers that come with a mental model of another VCS and either cannot or will not change their mental model and continue to be frustrated that they weren't consulted when git was designed

A third category may exist, but I have not met these people IRL
The earth is not flat. Smoking causes cancer. Global warming is happening and is man made. The problem with relativism is that it gives a justification to someone who says these statements are false.
Git, like UNIX is a Hole Hawg.

https://steve-parker.org/articles/others/stephenson/holehawg...
Exploring Trust Relationships Through Global Scale SPF Mining
I'm sure people in the UK are doing launches, but it's illegal for them to transmit when flying in UK airspace.

In reality, it's an almost unenforcable law to begin with. Most of the WSPR transmissions are on the order of 10mW (probably similar to the Bluetooth output of your cell phone). It's not unusual for these transmissions to be heard several thousand miles away, which is quite amazing!
Given the opposing positions that he still firmly holds with regard to prisons and drug crime legislation (mostly that he championed), signs point to no.
Sure, so, what is the actual relationship you see between C++ and Rust?

It sounds like you're arguing that idiomatic Rust looks alien compared to C, which I'd agree with - I'd also argue it's alien compared to C++. But I assume you disagree with that?
One huge difference is that iOS has a very rich tablet app ecosystem while Android doesn’t.
OP here -- that is a fantastic anecdote!

Do you have an example of a "drawing" of a theorem, in this context? (I've seen these for fairly trivial theorems but not for more complex ones, so I'm curious.)
> "For basically all of history, using reason would get you killed."

Relevant to this is the analogy by Phil Goetz of reason as a memetic immune disorder [1]:

> The reason I bring this up is that intelligent people sometimes do things more stupid than stupid people are capable of. There are a variety of reasons for this; but one has to do with the fact that all cultures have dangerous memes circulating in them, and cultural antibodies to those memes. The trouble is that these antibodies are not logical. On the contrary; these antibodies are often highly illogical. They are the blind spots that let us live with a dangerous meme without being impelled to action by it.

> A little reason can be a dangerous thing. The landscape of rationality is not smooth; there is no guarantee that removing one false belief will improve your reasoning instead of degrading it. Sometimes, reason lets us see the dangerous aspects of our memes, but not the blind spots that protect us from them. Sometimes, it lets us see the blind spots, but not the dangerous memes. Either of these ways, reason can lead an individual to be unbalanced, no longer adapted to their memetic environment, and free to follow previously-dormant memes through to their logical conclusions.

[1] https://www.lesswrong.com/posts/aHaqgTNnFzD7NGLMx/reason-as-...
Xcode simulator already runs ios*ipad apps on Intel Macs.

It will be interesting to see how Apple presents iOS apps on the ARM Macs. IE how discoverable they will be, not just how useful. Will I get all my compatible iOS apps automatically installed when I login with my iCloud ID? Will there be a Launcher style window for them, or widgets style overlay?
This reminded me of a previous discussion at https://news.ycombinator.com/item?id=22011251 that might be useful to you.

(and FWIW - currently my approach is to require that each environment is config-identical, allowing simple source control to provide the solution - but I appreciate that's probably a property that's very hard to maintain in many environments)
Airplane crashes are not contagious.
Both -- Google the hospital patient studies on how it can impact blood vessels in lungs and elsewhere as it progresses. That kind of surprise is taking awhile to understand, which is the broader point here, and 'not just the flu'.
Combustion engine is only louder below about 35 mph.

https://en.wikipedia.org/wiki/Roadway_noise

"...rolling tires driving on pavement is found to be the biggest contributor of highway noise which increases with higher vehicle speeds."
Develop an Eye for Good Design
Not all decision making is rational.

If you are in the jungle and a lion comes at you, you will not have time to sit down and think what to do, and your brain is prepared to act in those situations as well.
New York times has done a great job moving into the web with teams dedicated to making beautiful interactive charts and graphs. That's what sets them apart for me. Even their coronavirus dashboard, which you can find anywhere, is much more elegant than on other websites.
I Designed a Language Which Let's You Program in Cats' Language
This is true of lots of retail, including clothing too. And many of these companies take on a lot of debt because the cash flows mistakingly seem predictable and stable. Until they’re not.

The best bet for many of these types of firms is to improve processes and systems to shorten the cycle time. (Think lean manufacturing like Toyota)
Unveiling the Mystery of Sync