skysight-inc/HackerNews huggingface dataset:
This makes you appreciate the attention to detail, and the countless painfully learnt lessons, that goes into user interface design for airplanes.

Compare a Cessna 400's cockpit [1] to a switch cluster in a recent Mini [2]. The car still has physical switches, which is better than a touchscreen. It's also styled to resemble an airplane cockpit. But all the switches look the same, and some of them have two positions while others have three; some of them disable things while others turn them on.

In the Cessna, each control has a different color, and a different surface texture. The flap lever is styled to resemble an actual flap. The same goes for gear levers on planes with retractable landing gears: they are styled as little wheels. As the pilot, if you touch the wrong lever, you'll immediately feel the difference, avoiding dangerous mistakes.

In the Mini, all switches have the same color and they feel the same. Their status is indicated with a little LED on the switch itself. You neither feel the current status from touching the switch, nor is there any tactile feedback of whether you are touching the right switch. With a touchscreen, that remains true, but additionally the location of the switches changes too.

[1] https://qph.ec.quoracdn.net/main-qimg-f37712d0cd771d5aee97ac...

[2] https://www.gunaxin.com/wp-content/uploads/2017/10/2017-MINI...
Mozilla is planning to block it (and the APIs it relies on) by default for all content, I think, regardless of how many apps it breaks. That seems like a reasonable countermeasure since people with canvas fingerprinting blocked will not be a small identifiable group.
They were stuck in a cave that was flooding. Plenty of water to go around. Probably not the cleanest but will do in an emergency.
Earlier reports was that the water in the cave is like cold coffee and it is easily one of the worst environment to try get non-divers through several km of cave diving. The technical details will be interesting to see once they hopefully solve the problem of getting everyone out.
They are now expected to have to survive in the cave for several months more, before rescue :(
> rescuers have said they may have to wait several weeks for the water to subside before they can be taken out.

Ouch

> Trying to take non-divers through a cave is one of the most dangerous situations possible, even if the dives are relatively easy. That also begets the question: if the dives are difficult then supply will be difficult, but the risk of trying to dive them out is also exponentially greater
I was curious about what problem was being solved too. I can't imagine what a chicken restaurant needs with a distributed k8's cluster.
GoF?
"4) He is partnering with capitalists to try to achieve an anarchist vision. This is a contradiction in terms. Capitalism is about competition for the working class (i.e. users), domination and centralization."

I disagree with you and Marx on this. Capitalism is primarily about trading. Sometimes it leads to centralisation but it can also work through innovation and effective competition for decentralisation. So Tim's efforts to set up a framework which will support the latter is not a "contradiction in terms" with capitalism.
blik | Munich (GER) | ONSITE | Fulltime | blik - https://www.blik.io | Finalist Techcrunch Battlefield (watch video here: https://goo.gl/rSDyXh) | Alumnus of Techstars IoT Accelerator, New York |

* Backend Engineer IoT

* Customer Success Manager

* Embedded Software Developer

* Internship Marketing & Growth Hacking

* Internship Sales Operations

* Machine Learning Engineer

* Summer Internship Embedded Test Development

Our customers range from large OEMs like BMW and Volkswagen to family owned suppliers - We want to make their entire flow of goods of hundreds of thousands of items visible in real time. Our solution combines hard- and software to enable a fully transparent supply-chain around the entire world.
Interested working on a challenging problem? Contact us through blik.breezy.io
A dynamic array has an average (armotized) time of O(1) but a worst case of O(n) – whenever your next insert is longer then the size of the list. Furthermore, it needs a lot of ram whenever copying elements.
A linked list is always O(1) and its ram usage is consistent (although not better – normally it is twice or three times as big).

A linked list is basically only better on embedded systems because you have much better knowledge about the used ram/runtime. It’s also useful if you have a very large data structure and you need real time performance (a lag of a few hundred milliseconds are unacceptable for some applications such games or financial applications). But whenever your insert becomes too expensive, a linked list is probably not the best choice either and you should consider why your data structure is so big.

Lastly a linked list is rather simple to implement but that’s also only really useful for embedded stuff.
her. •ᴗ•
Yes, I'd like to know where they found water clean enough to drink, or a way to make it clean. Floodwater runoff is probably not the best thing to ingest…
Sounds like they aren't going to try and solve that problem. It's going to be wait for several months or possibly learn rudimentary diving skills

https://www.bbc.co.uk/news/world-asia-44692813
> Its always funny to realize how "easy" beating human-intelligence is (Chess AI, Go AI, even Mathematical Proofs), but how hard beating human-simple behaviors are.

This is the baseless myth that won't die. We are nowhere near rivaling humans in mathematical proving. Even after a human has proved a theorem, it can be an astronomic amount of work to even explain the proof to a machine after the fact (i.e. to construct a machine-checkable version of the proof), even when using suites of sophisticated software tools developed solely to facilitate this process. Progress has been glacially slow since the field began in the 1950s. Deep learning has had zero impact.

We will have robots that can grasp competently way before we have machines that can rival humans in mathematical proving.
So, if you need a loan for rent for your startup, and your landlord is also a Coinbase customer, then this is possible.

But I don’t understand your argument... you’re talking about a future where Coinbase has the installed base of, like, Venmo?
her •ᴗ•
That's great news. Thanks.

And that reminds me, Apple too in macOS: https://www.engadget.com/2018/06/05/apple-safari-canvas-fing...
> A sub-5 Ring time would easily be possible with a non-homologated F1 car similar to this unrestricted 919.

Easily? No, I respectfully disagree with your assessment of what is involved. CFD is not even close to being able to accurately predict a race car's handling so therefore it would take testing--a lot of it. In all likelihood it would cost hundreds of millions of dollars to design, test and build a GP car that could beat that time. It would require wind tunnel time, new CFD models, new motors and on and on.

So yes, while I agree it is possible with a genius like Vettel or Hamilton, or IMO that would be a perfect mission for Max (who I think is of the caliber of Senna, and as Senna disciple, I don't say that lightly) at the wheel; it could probably happen. Of course, we would also need a designer of the caliber of an Adrian Newey, because no single modern F1 track even approaches The Ring. It would be a massive undertaking.
I think you're wrong. There's lots of people here who want to build massive businesses at scale and believe VC is the right way to go, but that doesn't mean people can't also see the benefits of going more slowly. If you read HN a lot you start to see people here have huge amounts of respect for people who bootstrap their businesses. Comments from the likes of candyjapan, idlewords, and patio11 about their journeys pretty much always get plenty of positive replies and very little negativity about not going down the VC route.
I find that these addons make Reddit a little more tolerable:

SHINE for reddit -- https://addons.mozilla.org/en-US/firefox/addon/shine-reddit/...

Old Reddit Redirect -- https://addons.mozilla.org/en-US/firefox/addon/old-reddit-re...

But... on the whole I really hate the direction Reddit has gone in.

Apollo is fine, but I hate having to use a mobile app. And the mobile web experience is such shit. The fact that they push the app so hard makes me think they have loaded it with a crypto miner. Ha, well probably just location tracking or other data they can sell that they can't get from the web version.

And the redesign... man, it's just bad. It screams, "I'm going to load more ads on the page..." That has to be the real reason behind it, a design that allows them to have every 2nd item be an ad. Great... just want I wanted. Bastards.

I worry they'll soon crack down on Apollo and old.reddit.com and accessing the site through a non-crappy interface. Or they'll charge to have the "old" reddit view. Just really hate most of their decisions, not like it's amazing content anyway... but if I use it, I don't want to get bombarded with ads or have to load an app.
These Indian Fishermen ick plastic from Oceans to help build Roads
Do you want to have jitter, or do you want loss?

In reality I don't see buffer bloat on the internet adding jitter of more than a few milliseconds. I do see loss though or 20, 50, even 100ms. I'd rather have 50ms of jitter than 50ms of loss, but that's just my application.
"Premature optimization is the root of all evil" is an amusing quote with some truth to it, but it's brought up as some kind of absolute law these days.

I've seen it given as an answer on StackOverflow, even when the question is not "should I optimize this?" but more like "is X faster than Y?"

We need to stop parroting these valuable, but not absolute mantras and use common sense.
That seems like a small purchase price given both FB’s need for detecting junk content. I would hope that any filtering system would have humans in the loop.
Facebook is shutting down Hello, Moves and the anonymous teen app tbh
Original article title is "Tech’s ‘Dirty Secret’: The App Developers Sifting Through Your Gmail"

Could moderators fix it, please?
There was some real forethought in the design and layout of the cars in general but the dashboard display is perfect. I wonder if it's true when people say they took elements from the jet aircraft they made.
Just a bit of pedantry - the story linked (correctly) identifies the Kola superdeep borehole near Pechenga, Russia as the deepest hole humanity has ever drilled, at some 12,200m/40,000ft.

However, 'dug' in my book is not the same as drilling; the deepest hole ever dug (unless you want to go all fundamentalist and claim 'dug' implies shovels and pickaxes and nothing else!) is the Bingham Canyon open-pit mine in Utah, at some 1,200m/4,000ft. (They've been at it for more than 100 years!)

The deepest mine? Mponeng and TauTona, two South African gold mines, at approx. 4,000m/13,000ft. (And counting!)
An interesting article but infuriating in how it translates all dimensions to Imperial first. Such as stating the depth of the Kola borehole in feet and adding metres in parentheses; it was drilled using equipment specified in metres...
In Denmark, Harsh New Laws for Immigrant ‘Ghettos’
There is a subtile difference in terms of consequences between blindly picking the wrong button on a car vs plane, though...
Here's an example. Company A (let's call it Dell but the figures are made up) is public and has an Enterprise Value (EV) of $100bn (EV includes net debt and equity). It has no debt and Michael Dell owns 14%. Dell is taken private by Michael, Silver Lake and co. using $40bn of equity (with Michael rolling his 14% stake into this equity) and $60bn of debt.

Michael Dell's original 14% interest was worth $14bn. But $14bn of $40bn is 35% of the total equity. The rest is debt.
Please Review my Site
> I think you missed the point I was making which is that you still have to know that you're proving the right thing.

Right now, it's a missing part in many theorem prover systems (but I didn't do exhaustive researching, so it's more my point of view) : a code to succinctly describe, or state, the problem you are trying to solve. For exemple, for a sorting problem, you would state the problem in English : after sorting, for any element E, the next element in the sequence should be lower.

> It's entirely possible to have a but in the proof itself, at which point your program is going to incorrect

The premise of theorem provers is that if the problem is correctly stated, then a proof of a solution passing the prover's compiler and a few human reviews is even more unlikely to have a bug.

> Reading and understanding the Idris proof is actually more work than understanding the untyped Python version, therefore it's actually harder to say whether it's correct or not in a semantic sense.

I would be curious to see a Python proof of the Python sort function. I mean an actual logical and mathematical proof, not a unit test or fuzzy test. It would imply to create a library with a DSL around math and logic.
The Young Milky Way Collided with a Dwarf Galaxy – Facts So Romantic
Re; abandoned - yeah one never knows but Dart is a pretty integral part of Google these days with Adwords being built on it. Also I think that Google knows it will lose some developers to multi-platform solutions like this, so they might as well lose them to their own alternative (than say, react native).

As for tooling support - what's missing? It has had hot reload since the start and there's the Flutter plugin for IntelliJ IDEA (can be used with the free Community Edition btw) which includes everything you expect from IDEA in addition to things like Flutter Inspector etc. https://flutter.io/inspector/
This caught my eye: Home made leader election protocol that relies on UDP.
I'm looking forward to the article detailing why they decided to do this.
MONGODB Introduction to MongoDB database and collection
lol they’re not wrong. People seem to forget the facts about HN. It’s hosted by a incubator/VC company that uses it to promote discussion and the company itself. Which is fine and makes sense.

Yeah, there’s other stuff here too. But there’s a huge bias towards startups compared to the rest of the world.
https://solid.mit.edu - for anyone who wants to see the basics in more detail.
As a founder you would probably spend more time on calls and other administrative tasks that don’t require much brain energy. That’s how you end up doing long hours.
https://www.weforum.org/agenda/2018/06/these-indian-fisherme...
Under Dutch law, it's equally illegal to a real gun, because it looks like a real gun. Yes, this is insane. (and police are doubling down on it, too - with a recent campaign against 'too real-looking toy guns').
The Smithsonian is an American institution and as such caters to American's habit of using Imperial measurements. This makes it more relatable to the the passing reader.
outdated weaponary from States?

Taiwan wouldn't need weapons were it not for the unacceptable bullying from China. Let's not forget that China also supported Pol Pot just a few decades ago.

Continuous internal political struggles?

Vigorous political debate is the hallmark of a democracy.

seek total economic dominance.

Sounds horrifying. I recommend veiling your threats in a more gentle language, maybe you can fool more people that way.
> Scala is an interesting example, you have some good software written in it (Kafka, Scalding, Finagle) even with not-so-good IDEs.

My point is quite the opposite: its IDEs are a lot better than you'll find for many languages. On paper Haskell should be a better language than Scala, but you don't see anything comparable to your examples, and I think the tool situation has a lot to do with that. So popularity ends up being very important.
A good question!

In a simple analogy its a bit like where neural networks were not very long ago, a nice idea with potential but wasn't quite there, many said it was a dead end. Some technology simply takes longer to mature, or is dependent on missing bits of the puzzle to emerge before they can be properly utilised.

So what are these 'missing bits':

1. Ease of use, RDF, Semantics, description logic, OWL, Ontologies, Controlled Vocabularies, Taxonomies, Turtle (the supposed easy to read format), JSON-LD etc have a steep learning curve and no good non academic path to adoption. It takes a good amount of effort and time to see why this is useful. Its not the sort of tech a developer is going to have a crack at on his next project, and if they did they would fail and then reinforce the impression that it doesn't work. Even some of the fundamental principles are hard for many developers to get their head around, i.e. Closed World Assumption vs Open World Assumption (CWA is a problem I see so often by devs outside in general when dealing with data).

2. Tools, helps with the above, but also the options for a decent open source triple store that support the operations you need has been challenging. Then trying to run this operationally in the time of the Cloud is a ball ache most don't want. AWS Neptune possibly helps with this, otherwise I would recommend Blazegraph. Hmm and then there is creating a Ontology yourself, Protege which is mehh but free, or Topbraid which is expensive and meh! Programming language support, it is assumed you will do al your work in Java, if not good luck. Tools and libraries are not well maintained in general, large due to academic funded rounds of work, people move on, lots get abandoned.

3. Obvious gaps in the tech, for example one that SHACL has filled, also rules which arguably SWRL is filling, all a bit ad-hoc and takes years to get consensus, I'm sure there are others that I haven't hit and that in itself is a worry.

4. Understanding problems this tech is good for. Personally I think the Semantic Web, as described in general, isn't very practical and seems to mask what the tech is good for. Which again in my opinion is Enterprise Data Integration. Joining up lots of different data sources into something well defined (tends to be really poor semantics in traditional DBs), which is particularly a problem in conglomerates. Bringing together data from many places, and mapping them together means you don't need to go out and make everyone agree to your standard model.

I'll now give some hand wavy ideas:)
Its often said this is for machines to communicate and make decisions which is correct, not sure RDF on web page is particularly useful in this context, APIs are. So much labour goes into connecting one API to another API, there is no discovery or means of a machine understanding what the data comes in actually means, nor would it with the current approach to having a son blob, and a page of documentation that poorly describes it. I think there is a massive opportunity here, and if it is solved it would dramatically disrupt how backend engineering works.
Its the same annoying thing with Quora too.
A coworker of mine often refers to his time of working on a CT scanner which this reminded me of. One story was around how a new model was released that used a touchscreen instead of tactile buttons.

As you can imagine, a doctor could previously fully focus on the patient as they were able to feel the feedback of physical buttons.

With the introduction of a touchscreen, they would have to continually switch between looking at the positioning of the patient, and looking to their right at the LCD panel in the CT scanner itself.

A quick look at the website of the large company in question seems to indicate that they reverted back to a non-touch screen display. I should hope so given that we're talking about hospital patients here!
[Q] Machine learning and heart pacemakers
Should machine learning be used to power firmware on heart pacemakers?
Obviously but OP’s point still stands. Quality UX takes time and careful thinking (which is why it’s worth doing it for a plane but not for a car).
Yah but you're raising prices on everything anyways by making everyone live in the city where they are unneeded instead of more efficiently where the jobs are.
The intetesting bit they miss detail on is why they are running k8 at the edge in restaurants.

The only reason i can think of that is they get to push point of sale software out by using K8s from some central system. I cant think of a worse use/abuse of k8 as a software updafe system if that's what they are doing.

The other reason is they distributed their compute and resturants pay the power bill but that sounds just as silly.

Curious to know why you would use k8s at the edge
Tesla strikes energy storage deal in California
I thought chrome did this automatically now.
PEP 572: Python assignment expressions has been accepted
Forbes literally shows a loading spinner for _minutes_ if you try to opt out, and when it finally completes, you're sent to an empty page asking you to opt back in to tracking.

I used to occasionally read stuff there when an interesting-sounding article was posted to HN, but I'm not visiting that page ever again.
So how are touchscreens OK, but using smartphones while driving isn't OK? I mean, I got pulled over once for a little lane wandering while adjusting the radio. Which had knobs.
EINTR and PC Loser-Ing (The “Worse Is Better” Case Study)
Yeah, I deleted my Twitter account a while ago when they started to put random crap into my "Notifications", and it couldn't be turned off.

Keeping on using a service like that just encourages further bad behaviour.
The laws of physics didn't change, it's great but suffers most of the problems of IR communication, namely air diffraction/absorption (severely hurting range) and mostly line of sight communication. Through advanced modulation schemes one can reach gigabit speeds but it's such an extremely short range[1] it's no surprise there seems to be no commercial product.

Terahertz signal processing, though, has a much brighter (hah) future ahead, in medical and security imaging[2].

[1] http://www.embednet.com/Giga-IR_General.pdf

[2] https://codeburst.io/terahertz-thz-gap-tech-for-speedy-commu...
> When did the most "fake news" started appearing?

Must have been when humans started to speak. Fake News is nothing new, just the name is. In the past there were gossip and rumors, sketchy newspapers who spreaded whatever sold best, and sometimes even satirical things like Bonsai Kittens (https://en.wikipedia.org/wiki/Bonsai_Kitten) in the '90s.

The only difference today is that people moved from the streets to the net, and gossip-snakes have upgraded their game in quality because of modern tools. But whether centralized or decentralized, the game was and will always be there.
> Are you familiar with Python's approach to iteration? Obviously Python itself is a world away from Haskell, but its model of lazy and eager iteration is very pleasant to work with

That isn't my experience. As soon as you're in a chain of transformations you have no idea what's lazy or strict.
I also have been contacted many times, and offered 1-3k for an extension I have with about 15k users.

The extension has a backend API and web service which is required for the extension to work, not once has a buyer asked about acquiring that. They only want the extension and literally have no understanding of how it works or what it does. Their intent is obvious.