KuiN

William Langewiesche has an excellent article on Gol 1907: 'The Devil at 37,000ft'.

Goes into a bit more depth on your point. Our expectation is that increasing use of tech in planes should make us safer, but in this case it _increased_ the chance of a mid-air collision. Of course planes have TCAS (Traffic Collision Avoidance System) to stop this happening, but it's no magic bullet ... particularly when it's turned off.

https://www.vanityfair.com/culture/2009/01/air_crash200901

> The lungs, heart, and liver of a sheep boiled, ground, seasoned, mixed with oatmeal and stuffed in its own rectum

Hey we're no monsters. It's the heart, lungs & liver of a sheep stuffed into it's _stomach_ not it's rectum. (Though often these days it's in an artificial casing, the whole stomach thing seems to put people off).

Many of the "holes" that were "obvious" in the low-res photos have been shown by better photos to be rocks & pebbles (kicked up by the impact) landing on wreckage.

As suspicious as it seems given the political context, there's no proof the crash involves foul play of any sort.

Found 51 CVEs relating to systemd since 2012 in a naive search[0]. All software of systemd's complexity has bugs, but a CVE every ~2 months over 7 years isn't hugely encouraging. Never mind the ever increasing surface area as systemd seems to take on ever increasing amounts responsibility in an average Linux system. I'm absolutely biased and have been unconvinced from day 1, but I've not seen much to dull my scepticism either.

[0] https://cve.mitre.org/cgi-bin/cvekey.cgi?keyword=systemd

I've always been interested in busybox and other similar tool sets - I even wrote a very simple set of coreutils clones at one point; but I've never really understood the use case. I like Rust & I like using modern tools when there's a benefit. But whatever coreutils Apple ship or come with a reasonable Linux distro seem to work 99% of the time for my work. Simpler & smaller I get for restricted embedded, I'm sure I've used them doing embedded work with small ARM boards & a custom tiny Linux - but the payoffs have never seemed too enticing.

There's a lot of detail in a really in-depth (but very interesting) AnandTech article about Intel's 10nm process [0]. The basic idea is Intel have multiple distinct sets of logical unit designs at different densities which have different characteristics. It's like having multiple software libraries that do the same thing but have different performance etc. except it's a library of silicon building blocks. You trade-off speed with density (highest performance library uses the least dense circuits). Each chip's design can be made up of bits of silicon from these different libraries. Different densities also have different power consumption, so in cases it makes sense to build low power chips that have small high performance, power sucking parts that can be used sparingly.

[0]: https://www.anandtech.com/show/13405/intel-10nm-cannon-lake-...

> Zuckerberg (Bad: 1.0000 - Good: 0.0000)

At least it gets something right ...

You can. Just not American suburbs, apparently.

Recently switched my work (full stack web) Macbook to Firefox and I'm pleasantly surprised by how capable FF's dev-tools are compared to Chrome. I was expecting it to be a much more difficult transition. Still running Chrome on an iMac at home (we use a lot of Chromecast there, so I imagine switching will be a bit more painful) but would like to divest from Google where reasonable.

Docker Swarm mode. Honestly it's great, I'm surprised I don't see it spoken about here more often. It's maybe 30 minutes to get started, much less of a brick-wall learning curve than Kubernetes. It does basics well and you can still do complex things like cluster storage etc. I'm using it to deploy a couple docker-compose stacks across a tiny two-region Droplet cluster and it's been excellent.

The last human on the moon was almost 50 years ago. Shuttle flights (barring obvious exceptions) were pretty routine; definitely not the most inspiring missions. But humans back on the Moon, or on Mars, in the 21st century and setting up colonies? That's completely different proposition.

It may not be as far away as you think. A lot of Scots are understandably angry at false promises from the 2014 referendum (the famous Better Together tweet [0]) and now Brexit (Scotland voted overwhelmingly to Remain). Polling is starting to show a majority in favour of Indyref2 and voting for Independence in another referendum. Plus voting intention showing SNP taking almost all of Scotland's seats in a Westminster election. They're already the third largest party in Westminster. There are talks of deals with Labour promising Indyref2 if the SNP support a Labour government.

[0] https://twitter.com/uk_together/status/506899714923843584

> will feature a higher all-core Turbo frequency when it has sufficient cooling

Real world performance needs to be seen, but this feels like a stunt to grab headlines and direct some attention away from AMD hammering them relentlessly.

I wouldn't ever trust information from Wikipedia on something as important as visas. That you would provide this information as even remotely authoritative on your website is a huge red flag.

It's an England and Wales thing, not a UK thing.

Not a hugely surprising development given what was discussed yesterday:

https://news.ycombinator.com/item?id=20640148

OCD is already heavily mis-used. Attaching more meaning to it isn't likely to improve anything.

"File integrity checks added by North Korean developers shows that piracy is a concern and suggests the existence a warez/cracking scene in the DPRK"

Fascinating!

You qualify for the debate by getting the right number of donors? Wow ...

  > ping open.oneplus.net                                                                           
  PING hadoop-1219418324.us-east-1.elb.amazonaws.com 

Your phone usage data going straight into OnePlus' Hadoop cluster?

Radical Independence Scotland and friends will be outside the Spanish embassy in Edinburgh, all of Sunday; we absolutely support your right to self determination as the Catalans did during our recent bids for independence. Solidarity, comrade.

It's not often I find myself agreeing with a UK unionist but it's a point of honour that the Scottish referendum 2014 passed off largely as an orderly point of democracy. Westminster is often seen as heavy-handed North of the border but everyone is proud of that expression of democracy (however there are still words to be had about subsequent political events!).

I'd be interested in any way to help out too. As part of the Scottish independence movement, our Catalonian counterparts are comrades & allies. Other than solidarity protests over here, I'd love to help in some way.

> generate C code.

Programmatically generating C code not without problems. How can you prove that the C you're generating is free from problems solved by the safer language? Cloudbleed came from computer generated C code: https://blog.cloudflare.com/incident-report-on-memory-leak-c....

Yep, Telegram on Desktop uses Qt. It's even open-source and on GitHub: https://github.com/telegramdesktop/tdesktop

It obviously isn't. But what the border between the Republic and the North looks like post-Brexit is not at all clear. The constitutional upheaval of Brexit will significantly affect all of the devolved nations (including NI) and their relationships with their neighbours.

Can you explain what you mean by "you need two language items"? I'm just getting into Rust now and planning some bare metal stuff.

This is the really concerning part. silently fixed in the upstream git is not at all an acceptable way to deal with serious security flaws in your product.

As a (somewhat stubborn) adherent to httpie | jq, what do I gain from my $50 going to Paw?

This is really interesting work. Dependent types are fascinating but they seem so resolutely stuck in academia; evidence of applications to real-world problems is rare.