skysight-inc/HackerNews huggingface dataset:
The raison d'être of Bitcoin is that it makes the entire banking infrastructure (ie. the equivalent of the huge settlement industry currently in place to keep global finance running) accessible to everyone with a smartphone and internet access. Or think of it like this: Before the internet the knowledge you had access to depended mainly on the people and libraries around you. With the internet you gained access to all the knowledge in the world. Blockchains are doing the same with regards to the accessibility of financial resources and services.
Would that be like having a yield statement AND passing a context (e.g. binding a this that represents "current-continuation")?
I wouldn't expect so. Surely Secure Boot will be enabled with no option, at least on ARM platforms, for users to disable it. (This would be keeping with Microsoft's requirements for prior versions of Windows on ARM.)
I think you've confused positive with normative arguments: you're rebutting a normative argument I did not make. I'm simply describing a fact: the Accredited Investor Rule is not excluding average people from processes that, like the rich, would make them richer.
If you think VS Code with all plugins is an IDE at the level of Intellij or the main Vs then why VS still exists? Maybe you did not used this large IDEs so you don't know what the features or speed is, maybe your projects work good enough with VS Code or a plain text editor(not all projects need a big IDE).
My opinion is that Electron needs more optimizations, and the developers that use it need better tools and need to also care more about the CPU usage. Even if you would use c and compile to web assembly to run n electron the problems would still be there so not the Language is at fault but the implementation.
The thing that stood out to me was the 'Disable all' button. I don't know how that compares to other platforms, but it's a good feature to have.
WSL is the best thing since peanut butter. Recently moved all of my dev command line work to the Subsystem. Even better, VS Code integrates it perfectly well.
And groovy stole x from ruby and y from JS which stole from C which stole from Smalltalk. Who cares? Use Kotlin or not. Don't worry about perceived idea theft.
You can if you want to go that 'far'. It's pretty easy to add full SMT support if you want (via Z3). Out of the box, it's not required. You get existential/universal quantification, conjunction and disjunction as your dyads, and invariance properties out of the box.

I'm guessing Lamport chose not to go the 'fully dependent' route Coq/Agda style (based on his presentation at least) because, well, as he said in the intro lecture - engineers don't really want formal verification at that level but still want strict invariants of their system to be ensured s.t. you can be guaranteed your program will never enter an undefined state nor encounter any undefined behavior as a result entering into an ill-defined state and proceeding to get UB (or 'implementation-specific', ugh) as a result.

What really drove it home is reading the paper Lamport referenced, "How Amazon Web Services Uses Formal Systems" (Newcombe, et al, 2015) along with his RTOS anecdote of decreasing their NASA RTOS' KLOC by 10x while getting stronger guarantees in the process (see: "Formal Verification of a Network-Centric RTOS", Verhulst et al, 2011).

It's also got more than a few similarities with "Fortress". Guy Steele really pushed this programming model while at Sun, but sadly DARPA killed the funding for it. That being said, Amazon has this is at > 14 of their AWS programs so it seems to be accessible and useful enough to the average engineer rather than 3 post-docs locked-up in their academic ivory tower, leaving twice a year only to present at ICFP and POPL.

At the 'formal level', I think the closest analogue to the strength of your guarantee is either Ada/SPARK or QuickCheck. Certainly way stronger than your standard "oh hey, I wrote a unit test in an untyped language, I'm good to go!". (I.e., declare your give me your invariants and I'll make sure your system never reaches a state you don't want).

Worth checking out if only because, hey, Lamport, Paxos. Have a look at Newcombe2015. It's only 8 pages, throw it on the Kindle or iPad, grab a coffee and have a go. What've you got to lose, right?
> Soooo... you reimplemented GNU Make?

Well, it puts Arnavion in good company: https://en.wikipedia.org/wiki/List_of_build_automation_softw... .
Exactly... in a world where you can self publish both print and electronic versions of books... are publishers adding enough value to justify protection of their profits?
"There need to be more penalties against larger enterprises especially to discourage abusive behavior.."

That's often the problem. Same for illegal contract clauses. They often get away with them or if not they pay a little and do it again next time.
Unity is a big user of it as well.
> I can say that every programming language that I grew to love, I liked almost immediately. The ones that make no sense from the get-go, I don't spend much time on.

Surely the second sentence is the reason for the first? If you don't give languages that make a bad first impression a second chance, then you have no idea whether you would have grown to love one of them. (Certainly you aren't obliged to find out, but to regard this as evidence that you wouldn't have liked them I think is reversing causality.)
Out of curiosity, how viable is a search engine for hackers (in terms of a business model)? What are some "weaknesses" of Google that this search engine might take advantage of? One thing I noticed is the amount of "low-quality" pages that appear on the page#1 for popular keywords.
I don't, but the article posits that there are thousands of copies of a title sold that don't come from a publisher, so it is implied. They also mention promotional copies but that is no large quantity.
And thanks to you for creating this!
1. A New Search Engine

Turns out it's not about new search engines but rather how to capture search intent. Amazon did that to beat Google.

2. Replace Email

This will be done by notifications and direct messaging. Kids these days don't bother with email.

3. Replace Universities

Turns out this is just upscaling. Most of the job training stuff is dropping out of the lower orbit of a university and being swallowed up by the new in faux DeVry tech boot camps. But want to be an AI expert? Want to be a doctor? You still need to put in time in academia.

4. Internet drama

They all mostly caught up. Still can't beat Netflix though.

5. The Next Steve Jobs

Conan O'Brien, a fellow Harvard alum, said it much better. In the pursuit of being someone else you end up being yourself. Just be yourself.

6. Bring Back Moore's Law

This is happening in GPUs.

7. Ongoing Diagnosis

This is happening.

3-5 years is about a cycle that turns high tech to low tech. Most of the stuff talked about in 2012 are now low tech. Things like mobile app development or tablets or 4k TVs. Twas a good feeling back then, now it's all AI and MR and rapid fabrication.
Here: http://www.inc.com/sonya-mann/amazon-counterfeits-no-starch....
That's the kindest spontaneous compliment I've received in a while. Thank you. But: while the pithy comment might farm more imaginary internet points, the essay may actually teach a lesson to the person who doesn't yet get it.

As for writing: it's not magic, but for me it's not consciously applied processes either. If I had to guess how my earlier comment came about, I'd suggest something like this as a generative process:

1. Find two effects with a common cause (provided upthread).
2. State each effect, sharing words and rhythm to bring out contrast.
3. Omit needless words. (Thanks, Strunk/White!)

HTH.
Mono also runs in other commercial UNIX and mainframe OSes not yet supported by .NET Core.

And does support AOT compilation to native code, while the work in CoreRT is currently on hold, until the .NET Standard 2.0 gets finished.
Neo stares at the endlessly shifting river of
information, bizarre codes and equations flowing across
the face of the monitor.

NEO
Do you always look at it encoded?

CYPHER
Have to. You have no idea what the
server is running - there's way too
much information to decode the Yahoo.
You get used to it, though. Your brain
does the translating. I don't even
see the code. All I see is "pointer",
"string compare", "function call".
You want a drink?
There's also spectacle (https://www.spectacleapp.com/), however this seems worth trying out, especially due to the ease of remembering the layout config shortcuts
Unless you're buying a relatively new book, book buying on Amazon is an incredibly painful experience. I've given up almost altogether. There are a number of outright fakes, but the main problem is the massive number of really crappy print-on-demand OCR/scanned books.

The only way I do continue to buy books on Amazon if they're sold by Amazon and fulfilled by Amazon, which it sounds like that will generally be less findable. It simply isn't worth the trouble. I have no sympathy for the publishers - I have no problem at all buying used books - but there is more to the story.
This does not relate to the physician population studied, but I've seen older attendings in certain specialties use political clout to score more exciting rotations in critical care units after rarely practicing while younger attendings who don't often practice generally are forced to maintain a clinic. I would be interested in seeing if that had any general impact in care.
How to learn Deep Learning the easy way?
google provides qualitative answers. what would be really neat was a search engine that provides quantitative answers or raw data.

i'd like to be able to search google for "all the pages that contain a particular javascript snippet", for example. obviously, google has that data. obviously, they dont want to make it available.

there are services that offer such things but they suck because their datasets are way too small.

on google specifically: the results pages dont matter anymore. nobody clicks anything but the "#1 results" if they click even that. for questions, google very often responds with something like a quora question or some widget of its own, or something else that is really useful - and if its not useful, you try another query instead of clicking through the results pages.

results pages are mostly kept for nostalgia it seems.
How to Get Rid of Anxiety and Stress Naturally
Great phtograph of a beautiful kitchen, complete with a chef providing catered lunches, captioned with a description of how the company had to lay off staff because the company executives can't figure out how to make money. Perhaps that should come before the chef? Why is it such a badge of pride to provide perks on other people's dime? Silicon Valley in a nutshell.
Making Your Own URL Shortener
AFAIK Unity is stuck on an ancient version due to licensing issues.
Google Calls on Search Smarts to Catch Amazon’s Voice Assistant
At lot of doctors work in teams now. I think this could help to mitigate these issues.
The one story I know is this one https://twitter.com/billpollock/status/844030960333152256. There have been a lot more. There are a few different issues the article doesn't touch.
Honest question: what is so complicated about writing device drivers, whose sole purpose typically is to transport data from input to output, and vice versa?

Also, shouldn't drivers be sandboxed to prevent stability problems from affecting the rest of the system?
> The user experience gets better with more options.

Not really. Better UX comes from better options, not more, poorly thought out ones. The options available fit the purpose of the device. A luxury car has features tailored for comfort. A real luxury car focuses on the back seat. A sports car has featured tailored for "feeling" and controlling the car.

Having more options brings a superior experience only if your goal is to do multiple things, some never done before, sometimes in unexpected ways. Sometimes you use `sed`, others `awk` and there are days `cut` will cut it.
I'm not sure about the volume, but I have encountered this relatively frequently on Amazon. To be fair, is is less common on in-copyright books, but it is a problem.

Finding a press isn't a problem for these people. There are tons and tons of such outlets and some of them are apparently less reputable or more willing to look the other way than others. On-demand printing has completely changed the game.

I think one way of getting around the "Amazon caught on" problem is by having many, many "different" sellers selling from your same inventory. The reviews aren't a big problem, because Amazon will show the same reviews for different versions of the same book - even if it has different sellers, or is a different translation, or a different edition. (Ignoring all this, this makes a a HUGE pain when trying to decide which translation of a book to buy; normally I don't care much about edition, but if it's a foreign language work I want to find out what translation people prefer.)

Generally at least you get a poor-quality of the book, but sometimes the scam descends to the level of e.g., printing and binding the Wikipedia article of the book.

As I mentioned above, I have almost completely given up on buying books on Amazon because of these problems. Unless it's Sold By Amazon and Fulfilled by Amazon, I wouldn't touch it with a ten-foot pole.
I am a bit confused, isn't this what happened?
Would you say that this has limitations and it's not a silver bullet? Eg. What if your software added numbers, formal verification proved that your program was indeed correct because it added the numbers. However, it missed the requirement that you also had to do subtraction, which for some reason was omitted in the specification.
Oh I agree with you on that one. They are stable games, just not on the production level with your average PC game.

About the UX, not sure if it's just me, but I want more character or object control when playing a game. I guess I have played on a keyboard+mouse for far too long. Phones/consoles just don't have the same level of satisfaction for me.
I think there may be room to replace the telephone. Most of my phone calls are junk. Amazon may be on the way to doing this with Echo calling.

Make a new spam free telephone system on the ip network
Looks neat and I'll have to try it out. Just curious what makes this different from Spectacle or Shiftit?
Or to put their win32 app in the Windows Store using the Desktop Bridge (a.k.a. Project Centennial)
> Safety officials are still investigating how safety checks failed to spot that the calibration data had been deleted.

So I guess the checks for checking the checks of the data failed? You can never have too much redundancy!
> Kids these days don't bother with email.

This seems to be a life phase, not a long term trend.
I think GP means an aggregating fund, not a news aggregator.
Growth Takes Off When Smart People Are Neighbors
I don't think switching the clauses helps. The two clauses are meant to be completely independent.

In some places "avenue" means a road having trees on the side, regardless of how that road is related to streets.

In other places, "avenue" means perpendicular to streets, regardless of whether or not it has trees. An example of such a place is Seattle, which chooses "street" or "avenue" based solely on direction. Streets run east/west, avenues run north/south.
In a country like India, we had eastern economy and similarly other subsidized editions. If a book costs 100 USD, it is beyond range of most students, as this crosses their monthly budget.

So, while arbitrary these barriers have the place till we have movement of people.
"Turns out it's not about new search engines but rather how to capture search intent. Amazon did that to beat Google."

This is very much doable nowdays for cheap. Hmm, I should stop slacking on my hobbies and roll one specialized search engine for something that I think will gain traction.
Hustle as hard as you can. Read, "Do things that don't scale" by Paul Graham for inspiration. Acquiring customers is as important as building a good MVP, actually, more important. If you struggle to think where to find your first 100 customers it's usually a sign for caution. Get them by whatever (legal and honest) means necessary. If you are solving a real problem, complete strangers will gladly try your product. So again, try everything: Reddit, Twitter, Facebook Groups, Forums, Coffee Shops, Shopping Malls, etc. Get Out of the Building! If your target customer doesn't sign up quickly, pivot. There are better uses of your time.

Small tip: describe your product in the description of this post and link to it. You might find your first 5 customers here or generate word of mouth. Lost opportunity. Try to be reasonably shameless. If you are solving a problem no one will find you distasteful. People love to be sold good stuff.
Lunch or Data?
Avenues are straight paths or roads with trees on either side.
IMO that's not a lot of money for aerospace
It's purpose is for people who need to do professional cross-platform .NET work, today. As opposed to tinkering with hello-world examples, and keeping an eye on what might be the big thing down the road.

Mono actually works, today. It's hype is not ~5 years ahead of an actual implementation. It's not continuously waiting for one more generation of tooling to settle down, or one more standard to be decided or API to be implemented. Its "Getting Started" examples actually compile and run, consistently.

There are two types of languages/frameworks... the ones that people are excited about, and the ones people currently use. Mono's purpose is to serve the latter.
Here’s the blog post linked in the article.

https://blogs.msdn.microsoft.com/commandline/2017/05/18/will...

> Windows 10 S is not well-suited for many app developers/hackers, admins & IT pro’s!

> If you want to run all your dev tools, distros, shells, etc. on a machine running Windows 10 S – like the sweeet new Surface Laptop – then upgrade it to full Windows 10. You’ll then be able to run Linux distro’s, Cmd/PowerShell, install dev tools, debuggers, profilers, packet sniffers, etc.

That sums it up.
It's great that these examples have been collected in one place, but it's an incredible leap to call this a spiritual successor to TodoMVC.

Fundamentally, every implementation is different at a UI level. They all have different designs, some have custom fonts. Some go directly to the Firebase source, whilst others go via an intermediate API. The scores that are being listed are affected by too many variables beyond the UI library for them to mean anything at all.

In addition, a spiritual successor to TodoMVC is going to have to reflect actual upcoming patterns in user interfaces. Things like shared element transitions, sound effects, perhaps some 3D effects, and numerous other things. Most HN clones don't even allow write operations, even TodoMVC has that.
I always used Divvy for this, but IIRC it's paid only. Looks like a nice start.
Java Threads Comment to Sun 1998/08/20
I read the word "pivot" and later in the article, it mentions their raise and valuation. It doesn't read like the layoff was money related, rather pivot related.
Old people text me now instead of calling or emailing. The habits of young people eventually change the habits of the whole society.
The only thing that seems off is the Buy Box Winner being out of stock. If they're out of stock, some other seller should be the Buy Box Winner. Otherwise it misleadingly looks like everyone is out of stock for that title—which is bad for buyers, bad for sellers, and bad for Amazon.
I think this is a little harsh on .net core - it is not as feature complete as mono yet, the point you are making is correct, but it's still usable right now, with some allowances and restrictions.
It seems reasonable to assume Bill Clinton has the best medical care available. And yet even he had to wait till his arteries were over 90% blocked to learn that the number was over 90%.
Wonder if some startup is working on this area of non intrusive diagnosis of arteries blockage ?
The link to "www.datacenterlight.ch" in the end of the blog doeas not work.
When I press "buy now" at "www.datacenterlight.ch" nothing more than the page jumps up to the start happens.
Spelling mistake on blog post "Switzerland has been save from natural disasters." Should be "safe" instead of "save".
You must be in a different market niche than me. I buy a lot of books and I've had no issues at all, even from third-party sellers of old books.
Anthropogenic Space Weather
Graham predicted Slack (email replacement) would be big before Slack existed (launched Aug 2013 https://en.wikipedia.org/wiki/Slack_(software)#History)
Not really. The direction is clear; C# evolves with the times (still, the only version to have broken backwards compatibility was 2.0 because of Generics - which was/is a good thing) . Currently, it's at the very base, an object oriented programming language with powerful functional style features. The bureaucracy you're referring to is at worst (not for Java though) it's static type system, which again is a good thing under the right application scenario.
A little off-topic, but I get the feeling that these studies won't be so important in the coming decades. AI is going to be better than both young and old doctors when it comes to diagnosis, or recommending drugs and treatments. I've tried to have some discussions about this on Quora and Reddit, but I quickly get shot down by people (sometimes doctors) who refuse to accept this. I think there are even a lot of skeptical people on Hacker News, which I don't understand. It just feels obvious and inevitable.
I didn't call them out because they aren't doing anything unusual.

Drive around any town. The colleges and hospitals are wrapping up an orgy of construction in most places. The root causes are very similar
A real fossil that I have never zapped!
The just bumped to a new version in the newest betas. After Microsoft bought Xamarin those licensing issues appear to have gone, which makes sense given MS's strategy.
The 'frightening ambition' on display here seems to be to beat out incumbents.

Not that there's anything wrong with that, and PG is right to point out that the rewards for doing so are huge (this reads a lot like Zero to One).

But in terms of social impact I look at these ideas, with the possible exception of Moore's Law (albeit they are from five years ago) and think, meh?

How much does an incrementally better Google, a slightly faster GMail (exists, if you're willing to give up spam filtering), a replacement to Oxford/Harvard, a slightly better Netflix really get us? Certainly it doesn't seem to solve any of the major challenges that we face today.
Which is exactly my point. Ideally, you want to encrypt with a key that is different from the key that you need to decrypt, so that you can encrypt without ever having the key that is needed to decrypt in memory. This is impossible with symmetric cryptography.
Unbearable read. Overflowing with intellectual elitism. Completely out of touch with reality. If this is PR [0], Evan Williams should demand a refund. I don't know, maybe this crap appeals to yuppies living in the coastal big cities? Tools like Twitter and Facebook have done more to connect more people of all income and education levels than anything else. Medium is not going to reach these people, who don't read the New York Times, let alone frequent quaint used bookstores.

Long form anything is going to continue being dead until we find a way to fix society so that families don't have to spend every waking moment struggling to pay the bills. All indications are that this problem will only accelerate as automation wipes out more jobs, with self-driving cars and trucks at the vanguard of this revolution. Stay tuned.

[0] http://www.paulgraham.com/submarine.html