skysight-inc/HackerNews huggingface dataset:
People with health insurance in the US typically get it through their employers. If you get sick enough to miss work for extended periods of time, you get fired.

People will say “that doesn’t happen!” Happens all the time. Or they’ll say “but COBRA!” Sure. And without a job, you’ll be making those large premium payments.... how?
A few things I have done or are in progress: Changing my preferred technology stack from debian(linux)/java/scala to openbsd/rust, and adding sqlite to my postgresql use. I'm becoming (I think) a better husband & person generally than I used to be (life is about learning, in part).

And a big, very hard one: learning to live (and be a better person) happily and with (a new kind of) balance with Chronic Fatigue Syndrome -- big enforced lifestyle changes there. (Very hopefully I will learn all the lessons I should--if not it would be a major lost opportunity.) My doctor (world-class specialist) says they see a lot of suicides in the field (though to be clear, that is not a plan, threat, nor persistent thought of mine). Life is challenging and good, and I am grateful for very many things.

Edits: My learning style seems generally like sheer persistence, with specifics depending on the subject, often finding the basic/intro materials and working them into my daily/weekly routine somewhere, maybe a few relaxing intro videos or articles on a subject while resting.

Also Esperanto, and improving my limited Russian, with some Soviet movies with English subtitles, and reading the side-by-side text of the Book of Mormon in Russ. & English (it has the Russ. accents marked, to reduce the need to look up words--there is no rule for emphasis like there is in Spanish or Esperanto); the AnkiDroid app helps a lot. I learned to ride a unicycle after 40, not to a high level, but it was still a thrill--every time I could just get on and go down the street was a rush. A talented nephew ignored my "experienced" advice and learned unicycling much faster and better than I, on a 26-inch wheel even. (As you'd guess, there are some people on youtube with amazing skills, like "mountain unicycling" or freewheeling (no pedals) fast downhill.)

For education: If someone is seeking economical, high-quality, online university education (from start to Master's), BYU Pathway Worldwide and/or Western Governors University are impressive options, even if one needs to, for example, learn English and/or study skills in an inexpensive intro program. I and others have commented more about them in prior discussions, w/ more info in wikipedia.

And there are so many more things to learn in the future. I'd love to have some good musical improvisation & sightreading skills; wow.
If Facebook tomorrow banned all LGBT content, the correct recourse to that is legislation (or voting with your feet/clicks), not some fallacious conflation of a company's right to moderate their private social platform and a user's right of free speech.
Google Fuchsia comes to mind.
When everyone was praising the billionaire who paid for the student loans of that graduating class a few years ago (who by the way is under investigation for tax evasion), I raised the point that this might not be seen as fair by everyone and I was immediately criticized by some friends. I cautioned that it's fine for a private individual to do whatever he wants, but watch out if you apply this some day to the government.

Imagine how you would feel if you were from a family that had scrimped and saved to send you to college, you worked night jobs, etc. Only to find that at the end everyone else who had taken out loans had them forgiven (basically). What incentive is there to sacrifice or think ahead if this is what will happen at the end? I was panned for thinking such selfish thoughts at the act of someone so generous.

I think it would be more reasonable to give every student a $ gift at that point.

Watch out, mind you, if our government gets into the business of doing this. You'd better double check whether you think it's an absolute good thing.

When you pay someone's debts, you assume some participation into the choices they've made, or some small tacit approval of their choices. And when you forgive debt, it implicitly chooses some people over others. People who made what can objectively be called responsible choices to save and not take out debt will not be happy with what those who are less responsible receive.

Are we only going to do this for current students? Are we going to do this for every student to come? What happens when a person knows that whatever debt they take out will be forgiven?

Think to the unintended consequences of what you thought were just good intentions. If your level of logic is "what could be so wrong about helping people get out of hardship", then maybe you shouldn't be in the business of administering / making economic policy...
Objection: Assess security posture of iOS and Android apps without jailbreak
But it should not matter how secure chatting software is. This sort of stuff should be on offline VPM, separated from normal internet. If officials are using their personal devices for this....
As a bloc, I don't think EU had much of a choice. US had them on tight leash until DJT came through and force thenm to consider protecting themselves.

To think DJT has woken up the EU from their decades long slumber is incredible.
Speaking as one of the few people who has no difficulty saving (to the extent I bought my first home without needing a mortgage), I have observed that there is a lot more going on than the occasional expensive item like an iPhone. Normal people buy a lot more of everything — eating out, holidays, films, clothes, subscriptions, everything — and do so continuously, not just on special occasions. I don’t know why I’m different in this regard, only that I am.

Still, if everyone engaged with the economy the way I do, the economy as we know it would collapse. I feel that my luck is simply in being different rather than anything else.
Are we supposed to pretend it's the only thing that determines our governs our day to day lives?
Redirector, Keyboard and Foxes
You’re correct that probability still works in a hypothesized deterministic universe. It’s a point that’s often too often forgotten, causing discussions to go down unnecessary rabbit holes debating foundations of quantum mechanics when discussing the roll of a six sided die.

Statisticians and mathematicians have gone very far down the path you’re discussing, and you might be interested in some sets of axioms that have come up around probability and relaxations of true/false logic.

The Kolmogorov axioms [0] are the “standard” probability axioms, and are phrased in terms of set theory and measure theory (not requiring any mention of physics or a physical universe!).

There are other ways to quantify degree of belief, however, and they are very interesting. Apparently Cox’s theorem [1] justifies a popular probability framework for Bayesians. But there are many more interesting ways to do degree of belief, like Dempster-Schafer theory [2], which I understand to be a plausibility calculus.

Everybody seems to find a single system and decide it’s the only one out there,

[0] https://en.wikipedia.org/wiki/Probability_axioms

[1] https://en.wikipedia.org/wiki/Cox's_theorem

[2] https://en.wikipedia.org/wiki/Dempster%E2%80%93Shafer_theory
Show HN: WhatFeatures – Get rewarded for providing feedback on new features
Here's the original paper [0]. The thesis is that language ability is better predictor of coding ability than numerical ability. The problem here—as in so many psychology studies—is that you need to substitute "____ ability" with "performance on a test that is designed by psychologists to measure ____ ability, but probably measures test-taking ability instead."

More specifically, they found that their language test (MLAT) is a better predictor of their coding test (Codecademy) than their numeracy test (Abbreviated Numeracy Scale). But there needs to be some argument as to why this isn't just a relic of the test formats, and I am not seeing it.

After looking at some sample questions from each [1], [2], the MLAT questions simply look more like Codecademy questions than ANS questions. We've learned something about the relationship between these tests but I'm not convinced we've learned anything about language, math, coding, or their relation to cognition. You might disagree, and I'd be interested to hear opposing points of view. I encourage you to take a look at the tests yourself.

I should mention that I am not interested in gatekeeping, or saying that people who find math difficult shouldn't do CS. I was a bad math student in high school, and I would probably get a bad score on all these tests (not that I would take them without a gun to my head). I'm now happily employed as a data scientist. On the contrary, I think that if we are going to say "people like this are good at coding," regardless of what this is, our evidence should be more solid than this study.

[0] https://www.nature.com/articles/s41598-020-60661-8

[1] http://lltf.net/mlat-sample-items/

[2] https://onlinelibrary.wiley.com/doi/10.1002/bdm.1751
One needs only a tiny bit of space curvature to get a space where a convex octagon with four right angles exists.

One could draw one on the surface of a sphere, for example, just as one can draw a triangle with three right angles (https://www.quora.com/How-can-I-draw-a-triangle-with-three-9...)
Deep Frozen Arctic Microbes Are Waking Up
Macron prepares “global security” law banning the filming of French police
Yes. https://github.com/rqlite/rqlite
Maker of Cold Turkey here. I'm humbled to see it mentioned here :)

For people that want to get locked into one app for set period of time (or a few apps, in the pro version), check out Micromanager:
https://getcoldturkey.com/micromanager/
> Would you consider someone a 10x engineer if they can crank out a super-fancy backend service in 1 weekend that nobody wants to pay for or actually use?

They would perhaps be a 9x engineer, but that's still fine.

I don't think a 10x engineer, like most people, would want to be "optimized" at all costs.

And since you mentioned "1 weekend", I think that says it all. It's their spare time, and if they want to use it for coding, then that's their choice.
You’re absolutely right, and the interesting thing is going to be how many people recognize their own personal preferences past their current circumstances, and make changes to optimize that.

In my case, I had a small apartment within walking distance of $WORK. The office at $WORK was ... ok. Not as bland as the finance office I used to work at in Chicago, but a bit cramped and poorly provisioned on things like coffee. On the immediate benefits front, working from the office would be an obvious choice for me, even if it’s not the best office I’ve ever worked from. But we decided that we loved WFH so much that we left the city and bought a good sized house in a less populated area. We each now have our own office that we can customize to our hearts desire. Oh, and our COL dropped, a lot.

The other bit that you didn’t mention, and that is intimately connect to my story is the factor of cities. As of last year (who knows how this will change) most software jobs were in large cities. If you happen to enjoy living in cities, this is really good news for you, but for everyone else this creates a tough series of trade offs between preferred living arrangements and career needs. In retrospect it’s fairly clear that we lived in Cities purely for the career advancement reasons; we didn’t enjoy the noise nor did we take advantage of the culture opportunities (food, drink, etc.) that cities offered. All we got in exchange was higher wages, smaller and more expensive housing, and longer commutes to the activities we preferred to do. This new arrangement suits us much better in retrospect, even if we didn’t come to that conclusion in say 2019.
Same thing as you -- reading, looking at art, taking photos. The trick seems to be that it's easier to start up the "creative" part of my brain by engaging with work other people have done than trying to jump right in and create something myself.
I suppose one could imagine something related to dataflow architectures, for example. But history still suggests betting on something that is an offshoot/evolution of basically all the mainstream operating systems we have today rather than a radical ground-up rethink.
As long as he stuck to only characters that were later deemed to be ASCII it could still considered to be ASCII art.
I don't trust VPNs based in the United States. Here's why you shouldn't either
Maybe report it to the TinyCore Linux team then?

There's absolutely nothing HN can do about it.
Yeah that's what I mean, people are making themselves beholden to the whims of Apple, and I think it's just ridiculous.
Sensory deprivation. It works.

Basically, reduce all forms of stimulus and let your mind space-out without any intention.
Donald Trump Nominates Crypto Supporter to Serve as Comptroller of Currency
How many images are there in total? It looks like the images are generated from smaller parts that are downloaded separately.

Perhaps you can download all the parts in hidden images and combine them on demand. Also, perhaps you can render the images in a hidden canvas while the user is selecting the previous pair of images, so when the user makes a click the change has no pause.
I can see how an API like this would be a great fit for some no code solution integration. Certainly bad idea in some situations, but let's not be too quick to judge the usefulness of the project.
Simulations suggest geoengineering would not stop global warming
Apple Silicon – A Long Game, Changing the Game
While I don't mean this unkindly, it appears to be a combination of "web" and "rupt" which immediately puts me in mind of of the words "bankrupt" and "abrupt" as well as other words containing or ending in "rupt", most of which have slightly negative connotations stemming from its Latin origin meaning "to break".
After reading your comment I expected to see low to mediocre activity on their repository... however, 15.1k stars seems to indicate that many do think it's a good idea.

I know GitHub stars are not a measure of whether something is a good idea or not - but why do you think so many have positively engaged with it?
Let's Talk about Money
Ant Group moving towards being a SaaS company
German here, you're right. The biggest part of the problem is that historically there are only three superpowers in the EU - France, UK and Germany. The UK is gone off the rails, the French can't pick up the slack for everyone else alone and us Germans are (out of very valid historical concern) extremely wary of pulling our weight on the international stage.

Add to this that the EU is corrosively fractured, nowhere near as coherent as the US. We're no match, hell (thanks to the Brits) the EU doesn't even have a Foreign Minister, and the effective veto power of even a super tiny nation doesn't make it any easier.
Sheesh.

Well, sure. But even beginning to prove anything like this would be an extraordinarily expensive trial itself: what are you going to do, repeat trials for 100 substances in mice to see if you get a better alignment with later human results across potential substances than you do with current practices?

So instead, we talk about it, consider imperfect arguments, and do experiments that are somewhat silly until we start to become convinced that we've likely spotted some of the causal factors. That's what convinces us to eventually do the work that will show it.
Smoking cannabis legally
Lockheed, U.S. government offer to sell 40 F-35As to Swiss air force
Yeah, this was what it sounded like to me as well - not even trying to be snarky.
I agree with you that it's not obvious that Lean is the only or best option for formalizing "all" or at least most of mathematics. But I didn't get the impression that Kevin thinks that it's the best tool imaginable but rather the best tool that is currently available.

But that wasn't the point: He's right in that constructive/intuitionistic mathematics is so niche that it can be safely ignored when discussing formalization of the mathematics he and almost every other mathematician or scientist is interested in.

Kevin gets attention because he's an accomplished mathematician who tries to formalize his work, or at least what it's based on. I find it ridiculous to dismiss his opinion the way you do.
My kids are now in a bad public school.

The good news is that the public school is very instructive - my kids are 'rebeling' against the seven deadly sins they are seeing there.
That game isn't even modern anymore. It came out for the PS3 era. We're getting old fam
Reading this I'm glad I'm working on Fedora.: one git per package, one tool to rule them all (fedpkg), one tool to sync them all locally (grokmirror), (relatively) easy global changes through proven packagers who can ask for mass changes before each release.
I don't know how I would do it if I had to deal with svn, mercurial or no scm at all. I understand the want of being decentralized but this is being done at the maintainers expense, who are often already stretched thing.
Maybe part of that with age is simply that we are learning better to distinguish what has more worth, from the passing ephemera.
The fact that you pose this question admits the political nature of these cultural conflicts. There are multiple avenues of resolution, some which involve government, some don't. We're all welcome to have differing opinions on how to deal with them, even if we can come to agreement on common values.
That happens all the time with ordinals.
Apple should spec an ECC configuration for their M1 MacBook Pros. They currently want $200 for an extra 8GB on their M1 Air and 13" Pro. I'd gladly upgrade to the Pro and pay that $200 for an extra 8GB if the 16GB was ECC. That'd be $1499 for a 13" Pro. ECC would be the tipping point. Otherwise, $999 for an Air will do.
> My goal in life is not “to work”.

I'm not sure how to respond to this.

Of course it's not, and neither mine. My goal in life is also not "to be in an office" either. But when I am in one, I'm there for work. The office is a workspace, that's literally the point of it...
She should do it in numpy if she wants to understand how it works.
Log date and time with the built in .NET core console logger
From the docs:

> It is recommended that you don’t expose tables on your API schema. Instead expose views and stored procedures which insulate the internal details from the outside world. This allows you to change the internals of your schema and maintain backwards compatibility. It also keeps your code easier to refactor, and provides a natural way to do API versioning.

Which is, you'll notice, the same best practice used for decades by DBAs who need to serve multiple applications connecting to the same database.

(Also, it's not exactly uncommon that a data store API would have a single client which you control - eg. a single webapp, an internal application... in which case you can go nuts with breaking changes.)
Violence is speech if you're smashing the fash. Silence is violence if you're white.
I feel like there's a lot of astroturfing going on here. There are good VR headsets that are made by companies far less evil and destructive than Facebook.
Hmmmm

>The meeting was ended due to the breach, while a Foreign Affairs Council spokesman told RTL: "Such a breach is illegal and will be reported to the authorities."
I know I might be downvoted but a tiny bit of marijuana at times is mana for creativity. Just to get it started. Smoking a lot of pot is a waste
XgeneCloud[1] supports REST as well.

https://github.com/xgenecloud/xgenecloud
I see no problem whatsoever.

In the first case, I am in full agreement - of course GoDaddy decides, and ought to decide, what domains are allowed to be registered on its property.

In the second case, the correct solution is to change the applicable laws - enshrine net neutrality into law in a constitutionally valid manner, and Bob's your uncle.
fcntl(F_FREESP) only works on old UNIXen. The Linux API equivalent is fallocate(FALLOC_FL_PUNCH_HOLE)
I think big point is that, even if you have a very good office, this means that you employer just shifted the office costs from themselves to you. Depending on where you live, this might add up to several hundreds of dollars per month. This might be OK with some people, but it is definitely an additional cost for workers.
I believe the Volvo system ties fan speed to the difference desired and actual temperature / humidity.
Reminds me of swipe.to (rip)! Good job and keep up the good work!
Issues with game music in streaming have been a constant thing over the past years, and "stream-safe" modes in games are nothing new.
This isn't a magic button you can press to costlessly improve some people's lives. It's pure wealth redistribution with recipients disproportionately in the upper middle class.
If you have a robust social / family life outside of work, and you are lonely now, it’s probably because of COVID stay-at-home and not because of WFH.
"Are sector writes atomic? And if so, for what size sectors?"

For a database, this is not the question you want to be asking. It's a rabbit hole. The right answer (which is not always the answer we want, so we keep asking): no one knows.

It's better design to err on the side of assuming disk sector writes are never atomic. This would be taking the security stance, e.g. assume an attacker is actively trying to break your protocol, and use cryptographic guarantees to prevent or at least detect them.

Kernel developers also can't answer these kinds of hardware questions. There's too much hardware out there.

Disks may give atomicity guarantees and then you discover edge cases where these degrade, or disks may emulate Advanced Format 4096 byte logical sectors but have smaller 512 byte physical sectors underneath. Disks are too complicated (and firmware too buggy) to trust any kind of guarantee. There are too many layers of abstraction.

Instead of trying to figure out the safety of the layer beneath you, assume the worst and bring the design back to using end-to-end guarantees.

If you assume and plan for the worst, then you don't need to ask the question, and you can handle the worst of hardware, without surprises when those guarantees are broken.

In fact, with file systems in general, the situation is even worse than for disks, because of disk corruption (3% per 36 month period per disk) and misdirected writes, which most file systems unfortunately don't handle. You should never trust any metadata provided by the file system about your journal file (e.g. file size) and use that as part of your recovery protocol, because the file system itself is storing this kind of metadata on the same disk you're writing too. Again, something as important as the metadata size of your journal file should be protected by your own end-to-end protocol.
Your logic being that any time we give money or subsidize some group, it must be good?
That you assume I'm privileged because I want a more peaceful society suggests you will constantly seek to divide and set social groups against each other for the sake of some personal satisfaction.
OS work used to feel so ceremonial, back in the old days (ie 2003.)

Hobbyists could cobble together hardware and ship it to a data center, but if you couldn’t afford a serial console you’d have to unrack the machine every time you messed up a kernel upgrade.

Now I can just remotely blast a clean install on bare metal, and then build containers or VMs on that, and it’s so easy I can rebuild all infra every morning, from scratch, just for fun (ahem, to verify it’s idempotency.)

Gone is the need for the high quality package management of Debian: The Universal Operating System. I lament this as much as I lament the decline in quality and commoditization of many many other things in life. Food, ISPs, journalism, education.
An Easy Guide to K-Fold Cross-Validation
If you want a middle class, subsidise middle class things. Maybe that means some upper limit per person to the subsidy education program, but it does mean subsidising education.