skysight-inc/HackerNews huggingface dataset:
You are right! It is a very hard and interesting problem. Radio will not work underwater. Inertial/mag sensors can be small and cheap but the quality is poor. Therefore I have been using some 'intelligent' (hate to use that word these days) processing of the data. It is still a relative position estimate if you can minimize the drift you are good to go. To help, we have communications between divers using acoustics. Using some cleaver DSP techniques and information sharing between divers you can do a lot.
It's "Tor", not "TOR". From https://www.torproject.org/docs/faq.html.en#WhyCalledTor

> Note: even though it originally came from an acronym, Tor is not spelled "TOR". Only the first letter is capitalized. In fact, we can usually spot people who haven't read any of our website (and have instead learned everything they know about Tor from news articles) by the fact that they spell it wrong.
Two book recommendations:

Short, with a lot of punch: Philosophical Devices: Proofs, Probabilities, Possibilities, and Sets.

https://www.amazon.com/Philosophical-Devices-Proofs-Probabil...

A much more detailed and introductory book: The philosopher's toolkit : a compendium of philosophical concepts and methods.

https://www.amazon.com/Philosophers-Toolkit-Compendium-Philo...
Yeah, I get that. And I realize that I've gone off the deep end. It's hard to imagine anymore how easily people's eyes glaze over. I've written guides that lay everything out, step by step. And many people still can't seem to get it.

But Whonix really is trivial. You install VirtualBox. You download the Whonix gateway and workstation appliances. You import them in VirtualBox. You start them. You work in the workstation VM. There's nothing to configure. That literally should be enough information to use Whonix. Plus there's a wiki and a support forum.
I help out with interviews at my employer and unfortunately we get a lot of applicants who just can't code. I'm tired of hedging around the topic, so I'll come out and say it bluntly. We get people who say they are developers and are outright lying. We're not looking for computer scientists, or engineers, or anything of the sort. We're looking for people who can program and won't lie about their skills right to our face.

When you have your 10th interview with someone applying for a senior front-end job and they can't tell you how many columns are in Bootstrap, when Bootstrap is on their resume and they made a point to bring it up in the interview, it makes you question humanity. Unfortunately this is why you end up with questions like "What is the difference between `unapply` and `apply`?" or "How many columns are there in the Bootstrap grid?"

And unfortunately, especially in my geographic area, the majority of work is done as an employee or a consultant under an NDA. Nobody is bringing a GitHub profile with a solid green commit graph, nobody is coming with 45k rep on SO, and nobody is coming with years of blogging content we can look at. That's not necessarily a problem, especially if you've ever been in the same room as someone who is very proud of how many SO points they have, but it certainly complicates interviewing.

So when you have a combination of (A) people who lie through their teeth to get a job they are in no way qualified for; and (B) people with no public technical profile to speak of, you end up with interviews full of trivia to make sure they have a pulse and contrived whiteboard coding to make sure they can understand the fundamentals. This is doubly hard if you're trying to respect people's time and limit interviews to a brief phone screen + a 60-minute onsite interview. Some of the suggestions I've seen here about take-home projects, consulting work, coming into the office for 2 paid weeks, or a 3-day long interview bonanza, are insulting.
Looking at their block diagrams: They have two large "cache-like" structures: The unified buffer (24 MiB) and the accumulators (4 MiB). Bandwidth between these and the matrix multiply unit is high (167 GiB/s), bandwidth out of that complex is low. So it would seem that they just don't need a very large bandwidth out of that function complex.
They don't chew. Chewing is what land animals who eat leafy plants do.

They can bite, and that's about it. Do these look like chewing teeth? http://4everstatic.com/pictures/674xX/animals/aquatic-life/d...
How to tell when Uber’s upfront pricing is overcharging you
I've mostly been using the excellent Ubuntu MATE lately, but of the "modern" desktops I've always preferred GNOME to Unity, despite the latter having some good ideas. Ubuntu GNOME exists, but it'll be better with official support.
It seems like the problem is that you need to verify that the file actually exists there with the specified hash, but that isn't the same as having to download it. Is there a way to ask the server for just the hash of a file? You would still have the round trip to the server, but it would be a request for a 32 byte content hash rather than several orders of magnitude more data than that.
Ability to work independently on something for non-trivial stretches of time. The kind of team-oriented working that needs daily synchronisation is bearable some of the time, but unsatisfying, and burns me out pretty rapidly.
Well, Canonical was heavily involved with Mir because of Unity, right? So, with this change, I guess we can expect a Wayland related news in the following weeks/months.

BTW, I would go even further: will they still invest in the Snap package or they will do the same and go to a community oriented package system?
This is going to be interesting. The whole reason I moved away from Ubuntu, which was my goto linux distribution, around a decade ago was because they moved to Unity. I switched to Linuxmint and have been on it ever since.

Now that Ubuntu is going back to Gnome, although I may not switch back to it immediately, it will at least be in my mind as an option whenever I keep upgrading Linuxmint.
Same here. I love the keyboard friendliness out of the box, and especially how sparingly it uses vertical space.

I like gnome3 visually, but some design choices by the gnome team I don't understand. While unity uses a global menu, which displays the menu items in several columns, The gnome global menu has 1 column, with for most apps a single entry (quit).
I got one of the newer ones a few months ago, running Arch. It's got great battery life, very light, pretty powerful. It wasn't the cheapest (I think around $1,300, can't remember), but I suspect it will last. Only "linux issue" is that the media keys didn't work out of the box. Actually, I've never gotten around to figuring out why, maybe I'll do that now.
System Design Interview Questions
I've heard artists beg the crowd to not buy their album and instead buy their merch. On a $15 CD they get maybe $2. On a $15 shirt they get like $10.
Dang or other moderator, could we merge this with https://news.ycombinator.com/item?id=14043631 please? It was submitted earlier and points to the source.
What kind of load (number of concurrent app users) your app has so it needs multi-master db?

It is quite easy to setup powerful pg master node (32 CPU threads, fast SSDs) and many slave nodes for read-only queries. That setup can handle quite a lot of transactions.
Wow this is impressive just after the Ask HN they did few days back. It's been few years users complaining and opposing Mir so it seems it just took that last feedback cry. It's great that they listen to their users and also that there's going some love given back to the desktop+server (+IoT).

Disclaimer: I am really happy using Ubuntu everyday.
Erm, just use a distro that doesn't come with systemd?
Arsenic and Old Tastes Made Victorian Wallpaper Deadly
Time to switch back to Ubuntu
Second hand W520 , Primary mSATA for OS. 2x1TB for Data and VMs, i7 , 32GB RAM. Bought it for INR 24K. I always by Thinkpad or Lenovo W series in second hand and upgrade it
Snap is explicitly mentioned as one of the things they want to focus more on.
It isn't :)
I tried to read it a little more, that it is incredibly confusing to me. Did you have issues with that too? I have access to a couple commercial products, but just trying to find the basics to run are difficult. STAC was so much easier to understand.

Give dataset, X, how fast does query Y return.
Can you separate out the HN responses from the Reddit responses? Saw the same link in https://www.reddit.com/r/SampleSize/
> Dolphins are fighting for survival every day

The dolphin life span varies between 20-50 years for the various species.
You can only dodge so long, and eventually you take one to the chest.
It's really difficult from a business point of view.

To have a business, you have to have something scarce to sell people - it could be simply your time, but that's difficult to scale. For most companies it's some kind of product, but open source products are inherently not scarce.

So to succeed, you have to have a source of scarcity in there somewhere, and that's not always easy, on top of the fact that no startup is ever easy.
Who owns your startup? An easy (but thorough) intro to startup equity
Hopefully. The folks on irc.gnome.org seem pretty excited by the news.
A bunch of companies use Swagger/IO Docs for their API docs, which allows you to enter parameters and actually try it out right there on the page - you can see the actual http request and response.

When it comes to API docs, my ideal preference is for curl command-line examples, since that is sort of a universal "least common denominator" that works anywhere, everyone can understand. It also takes your particular client out of the equation.
As well as Tehnoetic [0]. But unfortunately those phones are not very usable.

[0] https://tehnoetic.com/tehnoetic-s3-phone-replicant
Eyes Gaze
The author is the FCC Chairman.
Like Uber gives a fuck about "agreements".
This is my worry. The technical challenge of maintaining a usable mobile OS seems too high for companies like Canonical and Mozilla to have a chance, since getting hardware produced, marketed and into people's hands is a gargantuan task, and supporting Android handset installs is fighting a losing battle.

Having said that, I am not sure why? Ubuntu Phone seems largely functional on a few devices, but installing it and using it remains a pain.
I'm assuming you had your own device with you. If there was a device for rental with perfect connection, would you rent it?
GNOME has been doing some really cool stuff as of late (http://www.omgubuntu.co.uk/2017/03/top-features-in-gnome-3-2...). I'm still using Cinnamon, because I still like the look a bit more, but it's getting harder to ignore all of the excellent features GNOME provides, including:
- Drive support for file manager
- Gmail/Outlook support for GNOME accounts and built-in calendars
- Working Wayland implementation

I'm holding out at the moment, as it's missing one feature from Cinnamon that I really like (the ability to launch and control any audio player from the sound icon in the tray), but when Fedora 26 launches I may finally have to switch over.

I hope that Canonical shifting back to GNOME will further its development under Wayland and not spend a crapload of time doing more work for Mir.
The software is free, is it not? Red Hat's business model is subscription based.
You forgot to pitch Signal.
Creator of Adblock Plus is acquiring a service that lets readers tip websites
I cannot wait for Unity to die, and now it does.

I was not very happy when they decided to make Unity mac-like by moving the menu to the top bar. It has to be the most idiotic decision around for anyone who has multiple monitors. Even with a single monitor, it is a pain in the ass to move the mouse all the way to the top left corner for the menu to appear, and then orienting myself with the items presented.
Haha, now my next deep learning project will be named octopus :P
Which would be a duplicate of https://news.ycombinator.com/item?id=14043631
Look for these habits when you hire developers
This really should be unflagged, and the title should probably indicate the FCC Chairman is the author:
"FCC Chairmain: 'No, Republicans didn’t just strip away Internet privacy rights'"
That is just so sweet :)

I have some long-term online friends. Mostly totally anonymous. But none romantic. I don't even for sure know gender for some of them. It doesn't really matter.
Yup, I check the bill every month.

Our final bill before all this was $70/mo for internet (100/20). After the deal it was $60/mo for Internet+TV. That's final bill; that's the amount we pay on our credit card.

I didn't do anything special. I don't even complain to TimeWarner about anything (a friend of mine gets discounts by calling and complaining about internet speeds). They offered the deal when I went in to drop off their cable modem, cause I had bought my own (and yes, the deal is $10 cheaper even taking into account removing the modem lease).

The only thing I can think of as to why I got "special treatment" is that I've never, ever had cable TV on my account with TimeWarner, and always told them no when they nagged me with random phone calls. So maybe they offer this deal to customer who they know will never subscribe, because having the subscription is worth the $10/mo to them.
(Fuck you Amazon)
What about if they don't throw it enough times to stun it? Or if that particular octopus is particularly stun-resistant? Or if the dolphin hesitates at some point in the grab-and-throw maneuver, giving the legs a chance to grab on to its face, mouth, or throat? It seems like there would be a lot of opportunities for error.
Future climate forcing potentially without precedent in last 420M years
Yup, me too with the caveat that I don't really use it as a primary work machine - have a desktop for that. But, if i'm on the Macbook Air, and I need more power, I remote into a machine with more power. The battery life and portability are perfect for me.

That said, I've been keeping an eye out for alternatives for future replacements after my current Air dies, as Apple seems to be flirting with ending the line? Or it least it seems like a stepchild wedged between the Macbook and Macbook Pro lines. A premium build, portable laptop that runs well integrated Linux would be nice - but honestly I'm skeptical that a competitor will emerge. Maybe a librem 13.
There's a word-of-mouth thing that Horlicks is good for you at bedtime. My parents and grandparents certainly told me this. I guess it's a legacy from when advertising rules were less strict.
There's no such thing as "independent research." Any article like that is always paid for by the company that ends up "leading" in it; that's how these research companies make their money.

I worked for this lovely company once where we paid hundreds of thousands of dollars to a consulting company to "research" how we were the dopest, only to have pretty much written the entire document for them. Go figure...
I've had similar experiences at some hackathon events. The local Startup Weekend event a few years ago was similar, but in some ways that is more predictably skewed to who can give the best pitch, so that one didn't rub me quite so bad.

Along the same lines, there were a few local meetups where people were going to plan some ideas for innovative uses for public data sets, and what kind of data we should try and get released from the city & county. The whole thing ended up getting de-railed by non-tech "thought leader in a turtleneck" consultant types giving their personal pitches to market their brand, and nothing solid came out of that. Those who were interested in building something formed a separate group and went their own way.

At the risk of sounding like a delicate snowflake, I would really enjoy more "tech events for people who really want to get their hands dirty".
Oath? Are you kidding me?
This is a pretty timely statement of values and development ideology apropos Canonical's sudden pivot from fragmenting the Linux desktop community.
ps. From that TC article: "Ford has already responded to their position in the study, with a Medium post from CTO Raj Nair expressing their satisfaction at being ranked number one. " -- if this doesn't read like a pre-plan PR, I don't know what does.
I'm entirely convinced that Shuttleworth's vision of convergence will happen. It looks like an inevitability, as mobile computing power continues to grow faster than typical consumer workloads (the same forces already made it possible for $400 laptops to be good enough for most mainstream users).

Canonical just didn't have the resources to push a 3rd mobile platform. Hell, even Microsoft gave up (who did have the resources, and IMO made a mistake in giving up).
Drupal for Project Managers: free online training this Thursday
Jep, I don't understand it. It is completely understandable to drop a product that is not working on the market. It is less understandable to drop a product that never really was on the market, after the big initial investment is already done. Same for FF, same for WebOS: How can you draw the conclusion that something is not working on the market if you never tried making it available to customers, on regular hardware?

Only makes sense if there is no money left.
There can't be high availability if there is only ever one node that accepts writes.

There can't be sharding if there is only ever one node that performs writes.
What kind of programmer hasn't learnt from and embraced the fact that programmers are human and that humans make mistakes?
So ... what is the next part of this argument?

Would it be a call for the next phase of technology economy to begin (whatever that would be) and ending the current 'data' economy rise?
"Just use bcrypt" (or scrypt). Salting is baked in.
There's that, but more generally and importantly, application developers who take special measures to generate salts tend not to be using secure password hashing algorithms --- the libraries for things like bcrypt tend to handle this for you.
Maybe it's just me misunderstanding, but to me "inference" and "training" are one and the same. But the article defined it thus:

This first generation of TPUs targeted inference (the use of an already trained model, as opposed to the training phase of a model, which has somewhat different characteristics)

This Nvidia article treats them differently, too: https://blogs.nvidia.com/blog/2016/08/22/difference-deep-lea...

But the definition of "statistical inference" on Wikipedia says "Statistical inference is the process of deducing properties of an underlying distribution by analysis of data" which seems exactly like training.
I agree. I remember doing my basic certification. 1/3 of the class almost failed just from the test that requires you to take your mask off underwater then put it back on and clear it. The second they closed their eyes while underwater they would freak out.
Ukraine's refugees find solace in Poland, Europe's most homogenous society
Sorry, that was more of a laugh at the state of deep learning model sizes than anything.

Okay, so about eDRAM. There are two types of eDRAM: On-die and on-package. On-die eDRAM refers to manufacturing of DRAM cells on the logic die, which would be a big boon in terms of density since eDRAM cells can be almost 3x as dense as SRAM. The problem however, is that on-chip eDRAM has been impossible to scale beyond 40nm, which mitigates any advantages you would receive from using eDRAM.

On-package eDRAM is more interesting but the primary cost in memory access is the physical transportation of the data, which is a physical limit and can't be circumvented. You can call it all sorts of fancy names such as "eDRAM", but the fact of the matter is that you're still moving data. For reference, the projected cost of movement of a 64-bit word on 10nm (ON CHIP) according to Lawrence Livermore national laboratories is ~1pJ, whereas the cost of a 64-bit FLOP is estimated to be 1pJ also. As you can see, the cost of data movement dwarfs the cost of computation.

Of course, you gain a lot compared to DRAM, but HBM can offer the same efficiency gains of course.

Didn't meant to be rude with the first response.
Let me know if you have any other questions, I'd be happy to answer them :)
Damn. Just been forced to switch to Mate at work and find it like living in the past. Lots of defaults seem ugly or unusable (hunting through menus for programs etc.).
Excellent news! I personally think unity is terrible - and it's objectively lacking in several areas, multi-monitor support particularly.

The Ubuntu phone thing was a nice idea, but obviously never going to fly, so it's nice to see canonical putting their efforts where their actual users are.
One non-obvious bug I hit with Apple Pay is accruing HawaiianMiles for purchases at Whole Foods (among other partner stores). A third-party credit card purchase accrues miles when used through a terminal, and doesn't credit them when the payment is completed through Apple Pay on exact same credit card.
While the sentiment isn't untrue, to say that the "see how you think" discussions are bullshit is going a little far.
I have heard about Flattr a few times over the years and the idea sounds great in theory. Personally though I have never met someone who has actually used it, nor have I come across a place I frequent to use it.

Would love to hear from other's about their experience with it.
> If the supply of axioms and inference rules was infinite, with no finite alternate encoding, it would mean Godel numbering would fail because the process of assigning numbers to each axiom and rule would never complete.

I strongly disagree with that. There is no evidence of that.

> And if L1 happens to be strong enough to encode Peano arithmetic, you can construct a statement a Godel statement G1 which refers to logic L1.

As I said before, Godel proved that your G1 is unprovable in specific framework of Principia Mathematics, which is first/second/higher theory/logic (consist on quantors, functions, predicate, variables, rules).

I don't see evidence that there can be no other framework even with Peano arithmetic inside which can't deliver consistent theory.
You started speculating about framework with infinite set of axiom, and I disagreed with that, but there can be other type of infinite framework, say when you allow proofs of infinite length, then Godel numbering may be impossible, and it can be example of such framework.
As a web dev/devops guy, most of my interaction with both is to set up service files. Switching was relatively easy and I found systemd servics files to be sensible and easy to write. And now I don't have to maintain separate Debian/Ubuntu variants.

So from my purely practical non-sysadmin perspective - a positive change.
This, when you get right down to it a lot of models do fine with only 256 unique weights.
Thanks! We've moved most of the comments there.
One of the replies to my similar post in the earlier thread [5] was from btrask who proposes a similar scheme, using a manifest placed in .well-known/, on the issue tracker for the W3C SRI spec [6]. The conversation is still ongoing, but see that for advantages and drawbacks, as well as other proposed solutions (and/or join the conversation!)

[5] https://news.ycombinator.com/item?id=13495482
[6] https://github.com/w3c/webappsec-subresource-integrity/issue...
Taxpayers subsidise film production, pay a fortune to watch it, and then pay a fortune to "protect" it from being pirated. The CEOs who have made enormous wealth from this process then lecture us on the morality of "stealing". On taxpayer-subsidised adverts of course.
It's really unfortunate that a government official is so blatantly and factually wrong. And that wrong information provides the only rational basis for a dramatic change in policy.