skysight-inc/HackerNews huggingface dataset:
I've read Hillel Wayne's "Practical TLA+", which is a very good introduction, and watched a couple of talks on it. I also collect case studies of TLA+ usage. I find the concept really a good idea and would love to use it more.

My main issue is that because it's not an everyday tool and has somewhat complex semantics, it becomes hard to use. The syntax and tooling are quite arcane and different from everyday programming languages. That's particularly problematic as it is supposed to be a tool to think about complex issues with it. Translating back and forth between what a spec says syntactically and what it actually means semantically is just hard, and for a non-everyday user, I would expect to make more mistakes when writing a spec or interpreting one I wrote 2 months ago, than I will have with less formal methods that I can actually understand.

I wish this was easier and I suspect that having a more mainstream way to express things in TLA+ would get into that direction. I tried to write a toy parser for a language that translates to TLA+, but I didn't get very far yet.
Thanks for your answer. I agree making it difficult to unsubscribe is bad, but I honestly cannot imagine myself paying extra recurringly for saving myself 10 minutes once at the end. So it's interesting to see people making different trade-offs.
I Lost My Mom to QAnon. Wordle Is Bringing Her Back
That was my first thought too but this is a real article and the title has not been changed.
"Your address" in the virtual world is a string that happens to match something in the real world. It's a pointer to a real world thing, but you own the real world thing, not the pointer (like a reverse NFT!).

Worrying about "who owns the address in AR?" is silly; for a start there might be 10,000 AR startups who all put different things on "your address". You can't possibly claim them all. Well, you can, but people will think you're being an idiot.
> There is prior to this little to no incentive for companies to do this

There are huge incentives to do this in California and EU. They have the legislation that says that if one can subscribe to a service with one click of a button then one must be able to unsubscribe with one click of a button.
>It's illegal to put ZFS into the Linux kernel.

No it's not, and you don't have to put it into the kernel.

>This is because of the choice of license by the owners of ZFS code!

Everyone else with a real free license can do it (BSD), so i would suggest that GPL is the problem and not the other way around.

>ZFS license was specifically chosen for the purpose of keeping code out of Linux

Good, it should no go into that rotting mammoth-pile of code.
> pushing for renweables in a way that actually just makes us highly dependent on natural gas whilst blocking any new natural gas sources in the UK or funded by the UK finance industry that could make up for the decline of the current ones

Is there a decline in the amount of gas? "We" have been exporting vast amounts of natural gas, and over the past two years the amount has increased enormously - I say "we" in quotes because it's exported from the UK but not sold by the govt, rather it's not regulated so the private companies which extract it are free to sell to whoever they want.

https://www.theecoexperts.co.uk/blog/uk-exporting-gas-despit...
https://www.energylivenews.com/2022/01/31/how-did-the-uk-man...
They're nuts. All they are doing is setting themselves up for another set of lawsuits.

Seriously: Apple should focus on selling hardware and be happy to facilitate those payments that people - and application developers - voluntarily process through their system.

All this stupid taxation of other peoples' businesses should stop, it is anti-competitive behavior that they themselves would never tolerate.

Imagine if in the past Apple would have had to pay 30% of their gross to Microsoft in order to be allowed to run their software on Windows.
I mean the project management triangle comes into play then, and when it comes to SWE, throwing more money at a problem usually doesn't make it go faster.

Basically the higher-ups have to decide what is most important; if the deadline is fixed, then the scope HAS TO BE flexible.
Out of interest: What is the state of btrf compared to ZFS.

Last time I checked btrf _seemed_ like a mess with many hard
to reproduce subtil bugs and for was basically a no-go for
any usage requiring any reliability. Like it looked bad to
a point that I wondered if it only still exists due to the
sunken cost fallacy.

But neither then nor now I was familiar with either btrf nor
zfs, so I might have been wrong.
Title is confusing. Should be "Slackware 15 Released".

For the younger readers: Slackware is one of the oldest Linux distributions. I remember installing it from floppies, and booting using LILO (pre GRUB!).
> As annoying as writing these might be, there is no way I would go without writing tests even for a side toy project. For one, the tests have already saved me from obvious bugs in the SQL queries. For another, extensive test coverage is critical for quick iteration. I’ve been able to prototype and refactor this service in place over and over again to add new features because I have enough test coverage.

Is it critical for a toy project (or any project for that matter)?

> The best thing about this setup is that it is simple. There is no Docker involved, no complex local database configuration, nothing. cargo test or git push to a temporary branch and I am good.

I guess it depends on viewpoint. Maybe I'm an outdated dinosaur here, but we wrote code for decades without tests in production, let alone for side projects. Not having tests could sometimes cause failure - true. But it also forced you to examine what you pushed to production.

I do think the project is very cool though.
>Cellular immunity is highly durable and effective.

The question is not how long the immunity lasts (based on original SARS patients, probably multiple decades to a lifetime), but whether affinity-matured T-cells can sufficiently cover the antigen-space of future ACE2-binding spike proteins.

Somatic hypermutation might still be too complex to model computationally to answer that question outright.

Do you know whether this question is answerable in another way?
No idea, but you might find someone who could help via a google search for ...b5000 emulator burroughs...
Only if your imaging satellite had X-ray vision. Have a look again. You wouldn't put a no-roof shelter over a plane, and you wouldn't be able to see what's inside. Use common sense.
One of those Eastern European states - the Czech Republic - was actually the big European success story everyone in the UK press pointed to as proof that the UK should've been able to do better if we had competent leaders. They ended up with the worst Covid deaths per capita in Europe until their neighbours overtook them, and yet I'm sure they still contribute to the belief the UK failed. In reality it seems like they were the ones who got lucky early on and had the chance to do well but failed to take advantage of that, with issues like poor vaccine uptake there. On the other hand, the cities which got hit next after Italy were New York and London, both of which had lots of travel from Milan due to Fashion Week right around the time there was massive undetected community spread there. That's definitely unlucky.
There is no difference between the customer paying extra and the seller paying extra. There is an amount the customer pays and an amount the seller receives, and the difference is what is paid extra.
https://www.bridgewater.com/its-mostly-a-demand-shock-not-a-...

Some good data here.
Yes, I was commenting on those. The fact that it has them and really needs them. Those things aren't optional, if you look at the take-off you can see them keep the tail safe.
> Democracy is essentially populist, because elites fight for votes through media.

Democracy is by no means essentially populist. It is when it is in its sickly stages, maybe. It's also by no means necessarily dependent on elites; again that is an indication of the failure of democracy (and the arrival of money as speech).

It is very fair to say that few of the older democracies are keeping populism at bay -- India is failing at it, Britain has failed at it, Turkey has failed at it, etc.
Isn't that simply because you experience failure many more times than you experience success. In fact on your path to success you are almost guaranteed to experience multiple failures. So by that metrics one success teaches you the lessons of many failures.
Hashnode | Multiple roles (engineering, design, product) | Full-Time | REMOTE - globally(!) | https://careers.hashnode.com/jobs

Hashnode is a free developer blogging platform that allows you to publish articles on your own domain and helps you stay connected with a global developer community.

Hashnode is hiring remote all over the globe (not just US only). We work in an async-fashion.

Hashnode is backed by many great VCs (e.g. Salesforce Ventures, Accel Partners, Sierra Ventures, Sequoia Capital's Surge) and individual investors like Vercel's Guillermo Rauch, AngelList's Naval Ravikant, Intercom's Des Traynor, Ed Roman, and Salil Deshpande.

Tech-Stack:
- Next.js
- TypeScript
- React Native
- Vercel
- AWS - Serverless

Roles:
- Fullstack Engineer
- Tech Lead
- Product Manager
- Designer
- and many more

Contact sandro@hashnode.com / twitter.com/sandro_vol for more info or checkout the careers page: https://careers.hashnode.com/jobs
While the US has been traditionally fire at will, over the latter half of the 20th century exceptions had to be made where you can’t fire people for various discriminatory things or becoming a parent anymore. In the early 20th century organisations also couldn’t fire people for unionizing anymore. And not all unions accept fire at will policy.

Companies may additionally prefer to have more standardized procedures. Hiring is expensive, training is expensive, and cohesion can only be gained over a long time. By needing multiple steps to fire someone you reduce the chance you throw the baby out with the bathwater. And even if you’re sure someone is a negative factor and want to fire them with little prior notice, the people who you think are good are not mind readers and might even have a different opinion of their colleague and will question their own employment security.
I’ve been a vegan for more than a quarter of a century now and just wish terms like „veganize“ would just vanish. Also, simple substitution works for simple recipes. Anything more involved than a sheet cake needs more experience than s/this/that/. And if you’re going to substitute regular products with a vegan knock-off verbatim anyway, I don’t see how this would assist in any way. Probably full of referral links.
Can I ask how this has been solved? I see a number of companies in the HR domain offering "blockchain-based" solutions. However, it seems to be that the immutable nature of blockchain is incompatible with data protection regulation's right to be forgotten.
Duplicate of https://news.ycombinator.com/item?id=30200134 and misleading title - as pointed out in the other comments
>>stuff like 2 slightly different tomato varieties

I'm such an idiot shopper. I was on a date with a girl and going to cook her dinner but I was missing a few vegetables. Went to Fred Myer (local Kroger chain). I was picking up some potatoes and the girl found a stack for half the price that looked just as good, hidden on the other side of the produce aisle. She was like, "you don't look for good deals, do you?" Ugh. Shamed. I wish I'd had an excuse like "I wanted organic" but the truth was I'd never known there was a whole separate stack. Damn you Fred Myer!
It looks like an accordion of paper dolls because it's a Draken printed on the roof of a movable shelter.
Lack of airbags, shitty structure to absorb impacts, absurdly underpowered engine and weird ergonomy makes the Lada Niva viable only for offroading: farmers and hunters driving on gravel roads.

If you expect to drive more than 50% of the time on asphalt but money is tight, do yourself a favour and buy at least a Dacia Duster.
> There's only dogs that are barking.

class DogSoundFile
constructor Create(MP3File, Weight);
...

Bit silly, innit? (Are bigger MP3 files heavier...? :-)
Some people meet this with a healthy level of scepticism, which is great. However I used to work at Amazon, working on the performance evaluation and HR tools used within the company. It was a couple of years back, but I am fairly certain that the same tools are still used, given that all of them were developed from scratch. At the time it was in line with the company's PR of removing its toxic work culture.

It's worth mentioning that it wasn't uncommon for people to move around teams, and to be honest HR is not the most exciting field for software development anyways. So, as expected, the HR dev teams had people move around quite a bit. Nothing toxic so far.

One of the projects I worked on was what used to be called the dev list or personal improvement plan (pip) now renamed to Pivot. Most likely the exact same same tool. Management wanted to update the processes in order to automate as much as possible and reduce the risk of managers putting someone in pip, just because they didn't like them. However the process was set up in such a way that a manager can progress an employee through a pip for waaaay too long, until a failsafe, or a second pair of eyes even takes a look at it. I, personally, voiced my concerns about it, but it was shrugged off as "it shouldn't happen", "managers wouldn't do that" and "it's fine" by the project stakeholders.

The project starts, development is going a usual and a couple of years go by. I moved to another project within the HR space. Most of the team developing the tool has also moved on to greener pastures. Apart from that one guy, who has been there since its inception. He went from being a backend engineer, learning React and painstakingly working on a messy frontend codebase, eventually leaving him the only person competent enough to make changes to it. Eventually he was fed up and wanted to move to a different team. Lo and behold - his manager, the manager of the team building the pip tool, put him in pip to prevent him from moving. Haven't seen someone decide and actually leave a company as quickly as he did. So if the manager of the pip company can use it to blackmail people not to leave, I can't even imagine what it's like for the rest of the company.
I had no idea that code could be merged without at least one peer review at any of the big tech companies. That seems like a management failure to me?
I hope that the Dutch demand a breakdown on that commission to see where it goes, if it's not just a number that they pulled out of their ass.

Surely they wouldn't put hosting and approval processes there if free apps don't pay separately for those?
Yes -- I think we pretend to ourselves that the worst excesses of the War on Terror were driven by people with whom we disagree, when just as many were driven by those we politically resemble.
Point 1 is missing the word "only" before "cause"

> The press fell into line and now, even two years later, we have the problem of people like yourself who assume

You realize this sounds very conspiratorial? The government's ego got in the way, the press is in on it, all the sheeple just swallow it!

Anyway no I'm not following much mainstream media, no idea what they say about lockdowns. I didn't hear it being called a success or failure anywhere honestly.

I do follow OWID data daily, looking at the various stats like excess deaths, deaths directly attributed to covid, share or positive tests, vaccinations, etc. I mostly make choices based on data, not media coverage (I don't even know what the current official rules in my country are anymore, they're always way behind the facts anyway).

Furthermore, elsewhere in this thread I wrote:

> In my circles (Netherlands/Germany) the people that go out all got covid, the people that could stay at home didn't. Not everyone has a choice here, like if you have school-age kids then you're almost guaranteed to get it through them.

That's what I'm basing this on. Idk if rules from the government help when the only ones following them are the people with a brain who'd have stayed at home anyway. Maybe it does because it creates a legal reason to keep your children at home during the worst of it (namely before we had vaccinations and keeping kids home actually saved lives).

> It was clear within a month or two

If that's so, what was this based on? Was there a single statistician on this earth that said they had sufficient and reliable data to draw such a conclusion after just one month? Or two? With a confidence high enough to say we might as well go and party rather than keep doing lockdowns, knowing that, if wrong, they'd kill a million people by the time we had enough counter-data?

By all means, share a link to such a post/comment if it was so clear to you and yours back then already.
> He could secure forthwith, if he wished it, cheap and comfortable means of transit to any country or climate without passport or other formality.

What? No TSA? No stripping at airports? And allowed to bring your own liquids on airplanes?

What horribly primitive times those must have been.
If cryptocurrency can't survive this kind of thing, it was never meant to be.
Except your 'drive to destination' step fails to include 'stand still in traffic jam because there's a line of Tesla's taking up road space transiting to and from their parking space.'
I, on the other hand, had an issue with every type of device you have listed using Windows, but none on Arch Linux.

And I can add to the list devices like: an SATA to USB adapter, gamepad (not only DualShock, but also X1 Gamepad [sic!]), external CD-ROM, Wacom tablet

With each of them there was an issue on Windows, but on Linux it's Plug-n-Play; heck, even my gaming mouse needed drivers on Windows for all buttons to work, while on Linux noting additional was required
The fact that the group of participants in the study was of a certain age range means that the study says nothing about the result for people outside of that age range.

Much more and better explanation about flu shots here:

https://www.mayoclinic.org/diseases-conditions/flu/in-depth/...
> Each month, developers will have to send a report to Apple that lists their sales. Apple will then send out invoices for its commission, that must be paid within 45 days.

LOL!

Apple has no way of knowing how many sales actually occurred in the app, so they have to trust the developers to report the correct number. How the tables have turned :-)
In my books, the sound money folks are always on the right side because sound money is the most important thing.
Tell HN: There’s no room for skunkworks in modern software development
In the old days, corporate rebels could almost secretly - but often simply openly and casually - run special projects to create new and innovative software.

Modern software processes make this impossible. It would be deeply frowned upon, likely a sacking offence, to create software outside the tightly controlled process.

Does this mean anything? I don’t know. But what it does mean is any company that runs an organized process has no chance of “random innovation”. That concept, which was common in “the old days”, is gone.

Modern organized software development kills innovation.
I wonder if there's a generalisable statement in there - say, that all communication media will eventually become so swamped in noise that the signal is lost almost entirely?

Maybe too pessimistic.
Oh, you computer scientists!
Well he was the only male except for me so there was noone else to treat him badly. He was just taking over the invoicing that noone had time for anyway so I have no idea why they were treating him so bad. The ones that were doing the invoices were always complaining that they had to do that on top of their normal job. Some people just can't handle new people showing up and think it's a threat to them. Turns out they were right to feel threatened though, the company shut down the whole branch a few years later and moved everything.
If you release software with a known bug....
I worked for three years in a extremely customer driven company.

The last 1.5 of those I worked with what I consider two amazingly brilliant a####les.

I ended up leaving the most amazing place I had ever worked at until then (worldwide traveling, learning new stuff, actual high performance systems).

It has taken years to recover and I still cover myself more than I should.

My boss (who I liked) tried to get me back twice after he realized I had not been the problem and the two others had left but by then my salary had increased so much I was out of reach for him (edit:,) and telling my family I'd go down a double digit percentage in salary to work for someone who had not stood up for me back the was out of the question.
> So would this argument not apply to the use of Templates in C++?

Yes, AFAICS arguably it would.

> Everyone can design their own--what is to keep these from slopping all over the landscape?

Who says there is anything to do that?
And I wouldn't be surprised if that Seattle dev manager got pressured from above themselves. But at some point, someone has to set boundaries. If that manager then got pissy about it not being finished, there's a few lines to be used. One is "I was asleep". Another is "Night shifts and overtime are not in my contract", or "I do not get paid enough to do night shifts".

And another one, "A lack of planning on your part does not necessitate an emergency on mine".

But here's what I think is going on: Amazon's higher-ups (the level(s) above these people) are intentionally making these managers put pressure on each other to keep them overworked and sedate. I feel like this is the case for a LOT of US work culture across a lot of areas. It applies to low wage jobs with a high chance of being fired as well. Keep people stressed about the short term and they won't have the headspace to worry about things outside of their sphere of influence. This allows the rich to get richer and the politicians to become more powerful (and incompetent).
Solid explanation, but I think anyone can be forgiven for taking that tweet at face value and finding it disrespectful to small town people (good or bad) .
Well, I'm 29 (almost 30) and I decided to shift career, so I did a bootcamp last year and for the past 7 months now I've been working as frontend dev. For me I think the bootcamp itself is the most worrying part but luckily I got a job and just need to get as much exp as I can for the bootcamp to not be the reason I get rejected elsewhere

The age thing is a concern I too have, but in the end, there's not much I can do about it so I'll just go with it. If it becomes a problem eventually, well then I can just do something else.
XFree86 gained EDID autodetect support later than Windows and this makes people remember issues with high-res modes longer (Windows used to have them too early on, Mac was full of custom crap, unix workstations tended to have explicit data available),

Windows around win95/nt tended to come with preselected list (and woe on you if you choose wrong!), which meant that you could just select reasonably close defaults - or if you had fancy display, it might come with windows driver (actually a parameter file) telling the available options.

Also remember that significant majority of Windows users didn't have hi-res displays in the days before windows 95, and if you were ok with standard VGA modes, you didn't have to mess much.

Personally I remember crafting custom modelines because I wanted more than standard EDID data could give me, cranking up refresh rate to ~81Hz at 1152x864 resolution or so (typical setting on the display was 1024x768)
E-ink wouldn't line-up with anything without knowing there is only one observer and the coordinates of that observer. It would be better, cheaper, and simpler to have an inflatable replica of whatever it is.

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