skysight-inc/HackerNews huggingface dataset:
Nah: the article says the CAP narrative is based on very specific assumptions which make it unfit to talk about actual distributed systems.

Gödel's incompleteness (that, by a diagonalization argument, formal systems of minimal expressivity will contain true statements that cannot be proven) applies and will continue to apply to all such formal systems. The bar is so low that any interesting formal system is affected by it. Also, it does not make math broken at all - those formal systems can and in fact must be consistent for the proof to go through (1st incompleteness theorem), and it's just a pity that whatever formal system one comes up with, if it contains arithmetic, it won't be able to prove it's own consistency (2nd incompleteness theorem).

In the words of von Neumann: Gödel's two past papers ("Widerspruchfreiheit" and Continuum Hypothesis), are in any case worth more than the total literary output, past, present and future, of most mathematicians [...]
For anyone looking for async logging in C++ I can highly recommend spdlog:

https://github.com/gabime/spdlog
Dust theory is cool, but I really, really wish someone could simplify and explain the world of Egan's Dichronauts to me.
There are more to ADHD than just trouble with executive functions. There are things like emotional dysregulation, rejection sensitivity, sensory processing that are also common traits among people with ADHD. Trouble with executive functions is just one aspect of the issues we, as people with ADHD face.
A big chunk of a planet hitting another planet would melt and sterilize both of them during the collision.
A Year of 379 Computer Days: September Uploaded
Show HN: Feature rich messaging app for the terminal
Scaffolding a complete React app with GraphQL
For Android there is Voice:
https://github.com/PaulWoitaschek/Voice
Aided by Modern Ingenuity, a Taste of Ancient Judean Dates
According to the README [0] it's using neural networks:

> It uses two neural networks to predict the full palette. The first, model.js it predicts all the shades vertically from 50-900 given a certain color as input. The second, nextModel.js predicts horizontally all the colors horizontally given a certain shade as input.

[0]: https://github.com/dmarman/dmarman.github.io
3D Visualization of Sorting Algorithms in Java
In fact, the idea that races even exist is considered outdated and racist. France recently removed the word from their constitution because of that. The same is being debated in Germany.
It uses two neural networks trained with the original tailwind palette.
Here is the GitHub page with more info:

https://github.com/dmarman/dmarman.github.io
The issue is sharing the rights money. The current situation favours big teams and aso who own tdf

A distribution of money would also allow money to develop woman's cycling and the sport globally

It's been tried by Oleg tinkov and Jonathan vaughters. Ultimately tinkov left the sport
Ok, so what to you differentiates, in general, a "real" pixel from a "simulated" pixel? It's not clear.

Is this a term of art that games industry insiders know?

I understand what weather forecasters mean when they talk about "hurricanes" vs. "simulated hurricanes" . So how does that apply to pixels?

I apologize if I came across as dismissive of the headline, but there is a genuine comprehension gap here. OK, you understand it just fine, but that reply doesn't help me close the gap.
Do the French pronounce this as "Flau-Bear"?
haha cheers!
I found it funny that it actually sounds like crappy AM radio.
I highly recommend [Smart audiobook player](https://play.google.com/store/apps/details?id=ak.alizandro.s...). It has loads of smart little features like bookmarks, headphone button controls equaliser etc.
On the other hand it's typically quite easy to customize the UI of IDEs and hide menus and such to the point that it's possible to tune out whatever is left.

Therefore I'm tempted to look at this problem not from a technical but rather from a social perspective: I consider this preoccupation with editors as a kind of fixation and way of exercising power in a straightforward way as a part of an increasingly complex and unfriendly environment. We can't customize the stupid Scrum processes guiding our lives, can't customize the management which often is rather clueless about what we're doing, can't avoid that most software projects are ultimately pointless even if they claim they're changing the world and empowering users. But we can certainly customize our editors.

And then there's the social pressure from the typical hacker circles which would happily dictate what programming languages, tools and paradigms are good and which are bad. Of course this scaffolding all comes crashing down when one looks at the results and there's no discernible difference between the quality or success of projects where various editors or processes or languages are used. So the focus moves to personal benefits, personal preferences and programming as craft and so on.

But it's all just a game programmers play, isn't it?
I don't quite understand what a hand-colored copper engraving is. Does that mean that the entire image is composed of a bunch of separate perfectly overlapping hand-etched plates? How would you break up an image like that and line them up on separate copper plates by hand? The images seem too precise.
Having to use Xcode on MacOS recently reminded me how very much more productive my custom setup of Linux, Emacs, and Xmonad is.

Just one of reasons is the ease of code navigation, such as bringing some parts of code into view while keeping other parts visible, or not visible. I have it rigged up so well in Emacs that it doesn't distract me from my thinking of the actual problem.

A somewhat relevant story: One time, I was sitting on a park bench in my neighborhood, with a battered old laptop, doing some heavy semi-mechanical high-volume editing that didn't require much thinking. I was throwing a lot of rapid Emacs window management, isearch, ad hoc keyboard macros, etc. at it, and the task didn't require much second-guessing, which I suppose resulted in a lot of almost Hollywood-like "programming/hacking" rapidly changing windows of computer-y text on my screen, extend highlights flashing, syntax coloring updating, etc. At some point, some of the people who were arriving for a pickup soccer game in the park gathered round, and were just watching, and when I got to a stopping point, were kinda cheering and congratulating me (I think I didn't speak any of their languages), and one gave me a high-five. That brief moment of being nerdy-cool totally wouldn't have happened in notepad.exe, and, also, my task wouldn't have been tractable in that. (If I was using a lesser editor, I would've died of dehydration, as it took 10x to 1,000x as long, or blown out my hands from stupid mouse&keyboard RSI.)

(BTW, finding certain tools much more productive isn't due to an unwillingness to try new tools. I try new tools recreationally, and am also doing a complicated startup in which I have to do All The Things. But there are some tools I end up keeping going back to, after trying other things, because they really do seem to pay off in productivity.)

That said, apparently, the way Carmack personally uses editors, and what he gets from them, any old editor will work about as well as any other. And I'm not a snob about what works for me: I'd still hire Carmack, even if I saw him hunt&peck typing one-handed into notepad.exe in the interview. :) I'd guess there are other classes of tools in which he finds big wins in the details. Also, I know Carmack experiments with other tools, since he was even working with Racket/Scheme on Oculus for a while.
Check out https://www.reddit.com/r/TFABLinePorn/

A subreddit where users post positive or probably positive pregnancy tests.

Pregnancy tests generally measure hCG concentration in urine, early in the pregnancy concentrations are low and the test line will be very faint if visible at all. It's only later on in the pregnancy when the line will become more visible.

Pregnancy also involves a lot of emotion, hope & fear, in combination it's not that surprising that a portion of people misread pregnancy tests.
Thank you for writing this.

I have a common type of red-green color blindness which makes red look less bright (protanomaly), and I can attest that your suggestions make the charts clearer for me.
Yes, because belittling minorities and other groups that have historically had their rights systematically violated, by the people now making jokes at their expense is 100% ok.

It’s not hypersensitive for someone to say “stop making jokes out of our existence”, especially when those groups are still routinely murdered for the crime of existing.

Jokes that punch down should be judged accordingly
Doom on a Pregnancy Test
At 31, I have just weeks to live. Here's what I want to pass on
> who enforces the contract?

In any healthy small community everyone tries to, in order to keep a good reputation. In case of misunderstanding any third party appreciated by both parties may act as a judge/referee. The need for a government, especially central, only arises when the group isn't anymore a community but a large set of (on average) loosely related and interacting persons.

> Two people working together is pretty much politics. It's government. It leads there. Cooperation requires coordination

Coordination nor politics doesn't imply any government.
Also, GDP growth rate in Poland was double or triple of GDP growth in Belarus over the last 10 years.

IT has grown even more.
There is also Doom (2016) which (mostly) honours the simplicity of play found in Doom and Quake, but I found the mostly arena-style action rather dull and repetitive after a while. I missed the tunnels and so on in original games. Personally I'm now into modern games like the Dishonored series or Prey (2017), which a great mix of story, puzzle solving and action.
Crowd-Source Competitive Intelligence
We created a competitive intelligence platform targeted at flexible workspace. The deal is simple: if a space provides data, it gets access to a group of four competitors' data.

We then sell aggregated data to investment funds and landlords.
Cool :), I've been working on a 3d printed case for a floppy disk walkman, for old PC floppy disk drives -

https://github.com/anfractuosity/turbodrive

I had the case 3d printed, but need to finish the electronic side of things.

I bought some music from - https://strudelsoft.bandcamp.com/ (which comes on a floppy disk :)
Not only comfort. A lot of factors early on in pregnancy affect the health of the unborn child. Knowing when your pregnant will help you stop consumption of e.g. alcohol.
Very fast. The canonical example is the peppered moth (Biston betularia) [1] in the UK changing color from white to black and back to white in the last two hundred years. Coal power plants during the industrial revolution covered the surrounding areas in soot and darkened the white lichen covering those trees, which meant that the white moths were more visible to predators. Once clean air regulations and technological improvements eliminated the soot, the gene that turned them black became a liability and the population was once again taken over by the white moths.

The specific mutation event was traced to around 1819 [2] and by the turn of the century, the white variant was all but gone around industrialized cities (someone even wrote Darwin about it in the 1870s). Starting in the 50s and 60s, the distribution began to reverse once the air started to get cleaner and now we're back to a largely white moth population.

[1] https://en.wikipedia.org/wiki/Peppered_moth_evolution

[2] https://www.nature.com/articles/nature17951
Achieving gigabit communications between stars with gravitational lensing
Same thing for podcasts. I'm actually working on an app to do that, not only "audio bookmarks" but "audio tagging" as well. Associate bookmarks and tags with specific points in time in the audio.
Apple’s Surprise iPhone 12 Upgrade Suddenly Confirmed
The author also has a series of tweets giving a high-level summary:

https://twitter.com/hippke/status/1302875049255473153
When something doesn't make any sense, it's usually because of the government. This would fall into that category.
The problems are not kids, the problems are grownups. Like police, border control, visa applications, which can harass you if you dare to voice your opinions.

Which is a problematic turn of events. When I grew up, the western world was not like China or Eastern Europe, as it is now. So you didn't use pseudonyms, because your name was your brand. Only immature kids or lgbt people used pseudonyms, the rest was honest, and it helped you with your job prospects. Now a new wave of fear, bullshit and lies has taken over cooperate and public matters. You can now even trust the Eastern Europeans more than westerners.
It says it means "That one" in Google translate? What's up with this?
The Network Liquidity Map: Why Time Matters
> insisted that all ideas deserve a level playing field, rather than accept that some ideas are simply better than others

Those of us who insist on a level playing field do so not because we care for "bad" ideas, but because we are concerned about who is going to decide what ideas are bad.
Data analysis made easy: Text2Code for Jupyter notebook
It's pronounced "nega"
Purists might hate me but an open world commander keen has been something I’ve wanted for a while.

They have a lot of foundation for a great universe.

Hopefully they go Mario 64 style and don’t get gritty/realistic. It could be awesome.
It basically sounds like "n*gga" when said fast.
Another benefit on that line is that read-only memory can be shared between processes.

I'm not sure that this is hugely relevant these days for small stuff, though. Like < 1MB... how many instances of the same program do we have running simultaneously, anyway?.
Suruchiauth
Seize all university endowments--the crystallization of privilege--and distribute the money as reparations
The thing you probably need to know about cycling is that everyone crossing the line in the same group gets the same time regardless of if they were first or 100th.

The difference in energy required to ride on the front of a small break away vs in the middle of a peloton can be as high as 50% on a flat stage.

Given that, realistically what would happen if you attack on the last flat day is that the peloton would just follow you and wait for you to tire yourself out.

The domestiques on the front of the peloton can we swapped over time to give them a rest so that the peloton never slows and in fact increase its speed over time.

This is why the sprinter's teams almost always catch the breakaways and why the beakaways are allowed to go up the road in the first place.

Sometimes the peloton gets the sums wrong or doesn't factor in the affects of the wind and the break succeeds but not very often. By the last day of the Tour the leader can have minutes on second place so the chances of them making that up in a break are pretty small.

Aerodynamic inefficiencies and tradeoffs are one of the things that make cycling such an interesting spectator sport for TV.
> Surely that's a crock of BS? In what situation do bash histories contain typed passwords in plaintext?

When you mistakenly typed it at the shell prompt instead of the sudo prompt, for example. Speaking from actual experience.
>Could a bespoke audio player could enhance low bitrate audio back to sustained listenability?

Well, that's what compression is, isn't it?

I guess you are asking about how good is ML as a compression mechanism. People are thinking[1] about it.

[1]https://petewarden.com/2018/10/16/will-compression-be-machin...
Serigne M. Bousso Dieng: "Serigne Touba n'a jamais demandé de célébrer le Magal chez..."
I still have documentation of the progress. It probably needs some work before it's useful to others but maybe it helps someone :)
When there isn't any fixed hierarchy (governments...), bad/selfish people don't amass power (counting on non-reasonable people who will blindly follow their orders) so everyone else can actually handle them on equal terms.
Call Ed at Best Quality Vacuum. (505) 842-4205.

5 stars, would use again.
The ponounciation of "那个" in Chinese is similar to "nigger", which makes some students unhappy.
The EU says individuals, and I've always understood it to be anyone in the EU countries plus EU citizens anywhere.

https://ec.europa.eu/info/law/law-topic/data-protection/refo...
Woman hatches ducks from Waitrose eggs
> Last Thursday in your GSBA-542 classes, Professor Greg Patton repeated several times a Chinese word that sounds very similar to a vile racial slur in English. Understandably, this caused great pain and upset among students, and for that I am deeply sorry. It is simply unacceptable for faculty to use words in class that can marginalize, hurt and harm the psychological safety of our students. We must and we will do better.

This was apparently written by a university dean, in a Western country, in 2020. Not during the Dark Ages or the Inquisition, in 2020.

Assuming it's true, if that does not make people pause and doubt human progress, I don't know what will.
A while a go there was meme on reddit called "nae nae", a Chinese song repeatedly singing "that one that one" https://www.youtube.com/watch?v=gTkNFnDcPLA
Previously on HN:

Why Uber Engineering Switched from Postgres to MySQL (2016): https://news.ycombinator.com/item?id=17280239

A PostgreSQL response to Uber [pdf]: https://news.ycombinator.com/item?id=14222721

One important point is that Uber wrote this running on Postgres 9.2. The latest Postgres release is now 12.4
The usage notes on this site for with the transcript of what the professor said: its a filler word, sometimes repeated like English "um, um".

https://resources.allsetlearning.com/chinese/grammar/The_fil...
Flo-bear, yes.
Just wait until they figure out what the word for the color "black" is in Spanish...
Am I the only one that is extremely wary of psychoactive substances being used as magic bullet treatment method? You tend not to hear about the people that have had a permanent increase of anxiety and long lasting schizophrenia from usage. This drug does not work well for everyone and you only find out once you have taken it. A bad trip can ruin some people permanently.
Sorry but wake me up when the wealthy have to contend with even a new slightly higher tax bracket, and then I'll listen to their hyperbole about the Khmer Rouge.

If this is genuinely something you're worried about, maybe a good idea to head it off at the pass by supporting a more equal society today.
Not sure if this link will always work but here is the instance being referred to: http://languagelog.ldc.upenn.edu/~bgzimmer/zoom_0.mp4?_=1
https://web.archive.org/web/20200907082111/https://languagel...
There have been tons of memes about this exact misunderstanding in SAT for a while...

The first few times I heard it (as a native English speaker) it made my head turn but it's such a commonly used part of Chinese that after hearing it for the thousandth time you stop hearing it as English.

EDIT: After watching the video I have to say that the combination of pronouncing it a bit off and surrounding it with English made it sound pretty bad on the surface, but it definitely didn't sound intentional.
Human-God Interfaces
I was working at Xbox when we made the same change there. Web analytics were showing a massive drop-off in signup as users struggled to think of a good gamertag that wasn't already taken.

At the time you had to pay to change your gamertag so when we introduced this you got a free change after it had generated one instead.
Romanised it’s “nà ge“. According to the linked article it was deemed too similar to a racial slur.
Lmao. I go to school with a lot of mandarin speakers (CU) and it’s fun to see non-Chinese-speaker’s ears perk up when they hear something so close to a racial slur.

I made a joke about this exact scenario years ago.
The greatest achievement of Elixir is making the Erlang platform and ecosystem accessible to everyone. And that's because its "Ruby-ness".

I learned Ruby with Rails, so in the same spirit you could learn Elixir with Phoenix and I really think it's a bona-fide approach to "graduate" to the BEAM world.

But, caveat emptor, the BEAM world is like an alien wunder-weapon: everything we take for granted in the modern web development world was already invented --with flying colors too-- in Erlang/BEAM so there is a lot of overlapping in terms of architecture solutions. In a Kubernetes/Istio world, would you go for a full BEAM deployment? I don't say it's not an already solved problem but what's the perfect mix-ratio? It depends.
One note - there's no hard r in 那个 unless you're speaking a Beijing dialect. In that case there's hard r's (儿) after basically every word.

Edit: TIL there's a Wikipedia article dedicated to the "r after every word" in Beijing dialect: https://en.wikipedia.org/wiki/Erhua
I can't sorry, since I'm not part of the MSVC team. The news that the MSVC preprocessor is C11 compliant made the round long before this specific ticket got the "Roadmap" tag slapped on though (which was on 20-Jul-2020). I guess we need to wait for the first results to show up in MSVC or a statement from MS.
This word means "uhmm" and you can hear it dozens of times in a single conversation.

It sounds like an English-language racial slur, but you stop being surprised to hear it pretty quickly when living in China. The story isn't loading for me, so I don't know the context, if this was a native Mandarin speaker speaking in Mandarin...

Reminds me of the time someone pointed out that "salut" the french for "hi" sounds like "stupid donkey" in Mandarin (or maybe Shanghainese, I forget).
I assume it's because the pronunciation sounds a bit like "nigga", though not really.
Surely if you send naked pictures of yourself to a lender you know what’s going to happen if you don’t pay up...
Yes. The lecture was on filler words, if I understand correctly, and Chinese use this word as "uhm" in English.

There is of course no issue at all.
Geoff Garrett would have done well in East Germany. The unproductive nomenklatura is oppressing the productive part of the population.

Why do humans always allow this to happen? The easiest way to shut down those bureaucrats is to ask publicly what their actual intellectual output is.

They often tend to get very silent. Also works for whip crackers in the software industry.
How much land would those 400 families need to feed their cows?

I think most prehistoric settlements were small. Around where I live, perhaps 5-20 houses.
When listening to rain sounds boosts arithmetic ability (2018)
I too am just embarrassed for everyone when I read these apologies, somebody go talk to the accreditation boards for that university and get it re-evaluated.