skysight-inc/HackerNews huggingface dataset:
Automotive grade programming is a joke. There have been numerous posts here including one a couple days ago about the auto accelerating Toyota’s and it was pretty clear that the problem was with Toyota’s programming as well as their lack of testing. https://news.ycombinator.com/item?id=10437117

Not to mention the numerous ways current automotive manufacturers fail at cyber security. Stuff like OnStar and being able to shut down cars remotely.
Or is it more that the local population has been in place for 40k years so these stories could be that old?

That is very likely. The Aboriginal Culture has strong affiliation the land and to a tribes' Sacred Sites. They never move far from those Sacred Sites. Even if they move away seasonally, (say from a mountain area to a seaside area while following food) they will return to 'their' mountain area the next season, again following food.

The Aboriginal hunter-gatherer lifestyle places great importance on conservation, both on flora and fauna. Breeding/growing seasons are usually off-limits so that the food supply can be allowed to be restored properly.

Some tribes had a workable fish-farming system for hundreds (thousands?) of years. The remains of those ponds are still existent today (Byaduk and Condah area). https://theconversation.com/the-detective-work-behind-the-bu...
Great, thanks. I found a freely available pre-print at http://alfredo.pironti.eu/research/sites/default/files/cf11....

The relevant content is mostly on page 2. They seem to be saying that when it comes to crypto, both the requirements work and the implementation work are both challenging and error-prone, even for expert practitioners. I don't think they're exactly saying anything against formal methods, though:

> It is significant, for example, that the above mentioned flaw affecting the Needham-Schroeder public-key protocol could be found by applying formal methods

Later, under Motivation, regarding what are essentially integration bugs:

> in OpenSSL an error condition returned by a cryptographic function was incorrectly interpreted by the function caller, making the application accept corrupted data; such a fault cannot be found if a formal model that has no relation with the implementation code is analyzed

Not exactly a demonstration of a weakness of formal methods. Instead, an instance of a bug (a normal one, not a side-channel vulnerability) occurring in a system which was only partially formally verified.

> a large gap still exists between these models and a real-world protocol implementation and its execution.

A problem with real-world implementation, not with formal methods. I wonder what they would have made of 'SPARKSkein', released around the time that paper was published. [0] I suppose it wouldn't have been anything all that new - integration bugs could still occur.

[0] https://www.adacore.com/papers/sparkskein
Oh it’s about self driving and computers. When it comes to car electronics I care more about how the parking sensors and power windows will work in 10 years than how many watts of outdated neural processor it has.

On an electric car I do care about battery management electronics though. That’s where I thought Tesla had the important edge over the competition.
40 Powerful concepts for understanding the world in 40 Tweets
Using Twitter is a privilege, not a right.
Well, Assange does stir emotions in many. That makes him such a hard topic to discuss, even if from a (human and press) rights perspective, the whole thing is pretty cut-and-dry.
I do tech at a non-tech company. Colleague has been doing Python for about 6 months. He can't do for-loops. His brain just doesn't get the concept (among others), I've never seen anything like it. Other guys make general computing mistakes like trying to type into a command prompt while another window is in focus, then messaging me saying "there was an error."
You shouldn't feel bad about this, you might have saved someone from a lifetime of fixing wacky science bugs in exchange for not a lot of money.
That's a really bizarre way of describing the most popular framework. If it was as cult-ish as you describe I don't think that would be the case.

Also I really think you're overselling the differences between React and Vue. I generally think of them as interchangeable.
Huawei sues Verizon for patent infringements
for some reason, a LOT of people here do not like assange/wikileaks anymore. which is super weird imho.
That makes sense; I know people who've tried out this app called StickK where you donate to anti-charity if you don't follow habits. Definitely something on our minds.
It looks like there are some applications. Checksum algorithms are probably the easiest to appreciate.

https://en.wikipedia.org/wiki/Digit_sum#Applications
It's remarkable how many user-hostile annoyances and dark patterns of web design have gone mainstream.

Designers seem to have learned the wrong lessons. If users are blocking your pop-up windows (or other annoying features like autoplaying video) the proper response is to design your web site to work properly without the irritating features, not to come up with a new way of invoking them that works even in the face of powerful blocking mechanisms and user opposition.
> Don't ever turn the resolution on a 4k monitor down, unless it's for performance reasons (e.g. gaming). Every OS has UI scaling built-in now.

So, I have a game I want to run hitting the following properties:

- The game should only render 1920x1080. This keeps fps around 30.

- The game should cover my whole screen.

- Running the game should not resize all my other open windows.

All of these seem like stupid-obvious goals, but there doesn't seem to be a way to get them all. The game itself offers fullscreen (which automatically resizes my other open windows, when the game resolution is lower than the desktop resolution -- I don't understand this ridiculous anti-feature, but it doesn't seem to be configurable), and windowed mode where the window occupies a range of pixels equal to the game resolution (which is a really small window, and really hurts enjoyment of the game). I've tried sending win32 messages [well, SetWindowLong; I think "messages" are something different] to a 1920x1080 game window to expand its rectangle, but the game just starts rendering higher-resolution images for the bigger window -- even though it's configured for 1920x1080 -- dropping the frame rate.

Are you saying there's a way for me to scale this window to get the behavior I want? (Render a 1920x1080 image, then paint it over the 3840x2160 desktop.) What is it?
Trust is a big part of a credible cryptocurrency. Can you really trust a currency that the vast majority of people don't understand?

I don't think cryptos will ever take off without widespread institutional and gubernatorial support. Governments will probably issue cryptos themselves eventually. They are an opportunity for the government to create a centralized Federal Retail Bank that reduces the amount of rents and subsidies captured by commercial banks. Every citizen would have a free digital checking account, fully backed by the issuing government. When someone wants a loan, commercial banks and fintech companies would get temporary access to user data to compete on providing that loan. The data would only be used for that loan in particular, and it would be illegal to use it for any other purposes, or to retain it after the loan is done.

The government cryptos would have to be as impermeable to hackers as your current digital bank account with (insert Big Bank here). Obviously, while such a system has tangible consumer benefits, it wouldn't be nearly as libertarian as Bitcoin.
Can San Francisco be saved?
All you have to do is look at someone like LeBron. He single-handedly makes a team a championship contender.
That’s missing the point completely.
In many cases small businesses can take on non accredited investors. Like a rule 504 offering if less than $1m is being raised. And if you are raising more than $1m, a 506 offering allows for up to 35 non accredited investors. If you are raising more than $1m and have more than 35 non accredited investors a public offering is compelling.
Every phone on the planet has at least one compiler built in.
You still need to consider the functional aspects of the service, as well. Perhaps you're using some critical software that suddenly has a very bad CVE. It turns out that the only developer working on it was hit by a bus, and now the magical connector between your git server and your LDAP server has no functional replacement (or the replacement isn't compatible with your current setup). No amount of better abstractions will prevent a painful midnight page.

There will always be a meaningful amount of effort involved in supporting your own systems, and that cost (be it in ongoing maintenance time, or in lost time because your own system failed) _can_ always be higher than paying to outsource the work to a trusted third party.
Apple Says Coronavirus Work Slowdown in China Will Hurt Revenue
I can see how you could get confused. "Svetlana" is a strange name since it hasn't been used to name real people until early 20th century. The most famous Svetlana had always been the character from the eponimous poem. The name had been used to name things, places and literally characters but not real people since it has not been recognized by the Church. So, in a sense, it is the Stalin's daughter who is named after the factory.
OSX has had sub pixel rendering disabled by default since Mojave. It also never had the strong hinting that you can find on Linux and Windows which makes text significantly sharper at the cost of differing from the shape as specified by the font.
Define "small paycut." Mid level engineers at FB and its ilk are pulling in 400k+ including RSUs and bonus. You'd be hard pressed to get even a very senior position at a small startup that pays even half that in real cash.
I don't think low budget vps providers typically allow this. That said, fail2ban works OK, as does manual iptables (now nftables) - unfortunately /etc/hosts_allow is deprecated[1].

If you don't know that you'll be able to arrive from an IP or subnet - another option would be port knocking. (eg: knockd). Although, I'd try to avoid adding more code and logic to the mix - that goes for both fail2ban and knockd.

[1] ed: Note, the rationale for this is sound: the firewall (pf or nftables) is very good at filtering on IP - so better avoid introducing another layer of software that does the same thing.
> It comes from terrible "corporate drone" software developers in the 80s and 90s - the ones that would takes weeks to developer simple routines.

Ironically, a lot of the 0.1X engineers I've worked with in the 2010s were the most technically competent. Obsession with cutting-edge tools and being technically correct over shipping quickly can sink a person's productivity.

They're the people leading the charge to rewrite the front-end in Vue after we already rewrote it in React when Angular fell out of style. Or rewriting the backend in Rust because Golang isn't trendy any more. Or refactoring the backend for months to increase test coverage from 93% to 95%.

My personal indicator of a 10X programmer is someone who knows when and how to trade off technical debt against speed of execution. A brilliant engineer with all of the knowledge in the world can still sink a team by working on the wrong things all the time.
Back when I was in college google stole the ad money my website had generated. They let me run ads for months, but when I went to check out they accused me of click fraud. No recourse, no customer service, and absolutely no respect from Google about this.

Even now, more than a decade later, I refuse to use many Google services (such as their cloud) because I know they built part of their business by stealing from people like me.
> Almost no platform survive without a bit of moderation. If you don't moderate, you'll get any kind of content, including spam, troll, etc...

There is moderation and there is censorship. Nobody is against filtering spam. Trolling is fine in my opinion. Just let the user have the option of blocking who they want to block an follow who they want to follow.

> Add that to the fact that you'll get people that will just push to boycott such kind of platforms, and thus you'll no longer have much possible ways to make this kind of platform exist.

If that was true, twitter, reddit, facebook, google wouldn't exist in the first place.

> That's also kind of impossible.

No it is not. Publishers don't find it impossible. Platforms don't find it impossible. If it was impossible, telcoms and publishers wouldn't exist.

> It could be an interesting experiment though to allow legally the kind of platform you suggest.

We already had this kind of platform.

> It would most probably look like 4chan, but still interesting.

No, it would look like 2009-2013 twitter, reddit, facebook, etc.
“Avoid having to rewrite a legacy system from scratch via strangling it” vs. “Rewriting a legacy system from scratch by strangling it is something you should avoid doing”
Back in the early 90's I had a "Sony News" newspaper layout monitor with hardware that displayed a full 2-page newspaper spread at 16 grey-levels. I got addicted and mourned the loss of viewing giant amounts of source code and terminal/app windows.
When 4K came out, my dream returned. I'm currently working with four 4K monitors, no scaling, that is also Input Director linked to a second system with two more unscaled 4K monitors, but those are portrait (tall). I'm in heaven, again.
The solution that is within everyone's reach is to choose to use simple blogging as platform for communication. The standards (RSS, HTML, HTTP etc) are open and if you keep the domain name within your control you will be much less vulnerable from de-platforming.
Nothing like waking up in the morning to find it's still 85, and only gong to get 20-25 degrees warmer as the day goes on. Welcome to Texas. (And yeah, I get that you probably use those insanely crude metric degrees that are too coarse for use by a thermostat...)
Yes -- but you shouldn't state the truth because it makes every non-top programmer feel bad :-)

I have another similar funny example - whoever invented bitcoin, that person single handledly created more value than all the YC startups put together PLUS a lot of other incubators, plus a lot of other companies. I wouldn't be surprised if in less than 10 years, you could add to that the total capitalization of the FANG (as in F+A+N+G) and still that one person will have had created more value -- alone.

It takes some special persons, who have not just the wits, but A) know extremely well one or more domains that are generally not connected - say software, finance and game theory for Bitcoin, or software development, project coordination of thousands of persons and hundreds of companies, and scale/complexity issues for Linus B) has already played with the existing solutions quite a bit and know why they suck C) has the opportunity (free time, etc) to scratch this own itch.

I know, people will often tell how it's wrong, how both project are special exception, but then what about Fabrice Bellard? What about the many others? Are they all special exceptions?

TLDR: I believe Kx programmers have a statistic distribution with a very long tail. There are some K=10, some K=50, some with a K even larger. It requires multiple skills + motive + opportunity. Any missing factor and the magic doesn't happen.

Deny the existence of the 10x programmers if it makes you feel better about yourself. Use their existence as a source of inspiration if you want to improve yourself.
Remember when RSS was a thing? It was actually pretty great.
I was also curious. Using an out-of-the-box weighted random forest, I got an f-score of ~.85 using a 75:25 stratified train-test split.
Except the contract to develop the software went to a political crony instead of a qualified nerd.
How many satellites currently orbit the earth? Aren’t they planning to launch a thousand or two? That’s a pretty substantial amount of things!
I would assume some associating it with Trump is behind it.
A few people have touched on it here, but I'll add my voice. I firmly believe that there are programmers who are better described as a "1 vs. 0" programmer. Some programmers have a creative talent in them that leads them to create elegant solutions that literally a team of 50 average programmers would not.
I have tried hdmi 2.0 and Displayport from a 32” lg 4K to an Ubuntu 18.04 box with a 1050ti, both seem to work in Linux and windows 10. Displayport to usbc also works at 4kp60 for my MacBook. This was tested with a cheapo monoprice cable and a LG cable.

Edit: code & text is 100% better on a 4K moknitor with proper scaling.
Coronavirus causes mild disease in four in five patients, says WHO
There are companies programmers are the ones doing the estimating, project managers hold them accountable, and managers dish out promotions and convey priorities.
I don't think your argument makes sense. People use things that they don't understand every day. Do you understand how a plane works? Or how the current banking system works? Or even how HTTPS and the CA system work?
Thanks, that's useful information in the context of this thread. Looks like the money will come straight from him and not any foundation - something unusual these days, but it does show his level of commitment.
It is a Monoprice 4K 32”: https://www.monoprice.com/product?p_id=27772
Yeah, I totally have to agree.

They have repeatedly cut streams and stated they aren't allowed to show the payload deploying.
Hmm well it’s not like every laptop or adapter that has HDMI involved is guaranteed to support HDMI 2.0, either. I’m not sure how this is an example of Apple doing something user-hostile. It’s an example of two similar industry standards existing and having different levels of capability at different times.

Plenty of non-Apple products don’t support 4K 60Hz and plenty of non-Apple laptops require some kind of adapter to connect to a full size HDMI port, like the current XPS 13.

In fact, Apple switching to USB-C was moving from a proprietary connector (MagSafe) to an industry standard. So I’m struggling to figure out how that’s user-hostile. It’s better than all the business laptops with proprietary dock ports or the proprietary surface connector.

I guess it sucks that I was an early adopter and I got the early adapter but on the other hand 4K displays weren’t anywhere near affordable in 2016.
Better to encourage it then, surely. If rich people are doing good things in order to win praise, what's the point of denying it to them? If enough of us react that way, we won't diminish the power of the rich people, we'll just get to watch them spend their money more selfishly.

This doesn't mean staying silent about the bad things they do. But if we only respond to the good things by bringing up the bad things, we end up perversely being more critical of the ones who do some good, and diverting our scrutiny away from those who don't even bother.

(I haven't looked into this pledge, so I'm just speaking on the hypothetical case where it is likely to do good, as you've acknowledged is at least possible.)

edit: I just noticed that you say in another comment you 'do not believe in climate change'. In which case I guess this line of reasoning won't have any force for you. But maybe you can understand why people who do see climate change as a serious problem are going to take a pragmatic view, and treat the investment of $10b as vastly more important than the lifestyle sacrifices of a single person.
It's not just the Africans who operate in Africa. This will enable foreign investment for them.
Except we know this isn't true. All of their systems have key word input with manual curation for suppression/boosting. Google maintains blacklists for news etc etc.
Yes. And yes. I am Canadian and complacent is what we are. I spent last year in Russia and France and no one there is complacent. I feel that complacent is the best way to describe our comportment.
18.2.2020 is easy if you recognize that 2020 must be a year and 18 can't be a month. But if you want to parse 18.2.2020, you probably want the same parser to handle 1.2.2020.
Yeah, you can use Zapier for that, but you haven't mentioned anything that couldn't be done just as easily with curl and a shell script... I don't have anything against Zapier, in fact I have a good friend (a dietician) who build a bunch of Zaps to semi-automate her business, a good call for someone who has zero interest in coding. It just seems to me that anyone reading HN might find it easier to not use Zapier or IFTT...
The DMCA is fine. It’s everything services providers to in addition to DMCA that causes problems. The DMCA process is very simply:

1. You receive a takedown notice

2. If it’s not valid, you submit a declaration that it’s not

3. Your content is restored and the claimant now has to take you to court if they still think it’s infringing

4. If you lied on your counterclaim, your now also guilty of perjury

The only thing it’s really missing is an imminent threat of perjury for frivolous claims (there also some obvious areas to make the process more efficient). But as far as a simple way of managing offending content, while still providing due process, the general format is quite good. It’s other unrelated policies that tend to get people the most riled up.

https://www.publicknowledge.org/blog/universal-music-group-a...
The worst part isn't that it's time consuming but simple changes often require you to redraw the whole thing again. So for the most part a simple mermaid or graphviz is much more appropriate.
Yes, yes, yes. There needs to be more emphasis on common protocols. This space is much less vibrant in the, say, past 15 years, than before that. If we exclude cryptocurrency I can not think of any common, groundbreaking protocol introduced since Bittorrent. I am probably missing some, but in the 90s and early 00s protocols were where the exciting stuff happened.
Speaking as a guy with six 4K monitors on my desk, get Samsung over LG. My two LG monitors are a bit soft, whereas the Samsungs are sharp as diamonds.
I guess it works a little better if done for historical subjects where their contribution can be viewed from a distance.

There are plenty of computer things and people from the 70s and 80s which would make great documentary subjects.
You don't get TLS certs for both apex and www subdomain from GitHub though.

https://github.com/isaacs/github/issues/1675
Apple says will not meet revenue guidance for quarter due to coronavirus impact
Finally uninstalled Chrome after X amount of years after using Brave successfully for a year. Kept Firefox around just in case. :)
Not true. I get the same scaling options on my 4K monitor as I do on my Retina display.
Right the tension rod release mechanism isn't shown. The tension rods are chucked away as space junk which the announcer probably doesn't want to talk about. Also agree it's kind of secret sauce. Much simpler than oneweb's corncob dispenser.
You dont rewrite modern software.
China’s students will now study online because coronavirus has shut schools
On the opposite, Twitter having the opportunity to earn tons of money from a public good as the Internet is a privilege, not a right.
The time-spatial discretization is 4D. There are many different state variables within each grid cell.
Baby Hercules, avoid getting eaten by that serpent by strangling it.

vs.

The next time you catch one, Lennie, avoid killing a mouse by strangling it.

...

Do you strangle it to avoid it, or do you avoid strangling it? The age-old question.
Off topic, but you know the person doesn't play chess when (this is very common) they think that a chess master can spot a mate-in-1 and nobody else can. Mate in 1s are fairly easy to spot if you've been playing chess for, let's say, 2 years. In reality, a chess master would spot something like "bishop to queen whatever, rook takes bishop, pawn to whatever, rook takes pawn, queen to whatever and then you have mate in 2"
I'm only whining about this because it's too common a cliché in popular culture.