skysight-inc/HackerNews huggingface dataset:
Some videos that were just released:

Announcing Amazon Textract,
https://www.youtube.com/watch?v=PHX7q4pMGbo

Introducing Amazon Textract: Now in Preview,
https://www.youtube.com/watch?v=hagvdqofRU4

Introducing Amazon Hieroglyph: Now in Preview (AIM363),
https://www.youtube.com/watch?v=FnZFK_2oqKk
Free+Software+Foundation+Europe+-+Thank+you+for+your+order
This is an urban legend.

https://www.snopes.com/fact-check/chevrolet-nova-name-spanis...
I think c++ (and qml to some extent) scares people vs. JavaScript, where you have thousands of libs for every situation to back you up
Four years of JavaScript churn: Mopidy.js 1.0.0
> I'd daresay is the majority opinion among mathematicians. It is also the opinion of prominent computer scientists: Dijkstra, Leslie Lamport, Donald Knuth, to name a few off the top of my head.

There are reasons partly historical and partly due to the subject matter of CS that mathematicians closer to it tend to place relatively higher value on formality.

> It is also plainly true: mathematics is about rigour.

This is taking taking it too far and you're placing yourself in the formalist camp, which is a minority viewpoint. You gave a nice quote from Spivak where he characterizes rigor, "...the natural medium in which to formulate and think about mathematical questions."

Labelling it a 'medium' is very informative. Computer programs likewise depend totally on the formality of the medium; it's in intrinsic part of how they are able to operate. Same with the magic of formality + inference in mathematics.

That said, the psychological questions of pedagogy involve much more than the intrinsic features of some subject. In learning to write completely formal computer programs, one benefits immensely from instruction which departs from total formality. I'm assuming this would be obvious to the readership here so I won't go into more detail.

> Completely nonsensical comparison (C++ and Haskell?? two languages who could not be further apart)

I was referring to the social standing of the languages (which is all that matters for the points I was making), not their intrinsic features.
I get why it’s easier from the developer perspective, but I don’t have a Facebook account and certainly won’t create one for any reason, let alone such a service. Hopefully the developers/owners of the service recognize this and allow more because not doing so eliminates potential customers.
Regarding the first point, if you are the type of person who just wants it to get to the equations with a minimum of talk

I don't want "no talk" and "just equations, I want the "minimum of talk possible" that communicates the ideas and nothing more. I find the more stuff you write the more there is to confuse people. The best way is to strip everything that is superfluous. You are left with the essential, in the clearest form there can be.
The signatories have very poor reputations and their argument is at conflict with most very basic facts about octopus biology
There's also this paper [1] describing "biological annihilation via the ongoing sixth mass extinction". Should have made front page news everywhere.

[1]http://www.pnas.org/content/114/30/E6089
It sounded like Paul wanted them to become a second Oracle.
I really enjoyed re-reading that. It captures the very essence of "instant in time" incorrectness, it is why I stopped believing anything I thought was "definitely true" in the tech business actually was what I thought it was.

I felt the same way that Paul did, Microsoft had calcified into this Office/Enterprise crust, living off their contracts with big businesses, while the real world was cruising to a new, agile, and open source beat. I had also been at Sun when it was still small, and cringed when bad news from IBM put a big negative impact on Sun's nascent stock price, even though, at the time, IBM's pain was coming from Sun not that we'd share in it.

But the trap that I had fallen into, and this essay expresses, is that "Today is every day" or more precisely, now that the world is to my liking, it will cease changing in ways that I disapprove. :-) I felt like the puzzle is figured out, I "get it" now, I can see the strings going from the puppets to the puppeteers and now I can see how the world is working.

But the cruel trick is that in systems, the puppets are recursive, or in mathematical terms, the forces influencing the future direction of technology are nonlinear at best, and likely chaotic. Everyone is changing in response to the changes they perceive around them, and in response some of their changes change those around them. Like the traffic analyst who figured out you could stomp your brakes going West on Interstate 10, and have the 'wave' of your braking effect roll south on the Harbor, get picked up going north on the 405, only to have it come back and hit you from the front as its echo headed east back along the 10. Sun made Workstations and Microsoft only cared about PCs except the echo of what a workstation was suddenly came back and hit Sun in the face as a big PC. Or Sun's prophetic, if ill fated slogan that "The Network is the Computer", which turned out to be literally true as clusters of Linux machines took out big iron symmetric multiprocessing systems. And then again, as Paul points out, when the Web browser ran its "programs" on the "network." Where did the computer start and the network end? It was no longer possible to tell.

Take away from this the certain knowledge that Google, Facebook, and Apple will all "die" (Apple for the second time :-)) at some point in the next 5 to 20 years. What we care about today will seem silly in the future, and the there will be technologies that enable completely different things to consume our time and resources than the things that do so today.

People create startups and dream new dreams for the same reason a surfer starts paddling their board toward shore, waves come up, and you have to be in position to get a good ride.
The US-China trade deal has 100% to do with this. It's too big of a coincidence that just as China agrees to designate fentanyl as a controlled substance, the dealers voluntarily (as a whole) decide it's too risky to trade.
This highlights the magical thinking we can suffer from in Silicon Valley where we believe we’re inherently better at solving problems here. It sounds like what Paul was saying is good ideas can no longer come from Redmond and the best they can do is buy a chunk of Silicon Valley and hope to ride on whatever success that nets them.
Don't get a wild-caught parrot. There are plenty of parrots that need new homes. Get one from a rescue. Or if that won't work (none close enough) get a captive bred bird.

Also be very, very sure you can take care of the bird for the rest of your life, and will have someone that can take over when you die who the bird will already know and be friendly with. Birds are more work than dogs, they need a whole room in your house (at least) to be made safe to fly around in / shred things in, etc. Don't leave a parrot alone with anything you want intact.

All that said they can be very friendly & great companions.
As I believe that Earth is the only life-bearing planet in our galaxy, if not the whole Universe, I'm extremely saddened with news like this of a near-extinction of yet another fascinating species.

My only hope is that humanity will spread among the stars, dispersing what species remain to billions of new worlds, and that this might be our redemption for the unspeakable crimes we have committed against life...
Okay this comment might finally push me to stop subscribing to IntelliJ and try out VSCode for all sorts of code. Sounds comfortable. Does that thing do any Windows 10 like non-configurable telemetry?
The interesting thing is, how battle-proven is the current ad/monitoring obsession as an actual business? It's trendy, but not every successful firm has to-- or should-- get on board.

Microsoft's classic businesses are pretty comprehensible. Software (boxes or as a service) and cloud services are pretty solid business models. They don't require unrealistic expectations or gimmickry to work. There might be shifts within that market (the MSRP of a browser is 0, and that of an OS is plummeting towards 0 quickly), but you can realistically say "I want to sell a software package" or "I want to run a cloud service provider" and make a business case without fantastic assumptions.

In contrast, much of the value of Google and Facebook and similar companies is based on anticipation of the future value of those big data stores, a largely unproven asset.

Will consumers reach an "uncanny valley" moment for personalized marketing messages, resulting in a downturn in click-throughs?

Will advertisers always be willing to pay a premium for improved targeting? I could see a competing product offering spray-and-pray banner ads with .01% click-through rates at a few cents per click outperforming hyper-targeted ads that draw a 5% click-through rate at several dollars a click.

Will they be able to successfully retain, grow, and monetize their data hoard after the inevitable regulatory backlash? (I could imagine a sufficient data breach resulting in regulations that make the GDPR look small potatoes)
Agree. Two of three largest companies in the world are now in the Seattle area with both Microsoft (#1) and Amazon (#3) thriving. Apple (#2), Google (#4) and Facebook (#5) are in the Bay Area.
"The subway has been more crowded the last 5 years than I've ever seen it"

There was an article in the New York Times in May, titled "How 2 M.T.A. Decisions Pushed the Subway Into Crisis" that claimed higher ridership is not the main cause for the recent decline:

> For years, the Metropolitan Transportation Authority told us that rising ridership and overcrowding were to blame. Yet ridership actually stayed mostly flat from 2013 to 2018 as delays rose, and the authority recently acknowledged that overcrowding was not at fault.

That statement doesn't contradict yours (shakes fist at well-qualified statement), but I found it surprising when I came across it and I imagine others might as well.

[1]: https://www.nytimes.com/interactive/2018/05/09/nyregion/subw...
Great to hear, did you use gen_server and supervisors or just spawn/3?
How to Setup Robot.txt on Blogger for Better SEO
AWS Well-Architected Tool – Review architecture and adopt best practices
Also, their eye cells only detect black and white but they can probably “see” color by using non-circular pupils.

https://news.berkeley.edu/2016/07/05/weird-pupils-let-octopu...
I am a huge fan of Jeremy's blog. Found his primers on a multitude of topics very useful - https://jeremykun.com/primers/

As a Math guy who got into the world of programming relatively recently, I am on the opposite side of the spectrum I suppose but I'm gonna order this nonetheless to support him.
Your comment is a bit hard to interpret, but maybe you're saying that compared to other opioids, fentanyl could be more damaging to society because it's cheaper. Which might be a good point. In my original comment, I only focused on the pharmacology because that's what I know, but approaching the topic with a broader perspective is important.
sorry i meant 'while i try to fall asleep' :D
I assume this was posted in response to Microsoft passing Apple as the most valuable tech company.

Ironically, In 2007 Microsoft’s market cap was more than twice that of Apple’s ($270B vs $100B). That company’s staying power is truly amazing.
This a very nice starting point for web components. The window component appears to function fairly smoothly. May I suggest filtering examples on the data-table and a kitchen-sink example which shows multiple components together?

Great job!
Which just means that people arent willing to pay enough to actually be ad free.

Many people don't seem to realize just how lucrative advertising can be, and how little they would be able to compensate considering how much media they consume every day. A single youtube video could be 5 or 6 figures in production and you can flip through a dozen without issue. That's a serious amount of value in return for ads.
I was playing around with this recently.

I found myself really missing (1) homebrew (2) a decent terminal (I tried a bunch...) and (3) good trackpad drivers.

Not huge things, but enough to make switching feel unappealing.

(There are a few things similar to homebrew, but none seemed to have gained enough attraction to cover basically anything you could want, the way homebrew does.)
> counterfeiting money

except counterfeit money can cause higher inflation. "Counterfeit" media doesn't.
Psychedelics (particularly tabs) are not as safe anymore because of increased availability of cheap designer drugs that have similar effects to LSD, but are much less safe. The NBOMEs and bromo dragonfly are two examples of such drugs that have been implicated in accidental deaths. I was reminded of this recently when an old acquaintance of mine who was a heroin addict died. I assumed it must have been the usual H + fentanyl OD, but he actually had a heart attack after taking some psychedelic tabs
I don't think Google has ever really "died". You could potentially make an argument that when social came along Google was somewhat upstaged, but not really that much.
I assume this phenomenon has more to do with the fact that it is not required for two people to work in a household to comfortably sustain it in Switzerland, which allows the women the option to stay at home with adolescents. Maybe they in fact have more rights.
Some background information on bcachefs:

https://www.patreon.com/bcachefs
Just return it
Thanks for the info, may have a try to see how Dust3D could benefit from this.
Well, two chapters have singular value decomposition and neural networks as the applications. So it does have a lot of ML :)

But yes, I unfortunately had to cut a probability chapter. I think someone who reads this book would have a much easier time learning probability after, and a better foundation.
The point being that Microsoft is no longer the desktop operating system company of yesteryear.
So if anyone can help: I've got a nice BTRFS raid nas at home, and I'm wondering if I should switch the bcachefs?
I keep trying and I keep going back to Mac or VMWare workstation and running the full Linux kernel for "proper" docker.

WSL is great and I'm learning to like cmder but I really miss iterm.
I mean, it won't add anything to the story...

...but the textures become astounding. Also, long shots of landscapes are so rich with detail as your eye can move around.

So for interior shots in an arthouse film, or exteriors in pretty much any film, it's a world apart. For talking heads on the news of course, who cares.

I'm so used to 1080p minimum for movies and TV shows that standard definition makes me think I have something wrong with me eyes, it's just blurry. Like I want to focus but it just won't.
The Sheep Look Up by John Brunner. It was the scariest book I ever read.
Portia (Spider): Intelligence
Ironically, Azure is doing better than Google cloud services.
> Fentanyl is used thousands of times per day in the medical setting because it is a safe drug.

Fentanyl is not a safe drug. Period. It is a powerful and dangerous drug with dangerous and potentially lethal side effects and classified as such. It's also and incredibly useful drug, potentially of great benefit to people in severe pain - benefit that must be balanced against the danger and risk.

In controlled settings (e.g. in a hospital bed with physiological monitoring) many dangerous drugs can be used in a safe way, Fentanyl included. But that doesn't make Fentanyl a safe drug, just a drug that can be used safely.

In the same way TNT and rockets can both be used safely - neither are sensibly intrinsically safe.

> If someone overdosed and you breath for them (CPR or ventilator), you can just wait for the effects to wear off and they’ll be none the worse for wear.

I think this is too complacent. Aspiration is a real risk, they could choke, pneumonia can be life threatening. If somebody has overdosed, get professional medical care - management of the compromised airway is no DIY project.
Since Github is now part of Microsoft ... it's kind of hard to see them as SMEs, based upon the text of the articles.
Tom Scott has a great video on this topic (what counts as a mountain? - https://www.youtube.com/watch?v=i8P5a1uqIMw)
Or perhaps the people that can best fill these positions are foreign nationals and the wages have already been driven higher in competition with the number of them coming in for engineering positions? People have mentioned foreign language expertise as a big need for these where the pay is not commensurate to SV-style companies, and this includes positions in education, non-profits, etc.

Even in for-profit industries, margins are not always high enough and competition is often fierce enough that they cannot afford to raise prices to raise salaries.

There are a lot of important industries where margins are quite slim.
I guess this is payback for the 1800s opium epidemic in China
Crypto product launch checklist
It was surprising, coming from a non-founder in the company. It is welcome, nonetheless.
Naturally, I guess I thought there was something syntax related or otherwise based on the way he said "doesn't feel right"
Hey if any of you are nostalgic for good old CS and have the money/space for a nice VR setup check out Pavlov. Its basically CS:VR. The first time you walk around dust/dust2 is pretty mind blowingly surreal.
Have just ordered the e-book. Didn't expect to find a chapter on Hyperbolic tessellations. Nice!
No, I don't. Iraq didn't pose any sort of threat to those allies. We made things way worse for them and it was entirely foreseeable. We invaded for some combination of stupid political reasons and revenge.
I don't feel any personal guilt. Just saying history is history and understanding it helps explain what is happening today.
Thanks Chris, I will look at Flux.

EDIT: make that a double thanks, Flux looks great: concise and expressive.
I don't know about Apple but Facebook and Google have pretty big offices in Seattle as well, along with many other startups (Uber, Airbnb, Stripe, etc.)

It seems the play these days is to have the best of both worlds.
put the name of the company in the initial message you send. I suppose there are people that are curious and will respond, but to me it just looks like you're embarrassed to be recruiting for them.
How are you judging success here? The paper has no experiments at all, not even toy.
Python is great for short scripts and programs, but I don’t like it for large systems.
What was the competing product?
What's the point of moving from one proprietary service to another? One day GetLab will get acquired by another tech giant, or will stay the same - it doesn't matter too much, because it's already owned by private company and venture capitalists. They do what they want, and they definitely won't turn down million-dollar acquisition offer.
Ah yes poor women spending time with their children rather than slaving away pushing meaningless paper for MegaCorp. Shit life eh?
Some of them look a little cagey or intimidating, but a few of them give off a really friendly, reliable persona like they'd be your best friend in a heartbeat.

Toddy, for example, looks like a really easy-going, reasonable lady:

http://franknoelker.com/sites/franknoelker.com/files/styles/...

...kind of a horrible life story, though, by human standards.

It'd be really interesting to interact with them, and see how far away the personality is from the portrait's impression, when interacting with them in real life.

It's hard not to feel guided by an instinct to judge a book by it's cover, when looking at those faces.

Meanwhile, based on the descriptions with each picture, most of them are horribly depressed and traumatized by experiments or isolation. I can't really conceptualize what a couple of hundred "knockdown" experiments [0] with "punch liver biopsies" might be like.

Sounds unpleasant.

https://en.wikipedia.org/wiki/Gene_knockdown
This is almost entirely not true.

Under Satya, Microsoft went on a shopping spree. They bought a ton of startups: Minecraft, Github, Skype, Sunrise, LinkedIn (tnx comments!), Yammer ... and along with those it bought a mapping company, a multitude of ad/marketing companies, educational startups, AI startups...etc, etc. Those are just the ones we know about.

Update: here's a list of all MS acquisitions. It's rather lengthly. https://en.wikipedia.org/wiki/List_of_mergers_and_acquisitio...

Did you know they almost bought Twitch.tv, but Amazon had more money?

And as far as locking them in the same building, that's not exactly operationally efficient in 2018. But they seemed to have done their best at either merging the products right away, or letting the team run on their own.

So, they did pretty well, according to the plan.
That's exactly what it is, and is espoused by Google's Contributor program: https://contributor.google.com/v/beta
>This works out for dealer economics, it's not to benefit the addict.

there were some articles/research that the harsher the Prohibition enforcement the more trafficking shifts into the higher potent stuff.
Any indication if this backlit image sensor development was inspired by nature (the octopus here, for example) or was just an independent evolution of the technology?
You're right, the cheap ones are terrible.

For 10x magnification, good for looking at bugs, plants, and money, don't get a microscope - get a loupe (the thing jewelers use). Get a glass one with an LED light. A good one will be about $60.

For 100x magnification, spend around $300. Mine is an Amscope and it works great. Again make sure you get one with an LED light. Get one with the light above the platform unless preparing slides sounds fun.
On a different forum with a different mandate. HN's is the gratification of intellectual curiosity (https://news.ycombinator.com/newsguidelines.html), and flamewars are poison to that purpose.
I thought Phabricator was open source?
Dolphins are also very social creatures which certainly goes alongside their intelligence as an evolutionary pressure — especially with regards to their group hunting strategies, like humans and wolves.
Even IRL stores would probably bite into Amazon's hold on areas where people drive a lot or have good transpo. There don't seem to be too many multinational retail companies, so I imagine there's something fundamental (finance, taxation, shipping, etc.) behind that, and maybe the Internet is the only way to compete.
LED Christmas lights are the worst at this. I can definitely see the 60hz flicker, especially if there's movement.
Not to mention LinkedIn :)
> protect the value of the property

... which means "protect interest of neighbors".

People like when their neighbourhood looks nice and is safe from snakes, bugs and mosquitos.
Thanks. I read that too. But I'm pretty sure that this was a short story. I remember a description of venturing outside, with suit failure, and horrible stuff happening. However, it could have been a particularly memorable part of The Sheep Look Up.
You're not alone.

https://www.artifact-eval.org/
I definitely had a hard time demoing octopussy at a previous job, but is moron3d really that bad of a name?

Did git have any trouble gaining traction in England?

Caring too much about this kind of thing is how hibu got their name. I knew some people that worked there in the last days and they all laughed about how it was the ultimate sign they were done.
As far as I can tell, you are what's wrong with HN. His post is a well-justified opinion, with reasoning provided, whether you chose to agree or disagree with that. Somebody may (or may not) take it into consideration. Yours are simply "how dare you!"-post, adding absolutely no value to the discussion. Also, learn capitals, it's hard to read you like that.
I think it's more the issue of too much detail. Like I'm interested in what the people look like and the story, but once I can count the hairs in their nose, that's just distracting rather than adding to the experience :-)