skysight-inc/HackerNews huggingface dataset:
I find that learning raw TLA+ to the point where you're comfortable reading it and internalizing what the spec is saying to be a critical skill to be able to write specifications successfully. This is because PlusCal translates directly to TLA+, which means that:

1. To debug errors given to me by TLC, I generally find that it's easier to look at the TLA+ spec directly.

2. It is sometimes easier to see what your algorithm is doing directly in TLA+. I find that I will write the algo in PlusCal, it gets translated, and I can get a better understanding of how the system works by looking at the TLA+ spec. Example: the "process model" of PlusCal does hide some of the ideas. Multiple process are just P1 \/ P2 \/ P3 ....,

3. There are some oddities within PlusCal (label placement, the with statements) that makes much more sense if you understand the TLA+ foundation.

What I really wish is that I can write partly PlusCal and partly TLA+ for maximum flexibility. However, it's kinda ackward to do within the current framework.
The Macbook has a 4.5W chip and the Macbook Air has a 7W chip now. So you get 2 extra Watts TDP and an extra port. The Air is actually $100 cheaper and 1 inch larger screen effectively obsoleting the Macbook. The Macbook has always been a weird place, it should really be the budget budget mac, but has always been a lot more than the Air.
It's funny you should mention Toy Story. Pixar's John Lasseter is well known to be a friend of Miyazaki. Studio Ghibli even released a DVD of the home movie visit to America titled Thank You, Mr. Lasseter.

http://www.nausicaa.net/miyazaki/lasseter/

I remember seeing once that Pixar had a life size Cat-bus from Miyazaki's Totoro installed in their studios.

The original home movie DVD release of Spirited Away was also introduced by Lasster.
I found it easier to read TLA+ and easier to write PlusCal. This may be because of "software-first" experience.
I scoffed at that price too and then realized that I spend more money on way stupider things regularly. My phone is something that I use literally every single day. If I want to continue using it, then I need to pay the price they're asking. So far, I haven't upgraded because my iPhone 7 continues to be a great daily driver. I'm tempted by things on the iPhone XS but not enough to make the jump. Once I do, though, I firmly believe that it'll be worth that price tag. I can genuinely say that I haven't had an Apple product that, in the end, didn't live up to the cost I paid for it and then some. It's the one reason I haven't left the ecosystem (even though I own an Android phone for dev work and a PC for gaming).

If the price ever outweighs the utility, I'll just stop buying Apple. There's nothing that's that important that would keep me locked in. If a comparable Android phone comes out that works as well as my iPhone, I'll jump ship but only because the extra cost in no way outweighs what I've spent in iOS apps. I'm not going to keep putting money into something that doesn't work for me. I don't get the people that are just brand loyalists for the sake of brand loyalty. I like Apple products because they're the best for me. Why is that weird for some people?
Chrome/Chromium's --user-data-dir is great for this
Cached version: http://webcache.googleusercontent.com/search?q=cache:blog.pr...

There is a definite neo-colonial shadow hanging over it
What's the legality of carrying something like that around in a backpack? When I've traveled overseas, my first port of call when I arrive is to buy a SIM card and a knife that will cut bread and cheese. Then I'm ready for anything. ;-)
The courts believed that the merger would not be a problem with our current anti-trust laws. The governments response should be to pass stricter laws that address the concerns of the court.
Says it all, really. Interestingly the same applies back home...
Apple to Stop Providing Unit Sales for iPhone, iPad and Mac Starting Dec Quarter
My Alaskan with connections to Colorado is showing, but I feel a little naked if I go out the door without my Spyderco.

I often joke that in Alaska, one would only leave the house without a knife if not planning to make it back. While that's not strictly true, visually scanning peoples' pockets even in cities and towns, a pocket clip for a knife can be seen more often than not.

I'm in Germany most of the time lately, but I still don't go out without a knife. The use cases are different, as is the knife I usually carry, but it sees about as much use.
Didn't realise how into it Bill Gates was - thanks for pointing that out.

Hearing that boy's sadness in that video is very upsetting.
College Students Spend $141B per Year on College Costs (Visualization)
What? You mean it's more fake than the well researched reputable journalistic services provided by FreedomEagle2AdForever on social networks?
How to Study for the MCAT? Follow These Top Study Habits
They're not. You can inspect the network packets being sent from an iPhone (and it's been done) and it doesn't phone home data to Apple outside of iCloud usage and those packets are encrypted.
And you get that time back with interest in how easy it makes the check-in process.

Push notification 24hrs in advance, check in and automatically download boarding pass.

Phone has your boarding pass at the airport, as well as push notifications for gate changes.

Phone has the baggage carousel information and terminal maps with food and restrooms called out.
Throw a rock in a pond sometime, and watch what happens to the weeds when the waves reach them.
BitTorrent over Tor (or I2PSnark, which needs more <3) is the superior solution to bad guy big-media. It's free and only needs a minimal amount of patience.
>that would be 90% as good

Maybe to you but I've tried several other phones that are nowhere near that close to Apple. I'd give the best non-Apple phone I've ever used a 70% and even that might be being generous.
From my understanding Studio Ghibli's been using computers for a long while, just not for CGI. They hand draw the images, scan them in and then digitally colour the images.
I'm not really looking to be hired just yet, but more of what I can do to help my CV for the future.

Location: Kentucky, United States

Remote: Either

Willing to relocate: Depends. Not really wanting to go to Valley or NYC. Would love Europe

Technologies: Python, Django(REST), Javascript, Java (Android), Bootstrap

CV: https://www.dropbox.com/s/qxeincpy2vh3pav/Davis%20Sandefur%2...

Email: In CV

Note: Definitely more looking for advice and projects I could do to help build my CV. I've added Java because I'm experimenting with Android currently. Working on two apps, and have build a basic third one (Charisma trainer). The two apps will let you track vitals (temperature, blood pressure, weight, pulse currently; the main ones the doctor takes) and see a graph over time.

The other will be a flashcard app that functions by having the cards on whack-a-mole. Looking at possibly doing it in React or Flutter.

I haven't used Django(REST) much since I did the Réimnigh site, though I did some Flask on the other two unpublished webapps. I don't know which I should include, etc., so I'd appreciate any advice on that. And if I should make sure I'm up-to-date on Django before including it even.

Any other comments would be much appreciated. Thank you all!
> I've seen people ask him great questions (or at least I thought they were) and they only got a riddle in reply. That's only acceptable if you're a dragon or a hobbit in my opinion.

Looking back on a lot of Alan Kay's writing, I've noticed that when he was young he tended to write extremely long winded explanations of what he was trying to do. As he got older, the explanations got more terse. Now he doesn't explain at all: he just asks a related question. In my mind, I don't think this is by accident.

I've been starting to go in the same direction. I'm prone to writing extremely expansive replies to questions (just see my posting history here ;-) ). Some people read it, but most will not. I found that while I lose some fidelity with a more terse answer, I get better traction from shorter answers. However, the audience I add by making my answers more digestible tends to interpret the answers literally -- meaning that they don't think past what I've written.

So I started wondering if replying with questions as Alan Kay seems to do now would be useful. It certainly has its advantages. Although it goes in the opposite direction of increasing your audience, if you feel that most people aren't going to "get it" anyway, perhaps that's not necessarily a loss. It also is a cue to say, "This is a complex issue and you need to go back and look at some fundamentals before you can understand the answer". Those people who aren't willing to do that, probably aren't willing to put the work into understanding the answer anyway. And finally, in the very likely case that my answer is not actually very good, asking a question instead allows the person to formulate a better answer than I can come up with. This latter bit is especially worth thinking about, I think.

But I've resisted doing that as it is certainly intimidating and in some ways makes you look like a jerk ;-). BTW, I recently read some of his comments on what it means to be "object oriented" and I tried my best to build a system based on what he said. The results were extremely illuminating for me. Whether or not it matches his view, I found that working hard on puzzling out his comments took me in valuable directions that I had not considered before.
"Is HBO Now good these days? Last time I used it, it was terrible."

This isn't an issue for me because I have DirecTV, etc., but if it were I would simply sign up for HBO Now, pay full price, but never use it and download from bittorrent in leech mode[1].

I will happily defend that behavior to a jury of my peers.

[1] Or whatever your client calls the mode where you don't seed the torrent.
Would there have been a GPL without Stallman?
It’s a reasonable question. The work is learning how to get a reasonable answer.
> Who doesn't want to live above a grocery store?

Years before I met her, my wife lived above a grocery store. She absolutely loved it: the entire store was effectively her fridge, and she didn’t need to get dressed for the outdoors to buy food. Listening to her talk about it, I really hope that we’re able to live above one together someday.

This feels to me like a lot of urbanist stories: it really is nice, once one has experienced it.
Man... I love the new MacBook keyboards. I know they're not for everyone but I love the feel of it. Any other laptop I use gets my mechanical keyboard plugged in immediately. The MacBook just feels so damn nice.
Peter Thiel says Silicon Valley has 'jumped the shark'
Note also that not all of them are correct :)
It's an interesting contradiction to build a more linear amplifier by intentionally using the transistors themselves in a non-linear fashion.
At the same time you cannot tell your neighbor that they are not allowed to build apartments.
On a side note I can't even imagine how big that webpage was. If you like animated gifs, boy have I got the page for you!

All in all, what I've learnt is how many petabytes must be involved in mapping the US and the world and the 3D aspects.
Next cyberattack front could be your car (2016)
PicnicHealth (YC S14) | DevOps, Security, Back-End, Front-End, Product, ML | SF | ONSITE, FULL-TIME | https://team.picnichealth.com/jobs?src=hn
Picnic’s mission is to structure the world’s medical data and make it useful. We work directly with patients to collect, digitize, and manage their complete medical records, giving them with control over their care. Beyond serving patients directly, we partner with biotech, genomics, and pharma companies who sponsor PicnicHealth accounts for research volunteers. Through this work we’re building the data sets that power some of today’s most cutting edge medical research. Our stack is React/Redux, Node, Python, Keras, PostgreSQL, Kubernetes.

Our product has literally saved some of our users' lives by unearthing issues in their medical records. We're growing rapidly — on pace for 20x this year. Our team is smart, hard-working, and passionate about fixing healthcare.
Raise your hand if you use Flickr today. :-)
With a preponderance of evidence standard as the US uses for civil cases, who bears the initial burden of proof really should only matter in the case where neither side can present substantial evidence, since of there is conflicting evidence, the winner should be the same either way.
Love it, keep it up
This is also true in the US (not sure of prices though I can’t imagine why it’d be mich different from Australia).

One big problem is that you don’t know whether you’re getting genuine parts, and aftermarket stuff can be quite crappy.
Honestly, this sounds like a pretty practical feature. Just do some basic arithmetic on key variables to let customer service know how much of that all too prescious resource (effort) they have to spend on that call.

I think the real problem is a lot more nuanced, though. For one, even tiny unsophisticated call centers implement painfully slow numeric menu navigation that always gives you that extra little kick in the nuts, "please listen carefully as our menu options have changed". Even if they haven't changed in a hundred, or even a thousand, years. They're an industry ripe for change because they haven't kept up with technology. To the contrary, customer support interactions have clearly become heavily scripted and dehumanizing. I can't imagine that industry having taken an uglier turn.
Huh... Maybe I misread, either way, its a similar sort of concept, and still ends with deletion.
Arm Treasure Data | Senior Solution (Sales) Engineer | Mountain View, New York, Chicago, and India | www.treasuredata.com

Arm Treasure Data, the leader in Enterprise Customer Data Platforms, is looking for Senior Solution Engineers with a passion for technical pre-sales to join our growing Solution Engineering practice.

Candidates should have:

- Prior sales and/or client-facing experience

- Strong background in Adtech/Martech

- Proficiency in data & technology (BS CS or similar)

- Deep knowledge and experience in SQL & Python

The Arm Treasure Data enterprise Customer Data Platform simplifies data management. We’re here to help you harness and analyze the information you need to create a data - driven enterprise.

Please email smitchell+hn@treasure-data.com to learn more or apply directly here: https://www.treasuredata.com/company/careers/jobs/?team=Sale...
What happens when your Rust has coordinate with an unreliable vendor system written in QBasic? What if a sensor is affected by bad weather? What if there are malicious clients? With specification, we can talk about systems in a wider context than just individual programs.
The Inside | Portland or REMOTE | Front End and Full Stack Engineers, Product Manager, and Intern | https://www.theinside.com

The Inside is a fast-growing startup of creatives and engineers that makes affordable, custom furniture in the United States. It's rethinking everything about how traditional furniture companies operate. Using digital printing and 3D technology we can offer designer patterns at reasonable prices on domestically-produced frames.

It’s a once-and-a-lifetime opportunity for learning and being exposed to fast-paced environment where you'd have a direct relationship with the CTO, a Y-Combinator alum and startup veteran. You’d be working regularly in React and have exposure to 3D technology.

We're first movers in an exciting space that will soon become the future of home furnishings. Our stack is React/Redux/WebGL + Shopify.

Drop me a line if interested at beacoder@theinside.com!
So what sort of exposure does one get from standing near a mobile phone base station mast?
'Hologram' lecturers to teach students at Imperial College London
>> this packaged, loaded with chemical conservants shit that supermarkets sell.

My grocery store sells normal bread. Just plain stuff with normal ingredients. Baked on site. But here too refrigeration has a part. The supermarket "bakery" starts from frozen blobs of dough that are created offsite and stored until the day they are needed. Because they are transported frozen and/or very cold, they don't need any preservatives. The tiny grocery in your building won't have the capacity to run a bakery and so will have to stock preservative-filled loaves.

The shift to larger "destination" grocery stores often means fresher foods. Look at costsco. Hate it as a big-box store, but their turnover means they can run a full bakery without caring about shelf life. The tomatoes sold at my Costco are also fresher than those at any local grocery because they come strait from the greenhouses without middlemen distribution networks.
I opened the link thinking ”hah, what a gag!” But then I thought it’d be funny to try to find the core fizzbuzz logic. Turns out that it hits way too close to home, I just got really annoyed. Not sure what I expected.
Have you looked at all the video ? This talk is actually about children education ( to build a better future). But then he brings deatchcamps, his dentist not removing plastic protection often, francis bacon new science, aristotle not knowing the number of teeth of his own wife, brings some statistics in the middle about mental disorder, etc etc.

It may be human critical thinking, but then please it needs some structure and a feeling of progression in a reasonning, actually leading somewhere ( and if that something could be anything new, more than just « computers could be better learning device » that would actually help).
And you can't tell people not to develop new patentable inventions, either.

You can stop them from infringing your patent, just as you can prevent your neighbor from building an apartment building on your real estate.
Who are these luminaries you speak of? I know Neil degrasse Tyson thinks AI is going to be beneficial, but I don't know who else takes that position. Most of the "experts" who are quoted on AI, not those scientists and engineers actually building the AI, but those "expert philosophers" like Sam Harris who assume their prosaic musings can capture the future of technological innovation, they are mostly gloomy or neutral on the subject. So, who's out there actually building AI and declaring it'll lead to utopia?
I don't think that's right, though it may be your view. Temperatures have in general been warming since the Maunder Minimum 400 years ago.

https://upload.wikimedia.org/wikipedia/commons/thumb/5/5c/Ca...

Clarification edit: Meaning I think there is a better argument in the polemic (I'm not suggesting the answer)
The maps stuff never ceases to amaze me. Seriously cool engineering going on in these spaces!
I really hope this type of payment system become a standard and adopted by other browsers. It's really close to what Ted Nelson tried to do.
Right. In addition, you miss out on the notion of refinement (ordinary implication in TLA+) which is the most powerful (and most foundational) idea of the formalism. But I think many developers may be threatened by the unfamiliarity of TLA+, and PlusCal serves as a gateway drug, as it's often useful enough on its own (you're right that you need to know at least a bit of TLA+ to understand some of the tooling's output). If "PlusCal first" makes TLA+ less threatening and hopefully more approachable to many developers, then the approach is doing its job.

(BTW, I wouldn't call it "raw TLA+" as "raw TLA" is a particular logic that Lamport uses to introduce TLA, so the term may be confusing.)
This is why we need to integrate more africans into modern science fields.
From the Bully Pulpit to the Radio
It’s unbelievable how far people will twist themselves in knots trying to find utilitarian justifications for what is, at the end of the day, non-consensual mutilation done for no reason other than “because tradition.”
It seems like half (all) of those could be solved with a VM. On paper, the iPad has the storage (1TB!) and horsepower now. I wonder how difficult it would be to implement a hypervisor on iOS.
Also a good point. That is just as much an algorithm!
You're saying that adding abstraction increases readability, but that you want to avoid doing that until step 3?
I was really hoping this would be a paper describing how to "enhance" the image a la the CSI TV show[0]

[0]: https://www.youtube.com/watch?v=3uoM5kfZIQ0
What value are you getting for the discount and convenience you're giving up?
Sounds like Diaspora by Greg Egan. If it’s not, Diaspora also has a virtual mine of mathematical proofs that is mined by the citizens, which are virtual “human” entities living in a simulated world.
Australian here. That's not a knife...
No, it's not. Try `(+ 1 "1")` in clojure and clojurescript. In clojure, it produces a runtime exception. In clojurescript it silently errs, resulting in a "11".

The compiler correctly infers and warns of the problem, but that is of no use if your inputs change types on you. In the case of the service I'm referring to, an external service started serving up json strings for large numbers, whereas it had previously been json numbers. Since there was no exception produced, it silently corrupted data for a couple weeks before it was caught.
There is also the aspect of who has a dog in the fight and skin in the game.

When you have Americans telling Africans to get themselves circumcised you do have to wonder what is really going on, particularly when there is this dubious level of 'science'.

In the U.S. there is always the profit motive. Hence male circumcision is sold to parents as hygienic and beneficial, they go along with it and the hospital makes some money, everyone getting bonuses except for the baby boy.

To contrast with this profit-motive-situation you have places like the UK where healthcare is provided by the government - e.g. the NHS. The hospital has no financial incentive to circumcise as many boys as possible, doing so would be a cost, not a profitable thing, so it doesn't happen. Therefore the population ends up being un-circumcised as a general rule.

By adulthood men have had long enough to rationalise with what happened to their foreskin. If it has been removed then they tend to want this for others including their own boys. Meanwhile, those with intact foreskin don't talk about such matters in public as they know that open discussion will deeply hurt someone in the room who has been circumcised.

I think that this experiment to circumcise millions of African men for their own good would have been easier to get to the bottom of if everyone involved had to explain their viewpoint in just their 'birthday suit'.
Can you provide specific examples of things that you found the most useful when you finally had a full-time/non-coding manager? Having somewhat recently transitioned into an engineering management role, I'm curious if there's anything (or situation) in particular you'd highlight.
One thing that I have been discovering recently: Discussion groups. Back in the day it was Usenet, of course, and there are still websites that host niche forums. But it seems I am now running into weird new interests where the major discussion is happening on a facebook group. I go months without logging into facebook, but this seems to be what's drawing me back in.
I kind of see what you're saying. However, I'd much rather have a real and thorough answer than a question. I start by skimming, and if I need the info it is there.
You hit the nail on the head. Lots of tech-oriented people seem to have this compulsion to tinker with everything which is why they can’t understand why someone would prefer an iPhone.

I simply do not care about being able to root my phone, side-load random crap, or use third party browsers. I barely even change the wallpaper. That stuff is what my real computer (running FreeBSD) is for.

What I care about on my phone is having a huge, pretty screen, good performance (i.e., no frame drops and jank when interacting with the UI), reliability, and security.
Not really any better of an experience than the HBO Now app, IMO.