skysight-inc/HackerNews huggingface dataset:
I bought down one of Australasia's biggest banks for 8 hours when I requested a backup of the production database for a test cycle we were about to start.

Unfortunately the database structure had changed and the backup script hadn't been updated and it locked all the tables it tried to access, while also waiting for incomplete transactions to finish... which never happened.

$8 million dollars of deposits and withdrawals vanished into thin air.

Luckily for me, there were perimeter logs for all transactions so a team of people replayed the lost transactions and fixed everything.
I had to read the incident reports (which were pretty cringing - people put money into their personal account and there was no record of it ever happening) and write a response which said what went wrong and what I would do differently next time.

No repercussions for me though... I made another request for the database and it worked the next day.
You can already install iOS apps in the current version of macOS, but only on Apple Silicon machines and app developers can decide whether their apps show up on the Mac App Store.
Exactly - it’s identical to the problem in this thread.

Google TV launcher == Apple TV app on tvOS

You can remove the Google TV launcher but with it huge amounts of device functionality (including search). Same as for the TV app.

Literally zero difference other than the customary Apple free pass they always get.
It's party of an overarching set of standards called Trusted Computing.
It sounds good in theory but in reality it is a pipe dream. All the places Apple could move production to are all using what is essentially slave labour. Unless you want to pay like three to five times the price and get a product built in, say, Scandinavia. The US is also better of course but not anywhere near perfect so if you really want a "clean" product The US wont do either.
if it's a minority ethnic group on a border region of a rival power america will sit up, take notice and probably throw money at them.
Never heard of Medivia before, but looking at screenshots and their site, that is absolutely some sort of fork/copy of Tibia. Even the world map is basically same shape, with locations shifted slightly and renamed, and the game interface is the same. I think they may even be using the old sprites from before a UI revamp a bit over a decade ago, from when I played Tibia.

Edit: Found this [0] which states Medivia originally started as a private Tibia server that eventually evolved into its own game. People were only just starting to make private Tibia servers when I left (or maybe they were only just starting to become popular, not sure anymore), which explains why I hadn't heard of this.

Tibia was created in 1997, I played roughly 2002 - 2006. Looks like Medivia was first created in 2009 [1], I would guess probably still just a private server at the time.

[0] https://www.reddit.com/r/MMORPG/comments/i480jd/medivia_4_ol...

[1] https://www.reddit.com/r/MediviaMMO/ (right sidebar)
https://nixos.wiki/wiki/NixOS:extend_NixOS
In NixOS it's trivial to use and define NixOS modules, which handle restarting/starting/stopping systemd units. See the wiki example[0] on how to define and use a service that greets the user with GNU Hello. Also, since you have access to Nixpkgs, you can make the ExecStart as complicated as you want with whatever dependencies you desire, and trivially share it with others.

[0] https://nixos.wiki/wiki/Module#Example
I doubt Mumble/Team Speak are ever going to be as popular as they were before. But boy do I wish they would.

- Native UI: everything happens instantly

- Lightweight client

- The ability to host your own server

Even initial setup difficulties had an upside. More often than not, those who weren't capable of properly setting things up also weren't the right fit to play seriously/competitively. Such little barriers were a great initial filter for toxic wannabes with short attention span.
I am using a self hosted Jitsi-Meet server as the audio backend in VRWorkout. Their client runs in the browser and works pretty well. You don't get positional audio tho.
You can speed this up significantly if you have a microwave. Zap them for a few minutes, then finish in the oven to brown the skin.
Well, the three little pigs story must have been originated somehow from real life experience:

https://en.wikipedia.org/wiki/The_Three_Little_Pigs
Actually meant to post this link, sorry!
https://www.grc.nasa.gov/www/k-12/airplane/wrong1.html
Members Portal – The definitive membership solution
Online membership and event management for clubs, associations, NGBs, and charities
You literally do not have enough time to care about all the travesties in the world, you will just 'care' about them taking up all of your time while doing nothing to actually improve the world. You are 1 human of billions, you try to make the world better as much as one average human can. Which is for most people, raising their children well, being a good person and doing good work. You only have energy for one cause I like to say, it's up to you to choose it.

So beyond a general sense of "these things suck and I emphasize, but I don't have time to think about it", there is really not much else you should do beyond that if your not actually going to do anything about it other than read some media, feel some emotions and have opinions about something you have remote to zero experience in and zero power or desire to actually do anything about it.

And after that one, you have the other 100'000 small and large travesties to process.
Conway’s Corollary
Try cutting an onion into slices top to bottom (not across the stripes) and then cook it slowly for an hour in a tablespoon of sunflower oil at 4of9.

You will end up with barely a teaspoon of completely broken down onion matter that looks like apple butter or quince paste.

Your onions look delicious, but they are a different outcome to what the article describes.
I gave an introductory talk to Red Hat about proving C code with Frama-C, which touched on CompCert. (Coq, Frama-C, CompCert and OCaml are all written by an overlapping set of the same people.) Note I'm very much a beginner here myself.

http://oirase.annexia.org/tmp/2020-frama-c-tech-talk.mp4
Four approaches to implicit state in compound components, ranked
Ignoring mass reformatting commits with Git blame (2020)
Want to echo this. I think we are remembering our remembering. There is bonafide scientific research on this. There was a Microsoft Research Cambridge project called SenseCam .. I think the first paper was helping a woman with memory loss. She was really remembering her memory of recalling a moment.

When I encountered that research, I reflected on my own childhood memories and concluded that this DRAM mechanism is what is going on for me.

On an alternate note, I'm in my 40s now and I hardly remember anything. I have two little kids and am often shocked when I see pictures from a year or two ago (can't remember when they were that young). A few other tech friends have suggested things are similar with them. I am constantly having to learn new stuff in my line of work (AI) ... stuff from 2017 is often referred to as "old". I'm a bit worried my memory capacity is finite and starting to overwrite on itself (sort of like a fake SD card that overwrites content or the Johnny Mnemonic movie)
I wonder how many stacks of containers are no longer viable (and how many more journeys will be needed) on vessels fitted with those two enormous sails.
Maybe you should use cast iron and stainless steel. You can really treat them like trash and with minimal effort they get back to being good.
This is pretty much an intentional design choice.

Fun fact: the first commit in the Go repository is from 1972. In B.

https://github.com/golang/go/commit/7d7c6a97f8

Followed by a commit from 1974 to convert it to C, and 1988 to convert it to ANSI C:

https://github.com/golang/go/commit/0bb0b61d6a

https://github.com/golang/go/commit/0744ac9691

https://github.com/golang/go/commit/d82b11e4a4
Digital Communications Protocols (comparison) :

https://docs.google.com/spreadsheets/d/1-UlA4-tslROBDS9IqHal...
I tried to switch a community I once hosted to mumble. Previously teamspeak 2 was used which showed its age through high latency and low quality. TS3 was not available yet. There were so many complaints about the client that people voted to switch back to ts2. When ts3 came along they switched to that, but I already passed on the admin job by then so don't know any details about how it went. While it's not open source you can at least self host...
As of just over a year ago they now provide strong read after write consistency which should solve this problem.
I couldn't go back (with Back button) once I visited the page https://rr-tw5.github.io/#DAILY%20NOTES. Honestly I really hate this style that many sites are using :(
He's adding sugar, I think that's cheating since you can quickly caramelize anything that way. The result is basically steamed onions with butter/caramel sauce - very different from simmering in butter for a long time.

What I do is make a large batch and freeze it in cubes. One cube = one simmered down onion.
I am curious if you have examples. What is hn or the hn community mocked for?
Because doing kernel dev and constantly having to resign modules is more tedious than its worth
You use the reminders to counter your personal flaws, but do the contacting yourself - that's good.

But automating sending messages? Fake caring? If you cannot instantly see the problem, that, frankly, comes across as psychpathic. It is creepy as all hell.
I think Fuchsia is aimed at more then just mobile.

Honestly I have high hopes for it, mostly because I like the colour ^^.

"The GitHub project suggests Fuchsia can run on many platforms, from embedded systems to smartphones, tablets, and personal computers." ("Google Fuchsia - Wikipedia" https://en.m.wikipedia.org/wiki/Google_Fuchsia)

Edit: fixed spelling of the name of the colour.
This was a great opportunity to put some videos up there to show how its done and showing the difference between the cooking and simmering of the onions.
The issue is the promise Tether is making. It is “backed” by debt which potentially can never be payed back.

How does Tether prop up the value of USDT if there is a mass sell off into fiat? Is this the duty of the exchanges? Does Tether buy USDT off exchanges in order to push up price when there is a sell off? How big a sell off can they contain?

How would a DAO offer the same promises of “backing” that made USDT possible without government issued stable-coins?
Just a nitpick, but this is false

> Haskell is missing the idea of something happening after something else

A Monad is implicitly a monoid, which certainly does specify an ordering. And as for expressions, the order of evaluation of arguments is not specified either by C for example.
Looks cool, but doesn’t mention Central Leading Groups, which is what interested Westerners flip to in official-looking documents. Also, we’re always interested in how organizational techniques like this are deployed in the Chinese military.

I think there’s a resounding Congratulations for the miracle of alleviating poverty and the West is receptive to giving CPC organization some of the credit.
The title makes it seem as if there's some architectural thing people don't understand. It's a good extensive article, but it's too much information for most sysadmins.

If you really need high precision time synchronization, for example when triangulating signals on different machines, you should look at ptpd (https://github.com/ptpd/ptpd).
Happy to end the debate for HN:

If(robot) == bike
Bike lane
Else
Car lane
I use the compose key a lot; when writing docs I tend to use → instead of ->, I use – instead of -, etc. I have an extensive XCompose set up for all this, and I find it very convenient.

But it's still three keystrokes instead of one. I wouldn't really look forward to using × instead of *, ÷ instead of /, etc. all the time, even though I can type them here with relative ease the hassle increases the more you use it (I don't tend to bother with fancy “quotes” for example).

I also don't think it really matters all that much. What's wrong with *? Sure, × looks nicer, but * is clearly the pragmatic choice.*
It's worse than you think.

US supply chains aren't merely "contaminated" with Chinese slave labor - most Chinese prisoners are being used as slave labor.

The reason is that the CCP is a technocracy - it doesn't make any sense to the CCP to feed and house prisoners who don't generate revenue, or who can't donate organs ASAP.
I had a work PC fail at a quarter to five one Friday night. They needed a PC on the floor to view online PDFs for production. The workshop is on a different network to our office domain. The only spare I had was set-up for domain access. At close to five I didn't want to reinstall Windows. I downloaded Puppy Linux to a USB flash drive and set them up for the night shift. It's still running. It's faster and more stable than the rest of our network.
You do indeed get very smart people doing menial work, and their talents are largely wasted.

IQ has always been a good indicator of programming skill. Unfortunately school grades and specialisation aren't a good indicator of IQ, and (I think?) it's illegal in the US to require job candidates to take IQ tests.

So the issue for companies is that without the usual whiteboarding or educational paper trail you have to find a way to identify high IQ people without being too obvious about it.

The other issue is if you find no-experience very-smart people you have to spend time training them before they start being productive. This works if you're not in a hurry, but it's harder to justify when runway is limited.
Namecoin failed mainly because it was way, way, way too cheap to register names, so everything got squatted in the first few years.

ENS appears to have fixed this; the registration and renewal fees are denominated in USD (but paid in ETH) and cost about the same ($5/yr) as ICANN names.

Unfortunately ENS has the same problem that a lot of "new crypto" does: the rules can be changed at any time by a tiny handful of (mostly) anonymous people who hold the magic multisig keys to update the special contract. There is no developer/user separation, where the users can simply choose not to upgrade. The ever-present threat of this "declined to upgrade" situation is a major check on the developers' power in bitcoin/namecoin-style cryptocurrencies, and it is the central topic of discussion in any hard fork proposal.
Most calls on the web are using it. It’s the webrtc default
What an interesting point. I highly value your opinion.

-this message was created by an automated bot
Either the premium would be much more than 10% or the labor problems would just manifest elsewhere. Current consumerism is built on near zero cost labor and unfortunately corporate greed and consumer ignorance greatly outstrips and motivation to change this.
The report seems to be well-researched, but their definition of "repression" is eyebrow-raising at times:

According to reports in Chinese media, on March 1, 2014, a group of eight black-clad, knife-wielding Uyghur men and women stabbed dozens of people to death and injured hundreds of others in the railway station in Kunming, Yunnan province. According to RFA reporting, the group was attempting to flee to Southeast Asia when security blocked their route, resulting in the group’s desperate decision to commit this act of mass violence.[120] By November of that year, the PRC claimed to have broken up a Turkish-led ring providing Uyghurs with fake passports, accusing the Turkish state of funneling Uyghur fighters to Syria (where evidence of TIP activities emerged at the time).[121] It was clear that by this point, China had thoroughly closed off most routes for Uyghur refugees. International media coverage of the events in Kunming also marked a turning point in media representations of Uyghurs, as some outlets uncritically adopted the official characterization of the events as “Uyghur terrorism.”[122]

That makes me wonder how many of the other people they include in their count were critically analyzed to reveal that they were really only desperate and definitely not involved in any terrorism at all.
If you had horrible sound quality and horrible connection issues with discord you are in the absolute minority.
This has nothing to do with doxxing. You cannot discuss something by using the wrong words to try to force a (false) point. Besides, I don't like Julian assange so the whole Saint thing you got going only make you look childish.
I agree with the conclusion of the article; we should move past the requirements of a long-gone era of computing, but the suggestions provided don't feel like improvements to me.

> Why keep trying to cram an expressive syntax into the straitjacket of the 95 glyphs of ASCII when Unicode has been the new black for most of the past decade?

Because I don't have 143,859 keys on my keyboard. Having to type λ would involve either changing my keyboard layout or using some key shortcut. In either case I'd miss the benefit of muscle memory to just type `func`.

I don't see ASCII as a hindrance, but as the lowest common denominator for being expressive in any language, computer or human (Romance ones at least).

> Why not make color part of the syntax? Why not tell the compiler about protected code regions by putting them on a framed light gray background? Or provide hints about likely and unlikely code paths with a green or red background tint?

Why should a compiler be concerned about how errors are displayed? You can already do these things with a program that reads the output and renders it as you wish. We could argue that the information should be available in a machine-readable format to avoid parsing text, but I don't see how a deeper integration of color would help.

The things that I would like to see in the next 20 years of programming are:

- Abandoning text files and filesystems as an abstraction. Most programming languages are fine with handling only "modules", so having to manage files and file paths just feels unnecessarily clunky.

Light Table[1] attempted something like this IIRC, where you only dealt with functions or modules directly, and it was a joy to use. Expanding this to a language would simplify things a lot.

- Speaking of which, code versioning systems should abandon that concept as well. It's 2021 and the state of the art is still diffing pieces of text and doing guesswork at best to try and complete an automatic merge.

Our versioning tools should be smarter, programming language aware and should minimize the amount of interaction they require. I can't imagine the amount of person-hours ~~wasted~~invested on trying to understand and make Git work.

- Maybe just a fantasy and slightly off-topic for this discussion, but I'd like to see more programmer-friendly operating systems. With the way Windows and macOS are going, Linux is becoming more like the last bastion for any general programming work. Using these systems often feels like the computer is controlling me rather than the reverse.

[1]: http://lighttable.com/
Heads up: The page appears editable. Not sure if that was the intention, but might want to lock public write access.
These bridges appear nice, but in their current state they wouldn't be used in the Netherlands, because they do not seem to support bicycles.
Fedora gets the latest GCC release and we often run into bugs (which we file in the upstream tracker). Now to be fair most of them are not critical: the most common ones affect warnings where the compiler starts warning about code that we think is correct. But it does happen that we get more serious things. Several times I recall we've had to track down all packages that were compiled with a particular version of gcc/binutils and recompile them because we discovered a code-gen bug.

In Fedora this is all low stakes but it wouldn't be if the software was deployed in a plane.
Right, but this is about civil engineering. I suppose that field also had tinkerers at some point, but today we expect civil engineers to have a diploma and license. Maybe software engineering will go that way too in the future, after the Internet of Unsecured Things finally implodes.
The telemetry was one thing, but there was also a few people with "what do you mean muse owns this project now? I'm forking rather than accepting forced leaders".
I discuss an abstraction of the future that leverages new age tools to optimise work culture.
I'm not sure I'd like to get a message from a friend that was actually written by an automated app. As an introvert, I am ok with people being silent friends with me for a while. But somebody started bombarding me with automatically scripted messages which they didn't personally write and meant to send then and there - if that was a close friend, I'd ask what's wrong with them and whether I can help to fix it, because certainly if it'd be ok they'd never do something so bizarre. Otherwise I'd probably just sigh and block them.

Sorry, I don't mean it as a personal criticism towards you, if it works for you and your friends, all power to you. Just expressing another view on this topic.
> Why do you believe that "not everyone can understand chemistry"?

I didn't say that I did. My belief is irrelevant anyway, because it is generally accepted when someone says "not everyone can understand chemistry".

I was pointing out that saying such a thing only draws ire if you say it about CS.

> When I say "everyone" below, I mean "the overwhelming majority of people in the average range of human intelligence, without debilitating mental deficiencies". This group spans virtually everyone you are likely to encounter, from car mechanics to school teachers, to postal workers, to professional software engineers.

And yet there is no controversy if postal workers, car mechanics and hairdressers say that they are not able to understand chemistry. There is only controversy for CS.

I feel that you would do well to explain why only CS is controversial, while chemistry, auto mechanic and art is never controversial in regard to this particular assertion.
Linus is a genius, I don't think I could ever reach his level

Yeah it was a side gig for me, I did spend major of my days for the duration of 2 months last year to work on this.

In fact, I paused on the development of this project for 1-2 year.

But most of the time, it's just 1-2 hour per week side projects on average.
How did you get started with this project?
Those don't look like caramelized onions to me, more like sauteed/fried.
I had to code a feature in one of the services that essentially made a simple SQL call every x minutes to check up on something. The amount was supposed to be configurable. I put 20 minutes as the default config and everything seemed fine.
Next week I found out that I took down prod because the service made calls every 20 milliseconds instead of every 20 minutes. I remembered to convert "20" to an actual time representation but I accidentally used the unconverted value anyway and it turned out there's an another constructor for the method I used to execute the SQL query and it accepts integer values as well and treats them as milliseconds. What's weird is that this version of the service was running for a week in our test environment and absolutely no one noticed the degraded performance. A temporary workaround was to change the value in the config to 1200000. It taught me the importance of having configurable values in the application as we'd have to build and redeploy it again if the value was hardcoded.