skysight-inc/HackerNews huggingface dataset:
Here is a Clojure program:

(defn add [x y] (+ x y))

(add (read-string) (read-string))

Clojure doesn't compile, so I can run this program just as it is.

In Haskell, this isn't sufficient. I have to say something about types, and I have to compile first. That is what is meant by I have to "prove".

In at least this toy example, one of these workflows is orders of magnitude more work than the other.

Now what happens in that Clojure program if I enter junk inputs when I am prompted? Well, I get an Exception, or I get NaN, or junk. But you know what? I don't care. For this particular example, my product manager doesn't care. When he cares, I'll go add in some dynamic verification. The point is, my business priorities are my choice, not some academic proof system's. I like verification, though, so I can go add it in a la carte, i.e. per my discretion.
And why are some posts, like yours, collapsed by default? And some accounts have default auto-dead comments. It's not transparent how this all works.

Edit: looks like another commenter mentioned this too. Sorry for the dupe.
Bitter Pill
Calm down. I can trust the academicians in the field. Also the world is more than the US. And I'm fed up with having to trust my data with possibly/usually incompetent people (and sometimes one really has to, e.g. my schools online services). Trained staff and mandatory third-party security tests are a nice place to commence. It's nice that on the internet you can hack together a thing and get going, but it's not one's email address the only thing at the stakes. I would like to be able to differentiate between the hack and the proper service. And ATM the only thing we have is intuition and the https in the domain.
It's only a scam if false promises are made to the investors, knowingly that is.

I looked up Centra, Stox, Hubii, and while they all look somewhat generic, I don't see any crazy promises, especially to the investors.

From what I see the ICO hype is driven entirely by the investors and the FOMO. Many people missed most of the cryptocurrency exponential rise, and they think it's the second chance.
Based on experience from Norwegian colleagues:

Yes it is more difficult than in say the US but not that hard. You just must document over a period of months that the employee is underperforming and not improving; you can’t just fire them with no notice or warning. Most big corporations in the US work this way anyway as well.
What I'm concerned about is a conflict of interest.

When they just sold things, they had a very clear way to gain from me: setting prices so that they were profitable. I'm told their margins have definitely crept up from the early days, but I'm fine with that.

But that's different than them selling me as a product to other people. I can pretty easily evaluate prices and shop somewhere else if I think Amazon's are too high. If, though, they are selling the ability to manipulate me, that's intentionally hard for me to notice and price.

Once they're selling the power to shape my behavior, suddenly they're not on my side anymore. I can't trust them as much, because for any given interaction, it's not clear whether they aim to serve me or aim to serve me to somebody else.
You wrote the example, not me. I'm confused what your argument is.

Are you saying that dynamic loaders should check the type of dynamically loaded code against the type expected by the code loading it? I agree that's a good idea, but it doesn't require language support for general RTTI, just a type-aware shared-object format and dynamic loader. (Heck, C++ symbol names already incorporate function argument type signatures, so this isn't a huge stretch.)

Are you saying that a runtime shouldn't need to trust that dynamically-loaded code actually implements the interface it claims to? If so, that's an incredibly specific requirement that's really better served by sandboxing or an RPC-like interface (especially in C/C++).
Found two with Deliveroo's name:

http://ratings.food.gov.uk/business/en-GB/957123/Deliveroo-L...

http://ratings.food.gov.uk/business/en-GB/1002249/Deliveroo-...

The Roobox gives up three results:
http://ratings.food.gov.uk/business/en-GB/960868/Blackwall-R...

http://ratings.food.gov.uk/business/en-GB/957133/Rosa's-Roob...

http://ratings.food.gov.uk/business/en-GB/960304/The-Chilli-...

I am not from UK so don't know which one of them correspond to the ones mentioned in the article.
Modern languages like Crystal target LLVM IR, which if, I'm not mistaken, supports even more platforms than the JVM.
I think it's fair to say that (GHC) Haskell no longer really uses the Hindley-Milner type system. It doesn't have let generalization (except in a few restricted cases), and it doesn't have principal types, which I would consider to be the two distinguishing features of HM.
Orchid: a new surveillance-free layer on top of the existing Internet
I find the technology industry to be a cluster of massive companies, with no real concept of consumer trust. Privacy is a thing of the past
That’s well and good, but my point remains: There simply isn’t enough long run evidence of predictable outcomes.

I have some confidence of this if I purchase property in a Western jurisdiction, but in China the situation is a bit more fluid. I have zero leverage and have no doubt I would get trampled if convenient.

This is the perception they have to overcome, and to be honest, I don’t think they care to; do they really need or want my capital invested in China, especially in property?

Signals from ruling class appear to indicate otherwise.
It can be a problem in advanced Lisp programming where you'll end up reinventing things like maybe monads. But it's never a problem in simple Lisp programs. (After all, C has the same issue with booleans.) Can you be more specific about your concerns?
Time to write a chrome plugin to monkeypatch RAM queries to always return the minimum result. If the webapps can run in under 100mb, it should, regardless of the host's total capacity.
Sure, but with their previous business model I didn't have to trust their ethics, just their long-term self interest. Amazon got big because they were good at serving their customers well. But if they've decided to make money from selling access to manipulating their customers, suddenly my trust in their sense of self-interest isn't enough.
>but hopefully they learn their lesson
Also, why give adtech yet another fingerprinting parameter?
> Privacy is a thing of the past

Apple swings decisively against this trend. Alignment of interests is a powerful social device.
The fella behind imitone (https://imitone.com/) has been grinding away at the details of this stuff for a while. I haven't checked in on it for a while but I was a kickstarter backer. The last version I loaded up and played with was pretty great.
> and the only difference is wheels and an engine.

and planning permission, and hygiene inspection.
This shard implements a CSS selector API on top of an html parser: https://github.com/kostya/modest
I'll take the welfare and educational benefits of children over your "precious few moments" thanks.
Math’s Beautiful Monsters: How a destructive idea paved the way for modern math
Yeah. There are a lot of really sketchy transitions that don't look human in that video. Also, when the picture looks fully realistic, you can Google search it and find that there are lots of very similar images.

Now, the fact that they usually aren't identical to Google's finds is moderately impressive. So is the fact that some transitions are "smooth" - being able to move from one head/eye position to another. But the difference between drawing a face and copy-pasting someone's face onto a different hair+background is very significant, and quite often the algorithm seems to be doing the latter. (And in any case, GANs are clearly not the way humans draw faces.)

It would be interesting to see someone try to do the same thing without a neural network. How far would they get on the same training set? The dataset is 30,000 pre-aligned and cropped images. (Would be nice if there was a searchable version to make sure generated versions are not identical to something in that set.)

I bet you could get pretty far with just matching and region replacement, plus some color corrections. But not one would pay you for that.
I think the way you're framing the question is quite leading and misrepresents the actual situation. The aim of modern propaganda isn't to change anyone mind from one candidate to another - the purpose of russian disinformation is to spread confusion and delegitimize the democratic process, and attack any credible source of truth.
I really cant see that, just allows a single selection.
Computability and Complexity (2015)
Every article states this, but personally the keto diet foods are exactly what I normally crave and want to gorge on: meat, fish, nuts, avocado, butter, double cream, low carb root vegetables, cured meats, cheese, what's not to love? It doesn't take long at all to retrain your palate to understand that rich flavours come from high fat food, not sugars.
NASA sounding rocket probes the dark regions of space
Just look up any regarding Putin's slaughter of the passengers of MH17, they've been quite active in trying to spread disinformation there.
Because they failed with it, everyone forgets iAd ( ads in the Apple way)
What’s the difference between an abstract class and a Java-style interface in a language that allows multiple inheritance? I’ve generally thought of interfaces as a way to get some of the features of multiple inheritance while preventing the parts of multiple inheritance that cause issues (e.g. the diamond problem). However, these days, every language I know of that has single inheritance+interfaces allows interfaces (or traits, in the case of PHP) to specify default implementations of their methods.
ah, right. I didn't even think to check for the roobox or deliveroo names.

I wonder if they're going to run into problems with advertising standards or trading standards.

If I want "rotisserie chicken for the pricey Notting Hill-based specialist Cocotte" I probably want it from their actual place, or to know it's from a Roobox version.
Many of these are due to the use of unstructured strings, which we do because we’re lazy. We’re so lazy about it that our modern languages don’t even support the ability to distinguish user strings from application strings (perl’s taint mode). The workaround in development has been extensive testing, but this is insufficient in an adversarial environment. The best solution is to bring structure to your strings so that you can tasing about how they can be abused.

Parse your strings, kids.
Amazon’s Push Into Pharmacy Business Is Full of Promise and Pitfalls
1Blocker will hide the comments section of most sites. Or, if and when your outlook matures, you’ll find more productive uses for your rage. “Because stupid people...” is the lazy thinker’s way out. To paraphrase Jesus, “the stupid you will always have with you.”
wsj.com
How does this compare to something like ccache?
> I am dumbfounded by how rich the history of fraud and failure surrounding them is.

Thats just because of overexposure. Benign routine frauds are masqueraded as international news just because ico/blockchain/bitcoin is involved in some capacity.

I guarantee you there were ten times more 30 million $ frauds over the same amount of time, buried within SEC enforcement circulars, DOJ enforcement circulars, FTC enforcement circulars, let alone amongst state agencies, let alone in other countries worldwide.
And judging by Intel's Xeon Phi story, the next iteration from NEC will again be a full processor...
And on Firefox 45.6 ESR on Debian.
"I often wish I worked in a language where I could start dynamic and end statically."

C++ 'auto' type.
Workflow:

1. Write 'auto =', see what the compiler picks up (iterator of a vector of a set of classes that points to a list of structs, etc).

2. Potentially copy/paste that (unless the line is bigger than 350 characters :) )
Like this! I use to be pretty big into YT creation (made over 100 vlogs), but I never quite found a tool like this to use. You clearly know your audience, because I found these two things incredibly helpful as a YT creator: https://www.youtube.com/user/chrisjohnsonct (social proof of who I am)

First of all, I LOVE the thumbnail explorer! Often, you create a thumbnail on your computer and then have to export it to your phone to put it on Instagram, or other purely mobile sites, for marketing and promotion, but with thumbnail explorer, I can easily grab any of my videos thumbnails without access to my computer!

I thoroughly tested the random comment picker, works like a charm... Always wondered how people picked comments. This lifts all the emotional weight of picking someone in your audience.

Seriously, this site is fast as hell!
I did not say anything about children getting lost on the way to school. I said "getting ready and out the door in the morning", which generally just concerns activities that take place in the home.

Children are not simply small humans, differing from adults only in size. There are significant cognitive differences between very young children and adult humans. They are not fully developed cognitively until the early 20s.

In particular, young children are not good at time management, balancing current actions against future consequences, anticipating and planning for how things could go wrong, and setting priorities.
I have a half-baked theory about advertising in customer-centric marketplaces (e.g. Amazon and App Store):

What if advertising is just like drug use? Most hate it and blame the suppliers, but there will always be demand for it. So, what if the marketplaces have a choice: Provide a "legal" way to advertise that is "safe" or outlaw advertising and push the behavior towards a "dangerous" black market.

Before App Store ads, app makers definitely used "black markets" to drive downloads... and now with the App Store ads I've heard rumors the app ecosystem is overall more safe.

What if it's the same for Amazon? By giving sellers a "legal" way to advertise, Amazon makes customers and the marketplace net safer.
Skype for Linux Drops AMD CPU Support
We all know what these battles are, what they lead to, and how all the same they are.

It's off-topic for Hacker News, so please don't post like that here.
So no two classes anywhere in the entire project can have a method with the same signature?
The Python documentation is pretty cool. I frequently go to Chapter 3 (Data Model) and always learn something new reading something I had already read but didn't quite get.

The mailing list has top notch posters who are always willing to help.

The IRC channel (#python) has very helpful members who've been patient with me on more than one occasion.

Books:

Stacking the deck:

"Python Guide" - Kenneth Reitz: The bits one doesn't necessarily think about but that simplify life: virtual environments, unit test, project structure, good practices, scenarios for different kinds of applications, documentation, etc.

Doing stuff:

"Python Cookbook" (several editions by different authors, Alex Martelli and David Beazley): as the title states, it's a cookbook that shows you how to do a bunch of stuff in Python (files, network, threads, etc). This can get you "operational" in Python pretty fast.

Doing stuff well (meta):

"Writing Idiomatic Python" - Jeff Knupp:

The book comes for Python 2 and Python 3 and contrasts "harmful" and "good". Jeff Knupp also has videos showing you the process of refactoring code. He also has a blog (https://jeffknupp.com/) where he addresses many topics.

"Effective Python: 59 Specific Ways to Write Better Python" - Brett Slatkin: Pretty good book. The subtitle says it all: 59 specific ways to write better Python. (600 + pages).

"Learn Python the Hard Way" - Zed Shaw: I've read that starting out in Python. Maybe not for a 15 year Perl veteran, but this is for memo.

There's certainly some overlap in these books, but it helps to repeat a message to understand the importance of something, or to drive a point home. I didn't use virtual environments until the message was repeated enough in different ways.

Pornography:

PyCon talks. A lot of these are great.

David Beazley (a bunch of talks that are pretty cool. Still haven't finished the ones on generators but they're very good).

Brandon Rhodes (on aesthetics and design patterns (or lack thereof), and testing web applications).

Kenneth Reitz on design.

Raymond Hettinger (you'll find "Writing Beautiful Idiomatic Python" and "Beyond PEP8" most helpful).
Funny, Swedish outsourcing centers in CE Europe don't have councils. They just pay half of Swedish salary, demand obedience, and fire at will. Job counseling those laid off? No such thing. Someone has to work for and pay for their luxurious conditions back home. You're welcome, Swedes - hope you'll choke on your redundancy packages.
I think you're missing a level of trust that it sounds like you implicitly had.

Selling you products you wanted at a good price never precluded them from doing shady with the data that resulted from those transactions. Their incentive is to maximize income, so they could've always done all sorts of shady behind-the-scenes things with the data as long as they felt the risk of getting exposed and losing a lot of business as a result was sufficiently low.
there is one important aspect of "quality" that leads to all other: quality is achieved at global maximum. A lot of engineering methodology is focused finding a local maximum.
If you select the search options button in the Search group box, it brings up a new page. That page has multiple group boxes for selecting separate make/model combinations for a search.
This somehow manages to combine both personal attack and a nationalistic edge, both of which are not ok in comments here. Please don't post like this again.

https://news.ycombinator.com/newsguidelines.html
I really only use it as a glue code language or for automation. I thought that at least a few years ago there were a bunch of people using Grails? After using it extensively, I have found a few strange bugs that's killed some time but nothing show stopping. For what it's worth, the bugs were at least in their bug tracker. I would love to use it for everything but it seems to be losing popularity, which is really the only reason that makes me hesitant to do so. Maybe I should start contributing :)
Hmmm...The evidence is: he's made one sale. Any person can talk the talk. He's clearly doing things a salesperson shouldn't be. You, a non-salesperson know this. But perhaps he will shine through when the product is released. But to iterate, thus far, he has made one sale, that doesn't make you a salesperson. Yet.

He may be showing people the code because he's proud of it...

Speak to him.
> After being contacted by The Times, Mr. Mayweather deleted his Instagram and Facebook posts endorsing Centra, though he left up a Twitter post.

> Ms. Hilton deleted the post after Forbes reporters uncovered the checkered legal past of the founder of Lydian Coin, who had aimed to raise $100 million.

It's interesting to see the celebrities distancing themselves quickly once journalists are on their back.

Wonder how much they got paid for these endorsements?
Don't you accrue points for your team for a triangle set up?

Triangles would be HUGE
While I might not want to live in Arden, I love the experimental approach to self-organization.

I feel like a dozen of similar experimental communities allowed to succeed or fail, and they might bubble up some useful heuristics for how cities/towns organize themselves.

I feel like the dominant model of town organization in the USA leaves much to be desired.
As much as it gets a bad rep, I think PHP is actually the language that comes closest to this. It's not quite there yet, as although newer versions of PHP have been adding optional type annotations, they are enforced at runtime rather than compile time. It seems not too much of a leap to imagine that some compile time checks might be added at some point though once type-annotated code becomes more universal.
I think such people exist, but I also think that this does not warrant someone to compare themselves to a professional with a degree.
Much like I would not dare to compare myself to a doctor by reading a book about biology.
In London, before Deliveroo, we had Just Eat and Hungryhouse (and we still do). I would say that the big difference between those two and Deliveroo for consumers is the selection of restaurants: the former offer a huge array of 'normal' takeaways - Indian, Chinese, Thai, pizza, that sort of thing. Deliveroo has fancy stuff - hipster burger places, my local high-end 'modern British' restaurant, the nice sandwich deli down the hill (who offer a roast beef sandwich with "incredibly slutty gravy mayo"). I remember when i realised that i could punch some buttons on my computer and get a fresh crèpe Suzette delivered (from Le Mercury in Islington, i think).

(That said, looking on Deliveroo now, i see a lot of the usual suspects (including such not-quite-so-high-end options as KFC and Papa John's), so perhaps the perception is greater than the reality.)

I think that market differentiation goes hand-in-hand with owning the delivery infrastructure, because those high-end restaurants don't have their own delivery infrastructure. Delivery isn't part of the business model of a high-end sit-down restaurant, or part of the core competency of the people running a hipster burger startup (cooking and managing the Instagram account at the same time is hard enough!). Pure information brokers like Just Eat can't get you food from those places, but logistics operators like Deliveroo can.

I suspect this is why the existing platforms didn't do this - they already have complicated businesses built around the information bit, and didn't want to take on the complexity of also running logistics.

As for why this is worth 900 megabucks, well, that's easy: interest rates are at record lows, and there are tax breaks on venture capital.
Skype has never been a fantastically 'first class' app on Mac (or Linux, from what I've heard), BUT it mostly worked, and was pretty clear cut in functionality.

It has been the chat/call/video tool for remote business users.

Then they decided to a) try to mimic Snapchat of all fucking things, and b) make their desktop apps Electron based.

I honestly dont know what the alternative is. For now I'm using FaceTime audio when possible, and another client has a Slack channel we use, but that's definitely not something I want to be tied to long term either.
Emacs org-mode w/Beamer or reveal.js export.
I wasn't referring to the state, I was referring to a privately run business.
Because it's not production ready yet. It's getting there.
A small town in Iceland created a “levitating” crosswalk to slow traffic
He forgets to mention few items that I feel are crucial to Founders being more in control:
1) Low Fed rates have led to capital being sent to non-traditional avenues
2) Being a VC has become easier with more information being available
3) International capital is being deployed specially from China and Mideast
They manage in Saskatchewan. They do permanent DST and they're at a pretty high latitude.
I guess it depends who we mean by "kids" but the most risque thing I remember is a bunch of double entendres about being pricked because of a cactus.
I'm very well aware of what he means, that's obvious from my response, one can be clear without misusing words and it's entirely appropriate to correct someone who's using those words wrong as if they're unrelated when they're actually both a type of investing. Try understating what's going on before you start quoting a dictionary.
Yes a lot of European companies that behave well at home behave badly overseas I know of one that artificially bankrupted a uk subsidiary to avoid paying the statutory redundancy payments.

They called every one to a meeting said where bankrupt you don't have a job and there's a pile of RB2 forms over there. Th Rb2 form is to claim the much reduced redundancy payment from the state, when the parent company could have paid the statutory redundancy out of petty cash