skysight-inc/HackerNews huggingface dataset:
Sounds effective, but I wonder where the author got that definition of "psychopath".
You should realize that saving billions of dollars on R&D is not really a good thing. It may get you up to a point, but you stagnate afterwards, because you didn't cover your fundamentals and build the skills necessary to advance forward.

At a national level, the R&D spending is actually important to build up your society's fundamental expertise in an area. You learn from your failures and mistakes. And in the meanwhile, you build up the expertise in your population, and those people, may later leave, and form other companies, which further advances your society.

However, if you can get the research results of your competitors, and learn that certain paths don't work, then you can save time and money, and not go down that same path. But, I still feel that you learn most from your failures, because you build in safeguards to prevent them from happening again in the future. So you end up with a technique, a system of systems, to build out your final product.

It's like Edison said, "I have not failed. I've just found 10,000 ways that won't work."
Gentzen's Rules for Natural Deduction
Have you tried turning off ublock/etc. first?

For me it's usually extensions.
The relentless attack on the family in the West may also be related
Excerpt:

"I started my coding career using a Turbo Pascal clone for the Commodore Amiga, something called High-Speed Pascal, published by UK based company Hi-Soft."

It would be interesting if an open-source version of this Amiga Turbo Pascal clone - was available somewhere...
Not really, it depends on the surrounding context like it's explained on the video.
Going to challenge you a little on this one, why would I use this over https://www.worldtimebuddy.com/ :)?

I get the point about making your own time, but that seems a bit hard as you still have to calculate and add it to your calendar right?
Honest question: has this any relevance outside of academia?
People are still obviously using 1024 bit RSA keys which are more of a problem.
The more common usage would be "tl;dw"
Golang port of simdjson: parsing gigabytes of JSON per second
I use the installer download script from https://github.com/munki/macadmin-scripts

Has always worked fine.
Adult adoptions to pass on family businesses large and small are somewhat common in Germany. Mostly it's used to save on taxes (nobody cares about the difference of sale and that kind of inheritance) however officially this can't be your (only) reason for adoption. That e.g. got the Darboven and Jacobs families into trouble who wanted to merge their coffee dynasties by adult adoption.
Continuous improvement brings huge returns over long period of times though, as GP pointed out.

in computing improvements in CPUs have been continuously improving at a regular pace for the past 20 years and you would not want to work with 2000 era CPU in 2020.
>Overly elaborate password policies (excessive complexity demands, passwords expiring, no reusing last five passwords) end up causing annoyed users to make bad decisions that compromise password security.

Similarly, an excess of popups doesn’t increase security. It annoys users to the point they stop thinking about individual security decisions.

It's particularly annoying b/c there's a subset of craftsmen developers who pay close attention to this problem, who realize these cures are worse than the disease, and who reverted years ago to not using these flawed security patterns. Many here on HN, for example.

And then there are Apple engineers who seem to be so far behind the curve that they're just now discovering and implementing patterns that others not only discovered and tested years ago, but discarded years ago.

It's like corporate 9-to-5'ers with no pride of craftsmanship or motivation to stay current with their field made these decisions. Either that or clueless management ordered it, which in any other company besides Apple would be my first guess.
Apple is so far gone in the closed ecosystem game, they're pretty much impossible to copy.
Watches definitely aren't obsolete. Just go look how many people on the street are wearing watches.

Well-made watches from known brands with a heritage keep their prices very well, even during economically difficult times. If you look at a mid-level luxury brand such as Rolex, you can invest $8000 for a watch that has a great track record in keeping its value: https://imgur.com/0XeTVg5 And that's not even a top-level brand. Rolex is considered mid-tier in terms of luxury watches and the Submariner is one of their lower priced models.

I find it hard to believe that you have some kind of special power to predict how such a stable market will suddenly experience a crash. Though I hope you're right, because I'd love to have access to great watches for a lower price.
Court says Melbourne dentist can seek user details from Google over bad review
Yes, agree that using the word 'narcissist' instead would have been better. Psychopaths don't necessarily feed on drama or crave attention.
Kinda tough to give a good answer without more context, IMO. What I mean is that a good e-commerce schema that serves a single small store and runs off a single database server would look quite different then a multi-tenant or distributed data store for a e-commerce site at scale.

The one you linked is a pretty typical relational model and isn't bad, but it has trade offs that I'd personally not make, however, that doesn't make it bad.

In the end context, scale and usage all determine a good schema design. Sometimes what would be a good relational design on paper would be tragically horrid in practice once you get beyond a small dataset.
Great to see after so long this has gotten done. This is the first major release under the Apache banner and driven entirely by community support instead of through Pivotal etc.

Groovy is a much needed piece of the JVM ecosystem as in my opinion there is no good other option that works really well as a scripting language while maintaining extremely small impedance mismatch with Java.
Version 5.8.3660 was released 15 months ago in October 2018.
> Adding friction is good because it will eventually push (force?) developers to use more modern, safer development patterns.

Or more likely it forces the retirement of known good software, and requires you to use unknown, newer tools that have had much less time for security and behaviour auditing my the general community over the years.
https://discussions.apple.com/thread/250719221

Thread on Catalina bricking Macbooks.
I'm pretty sure that you can configure zsh to write to zsh_history every command to prevent this
As far as I can tell you've misread the article. The grandmother of one of the emperors may have been Korean but the first (non-legendary) emperor was Jimmu who was born in Japan. I'm also a little wary of that article since it says "Yamato is the name of the family that founded Japan's imperial line" when Yamato is the word used for the ethnic group to which most Japanese belong. I'm wondering if there's a link here to the idea that Yamato people are mostly descended from the ancient Yayoi who took Japan from the Jomon and were probably from Korea (but not the ancestors of the modern Korean people).
> Did we invade China to prevent the mass killings that occurred under Mao? Did we invade Cambodia to prevent the Khmer Rouge? Did we really care when Saddam gassed Iraqi Kurds? Why did we support Saddam invading Iran but not Kuwait? Where was our moral outrage at the former? Where was our moral outrage when Latin American dictators brutalized peasants whilst we supported them militarily?

You're citing these as precedents, but really they're failures. How would things be different if the world had taken a stand against them from the beginning?

The Universal Declaration of Human Rights was written in the wake of WW2 - it would have been grand if the world tried to live by it.
This feels a little unfair; the function is invoked the same number of times, but C++ has a mechanism for removing the overhead of calling a function (inlining).
Adding friction will more likely resulting in most users blindly giving permissions to anything that asks for it. We’ve seen this before with the endless UAC dialogs in Windows Vista.
> What happened?

Acceleration of the following:

- commodification of information on the internet

- the subscription model

- incentives for tracking users' every move
I work in information security for 25 years. This is the most surrealistic password policy I have seen.

Fantastic awareness training material you have here (in the section "see, others have it worse than we do")

A sad part is that it is virtually impossible to use a password manager to generate a new password.
Nice article. Its just amazing how Little people know about Czernobyl. It was not few people died. There is at least 50 people who died from being radiated on the spot. But also hundreds of people in nearby area, from Ukraine, Belarus and Poland. Children also. And they still die. Because radiation causes delayed cancer and illness. Not a few. And it is reasonable people fear it will happen again.
>Rust is amazing though. I see this as the programming language of the future until the U.S. Government slams down the hammer and forces everyone to use DOD-approved Ada.

I'd be happy if we used ADA or Rust for embedded systems. They're both amazing in their own right.
sounds like scientist really thought about shading the planet
“Personal Renewal” by John W. Gardner
> impact of technological advancement upon the global climate

It's worth remembering that our technology makes the world less habitable for us but that might not be the case for other organisms. I have little concern for the longterm health of life on earth beyond the blip of disruption that is humanity. However, I hope we can use the same technology to overcome or manage some of our own worst excesses. It is worth looking towards the positive stories in environmentalism sometimes. It is not all doom and gloom, and nature's ability to regenerate and re-conquer our wastelands is easy to forget.
Yup. This shows why we need languages that are more amendable to formal methods. Proving stuff requires you to write short code that is obviously correct.

For most programs, an 'informal' proof would be a huge improvement already. The effort you have to put in non-formal proofs is much lower, but the main drawback is that they are not checked, so you might make mistakes in the proof (on the other hand, you can make mistakes in the specification as well).

The holy grail would be formal methods that work mostly like informal proofs. With todays methods you would only prove the smallest, most critical parts of the code correct.
Holy Panda Keyswitch
For people in reasonable but not stellar circumstances, the "don't blame others, own your life" advice is probably appropriate. For others, that advice amounts to insidious gaslighting.
I had to Google around to see what the security issues are, I haven't seen a lot of pop ups, maybe I don't use apps that need them. Catalina came on my new MBP 16" and I am loving the whole experience, a serious return to form on the hardware front and a neat new feature in Sidecar, really useful. No problems here. Also primarily JetBrains IDE user.
I’d call it maybe still a bit too new for applications where enterprise-level funds or harm to human life is in scope if the software fails. But it’s getting there.
I'll add a notice about this - thank you for mentioning that.
Transcripton App for Students on Product Hunt
For weather tracking you could try windy.com or your local weather service forecast. Both are more engaging and beneficial than other ways of getting weather news!
Nope. Catalina from the first release on 4 macs, all work fine. Also at work, hundreds of upgrades went through with no problems.

Apple and any hint of problems seem to be clickbait fodder these days. Almost seems like a coordinated pr effort.
Why do you think so? I would expect the vast majority of the proof to be about the semantics of the OS, not about language-level details.

Formally proving complex properties is just an inherently difficult and time-consuming task. That is the main reason it is not often undertaken, even in mathematics if I understand correctly.
I mean with just a few semesters of physics education you can bring people who don't know anything about physics at all to a Bachelor's degree. So in principle you can explain basically anything to an intelligent person of any time period if you put sufficient effort into it.

But to me that feels different than saying that inventions where sufficiently small steps away from a general engineer's education that you could "simply" explain them and not be met with wonder.
If, like me, you only recently decided to start listening to your music collection on a linux desktop and were dismayed to find that xmms was split into some odd client/server model, you can still use the original xmms 1.x. I wrote up how I built it here, since I found it a bit fiddly: https://blog.mclemon.io/debian-building-the-original-xmms
I think western cultures would also consider it the same business. There are a lot of family owned companies, but to customers that fact doesn't matter that much.

To be honest, I dearly prefer their model of slow incremental adaptation compared to a gig economy, that is sadly established in many western nations to a larger degree. I would even go so far as to say that it could severely limit long term prosperity growth.

Some say Japan has some problems on that account. I think we should look at it 50 years later an see who is laughing.
Instead of reading the news you can try reading books about current and past events. History books of all stripes will inform you more than the goldfish memory of newspapers ever could. I like that I pay for a book. It makes the transaction very transparent, unlike the hidden costs of newspaper advertising.
Also the numbers. 8-hour transatlantic flights were only available for the top 1%, they were ridiculously expensive.

Cell phones have made access to information available to the poorest. A tuk-tuk driver in Cambodia can affordably stream YouTube all day long (and they do!). The impact of cell phones in the last 10 years is far larger, and will impact far, far more people, than all of air travel.
Docker Desktop WSL 2 back end
This isn’t something I’ve encountered and I dock to three different desk setups most days. It’s typically good enough that it remembers the correct layout for multiple of the same type of monitor once configured. Is your monitor sending the serial number correctly?
I doubt "junior Microsoft devs" reintroduce what you think is somehow related to Linux.

And a "sane" operating system is independent of shells (whether *sh or PowerShell or cmd) and is also independent of the GUI running on it.

Button action is related to the GUI you're running, not Linux.

Delete key actions are related to termcap which indeed is historical. However, any sane GUI terminal handles that. How many people actually operate a windows machine via a serial port?

Cursor key support: I used terminals in the 70s and 80s. Many of them had arrow keys that were supported. See termcap above that was specifically to handle these sorts of issues.

Multiple clipboards, again, are dependent on your GUI, it has nothing to do with the terminal or the PTTY underneath it in Linux/Unix.

All output becomes text, is actually a misnomer. It is that all output (by default) comes out of stdout and is an octet stream.

SSH didn't exist when there were 300 (or 110) baud connections. TTYs did and devices like the VT-52 that supported certain escape sequences to do things that were relevant to a screen as opposed to a printer with keyboard attached.

SSH vs WinRM. Neither were around when the Unix TTY/PTTY/line drivers etc were established. In fact, telnet and rlogin weren't around either. They're not even comparable. SSH establishes an encrypted tunnel between processes, WinRM is a SOAP API client/server protocol for performing remote admin.

But hey, tell us what you think about systemd.
With this in mind, can gpg-agent be configured to use a better hash function with its RSA keys for use in SSH?
> did I do well in the last four years?

As in you did you personally do well financially or what have you? So you're voting as the ethical equivalent of a four year old?

The rule of law is threatened by a subtle erosion of norms in the administration of justice, but your 401k's up, so let's vote the incumbents back in?
https://xkcd.com/1095/
Right or wrong, this is an assertion not a style. Given that according to whoever wrote the Wiki article on Ramsey he was a 'British philosopher, mathematician, and economist who made major contributions to all three fields before his death at the age of 26' most people would have to rely on the judgement of specialists in these fields to appreciate his achievements. So it probably is 'hard' for the rest of us.
Was thinking of posting this as well. I have used "Triggers Broom" example in a contract negotiation involving spares.

Classic comedy works on so many levels.
It's not very GDPR compliant either.
I'm an old macOS user. I downsized what I need from a desktop and I'm very happy with my minimal setup.

I'm not using scaling from sway/wayland, but I basically just use emacs, firefox and alacritty, so changing those apps is all I need to do to get scaling done.
Internet domain “www.youtube.com” was activated today 15 years ago
You could try DelayWebpage, it seems to fit you better. It's open source so any feedback is appreciated

Link to the extension which in turn links to the git repo: https://addons.mozilla.org/en-US/firefox/addon/delaywebpage/
Agreed- that's why I said in the beginning I'm only talking about design verification. Verifying code is a long way off from going mainstream. I talk about the limitations of code verification in this essay: https://www.hillelwayne.com/post/why-dont-people-use-formal-...
Jeremy is probably one of the smartest people out there. The fact that he decided to allocate his time to teach and to build open source tools — that is: a selfless way to provide value to his community — is something rare & worth being acknowledged.
I have intermittent, but frequent issues with external displays not coming up when plugged in, or display output (HDMI only) being corrupt (I have to reboot to fix corruption). Brand new 16" MacBook Pro nearly maxed out. I suspect the issues are with the AMD display drivers.
Use a rational type :)
I'm pretty sure the server also needs to support it. The U2F signature stuff is different from SSH, so it needs a new authentication protocol: https://github.com/openssh/openssh-portable/blob/master/PROT...
Collect qualitative data in a different dimension
Also watch this please if you ever do plots using colormaps:
https://youtu.be/xAoljeRJ3lU

About the perceptual uniform, colorblind friendly colormaps in matplotlib since 1.5.
Now also adapted by most other plotting tools.
Sorry but how can you not hate open office plans?
StackOverflow even has a setting in your profile to block those. You have to be logged in, of course.
Just a quick note that, unless there's a very specific reason why you want the original XMMS (nostalgia, or a specific plugin?), it may be more convenient to go with Audacious. It has a "Winamp" mode that gives you the same interface. It also supports classic skins, from back when UIs weren't all flat and boring, so that you can look at your desktop without yawning for more than ten seconds.

Building heirloom :-) GTK and glib isn't a big deal, but Audacious is packaged by pretty much all distros.
Had a similar but less dramatic experience happen this last December when I decided to trade in and purchase an iPhone 11. There was a dead pixel on the screen so I return + exchanged it, however Apple quoted me a different price after the exchange. No idea house this happened, but they still let it go through. What takes the cake is when the genius at the pickup line tried to give me two pairs of AirPods as I was leaving the store “you bought these right?” I had to respectfully decline the free AirPods and left wondering at the pre-Christmas chaos that was taking place.
I think there is certainly an effect of aging and your changing perspective. I have noticed similar shifts in my thoughts, even about shorter time spans. As a child I remember feeling that there was a huge chasm between the WWII era and the jet/space age. Now, I can contemplate my parents' early lives of roughly 1940-1985 versus my own of roughly 1975-2020.

I can imagine how the transitions they experienced through the 1950s, 1960s, and 1970s may have seemed to them much like how my world evolved in the 1980s, 1990s, and 2000s. While I can surely find some milestone events in my personal life, I do not see stark boundaries I would consider truly different ages/eras for society as a whole. I remember how every recent transition took years and perhaps never completed.

I wonder if certain cultural artifacts and stories in history and pop culture give us a more consistent sense of past eras/ages prior to our own experiences. Things like railroads, electrification, automobiles, film, the great depression, airplanes, films with sound, color film, TV, antibiotics... they all were smeared over many years but we can easily ignore that when talking about the past.
YouTube was originally created as a platform for anyone to post any video content they desired. It was hoped that users could use the site to upload, share, and view content without restriction.

https://interestingengineering.com/youtube-its-history-and-i...
Absolutely not “coordinated pr effort.” Safari stops rendering entirely on iOS every now and then, seems like a pretty major bug no? Not fixed for like five releases. AirPlay 2 is an absolute joke, stops playing after five minutes on the dot in some situations. Again, no fix in like a solid year.

Good for you that you don’t have any problems, others do. Regression type problems.
what a sick joke
Maybe, maybe not. There's a theory that fungi that breaks down plant matter today didn't exist during the Mesozoic - it's possible that subsequent civilisations (if any) aren't going to be able to turn to fossil fuels for cheap energy.

Not to mention that the goldilocks zone doesn't last forever, and the impending runaway-greenhouse-effect is something unprecedented in Earth's history. I'm being hyperbolic here, but what if the earth never had another ice age, ever again?
In a sea populated mostly by jellies and cephalopods, would natural processes be able to sequester enough carbon to allow de-acidify the seas, finally allowing calcium to be used as an exoskeleton again? Or is earth's future going to be predominantly boneless?

Sure, life will never be extinguished until the seas have boiled away (and even then...) but the incredible biodiversity of life we had a few hundred years ago is likely never to return... ever.
Thanks for the informative write-up and explanation.
It would be appreciated to clearly disclose sending referral traffic to the JS library provider, and also earning "geekcash" for the article

https://on.morioh.net/b0a3f595aa?r=https://www.flexmonster.com/?r=fr5

https://morioh.com/register?next=%2Fsubmit (see "GeekCash")
The seL4 code didn't start out as C. First they wrote the whole thing in HOL (an ML dialect), then translated that to Haskell, then translated _that_ to C. Verifying code is correct is Just Plain Hard.
- I'll be making a section for deprecated stuff and move everything of that sort into one section. Good suggestion.

- I've added a bunch of new fonts to the site, just now. It's a temporary selection of fonts - but include nicer ones like Source Code Pro for code, and a sans-serif for headings and navigation bar.

- Thank you very much for mentioning that. That's a way nicer handle!
WSL 2 is what finally made WSL usable for me. On WSL 1, build times were significantly slower for large compiles due to file i/o but WSL 2 is basically at parity with native Linux.