skysight-inc/HackerNews huggingface dataset:
If you're going to correct someone, get it right. Homographs have the same spelling but different meaning. Homophones have the same sound but different meaning. Historically, a homonym was both a homograph and a homophone. Nowadays, homonym can be used to mean either homograph or homophone. So homonym was correct for modern usage.
Go is a terrible example of a statically typed language. Now that is an example of a bunch of people not learning from the past - ie. the entire lineage of ML-based languages!

A rich type system lets you mold and shape the types to fit nicely over your domain, effectively becoming a machine-verified DSL for your business problem. It will catch flaws in your mental model before you even begin to write tests or an implementation, and is a cheap way of sketching out your ideas and great documentation to have over the lifetime of your project. Of course you can't fit it exactly, so you need a smattering of spec tests, and probably some property-based tests for good measure to fill in the gaps.
64K and loving it, our experiences writing apps before the iPhone
Well, someone managed to get Linux running on a Motorola 68k of all things: https://www.bigmessowires.com/2014/11/17/68-katy-68000-linux...
So doesn't the U.S. get some credit in the don't-be-evil Olympics for having such a system in place?
For years I was an Android user, loved them. Now I use two iPhones (one is a corporation phone).

I depend on Google Assistant on both iPhones. Siri is getting better and I sometimes use it, but I find it convenient enough to tap the Google Assistant icon on home screen as hit the hardware home button for Siri.

I expect Apple to continue to invest a ton of money in AI, AR, etc. But, Google has some advantages: when I asked for driving directions to the DMV yesterday Google Assistant immediately warned me they were closed. I worked at Google with the Knowledge Graph, and it with superior AI really is a great competitive advantage.

That said, I am never going back to Android phones; I like iPhones and the integration with my iPad and MacBook is useful.

Best of both worlds.
I daresay you are a few years behind. Social networking hasn’t proven to be quite the platform for self-expression and resistance to oppression that it may have seemed a decade ago. A number of authoritarian states now have deep social network penetration, but they have managed to neuter political criticism. Requiring that one use one's real name and identifiable details (like a mobile phone number; in many countries you have to show your ID to buy a SIM card) helps ensure an atmosphere of self-censorship, where people don’t air strident views too much because they worry about the consequences.

> the goal is to keep the people ignorant and subject to the ancient stupidity of religious dogma

The present wave of fundamentalist Orthodoxy in Russia (demanding a ban on screenings of the film Mathilda, attacking other arts figures or those who would try to shield property from Church repossession, etc.) is actually mobilized in large part through social-networking platforms.
BSD 3-clause license requires that as well.
> — Some Intel processors and a Raspberry Pi: much better performance but you have to ME_Clean the firmware, hence the Pi.

The Pi also has a binary blob requirement and a Trustzone implementation (which is however open to tinkering).
> I'd rather use a combination of tests and stricter type checking. There's no sense in being a fundamentalist about either approach.

Completely agreed. I tend to prefer pragmatic solutions over strict adherence to some methodology. As a sibling comment noted the natural end of specifying everything beforehand would be formal systems, which are usually not worth the effort. On the other hand I don't see "let's just throw everything the compiler could help us with out, because it's a bit more effort" as a sensible strategy.
For a specific example of something like this being important, remember the (very impressive) Watch for Rolling Rocks in 0.5 A presses video from a couple years ago? https://www.youtube.com/watch?v=kpk2tdsPh0A (For the uninitiated, this video presents a TAS of Super Mario 64 which beats the level Watch for Rolling Rocks without pressing the A button outside of keeping it held from entering the level.) It turns out that the route presented in the video actually fails console verification, since the crazy things he does trigger some annoying FPU crashes on console, but not on emulator. There is a happy end, though: a fixed route was published after this was discovered, and it passes console verification just fine (assuming the inputs dont desync over the 13 hour run)
That includes depreciation, which is effectively the cost of the car.

If you own the car outright and aren’t planning on selling it, this is effectively zero.
Which government do you reckon should?
> one of the most restrictive

restrictive for the developers. GPL freedom is for the users before anything.
+1. I was thinking about the Hinton Capsule paper using MNIST.
Perhaps, but a tax on profits does not do this.
Delhi residents panic as 'deadly smog' returns
Npm – tips & scripts
$('div.download a.a').click();

in the chrome console also works
This need not be the case forever. It's still an open problem, but the tooling is getting better all the time!

For now types+tests are a happy medium. No need to throw the baby out with the water just because 100% correctness is still unfeasible for everyday business problems.
Ask HN: Just finished a tech podcast about communication, can i get feedback?
Getting your department heard, Communicating your tech team’s mission to your company

http://www.venturi-group.com/podcast/communicating-tech-team/
You might just not have seen good art. Like someone who has tasted only dark chocolate might summarize that they simply "don't like chocolate".

I find that good art is actually a way of crystallizing and capturing emotions of a period of time. Many of those emotions don't resonate with us as they were in some period of history unfamiliar with us.

Music tends to capture emotions much better. There's the anger in Eminem's music, the helplessness of Linkin Park, the depression of Nirvana, ambition and energy of Queen.

Art paintings and sculptures tends to target art viewers. It's not meant to just be beautiful but say something. Like memes, they much of it is a fresh take on a common thought of the period. But looking at it as an outsider, they're hard to get.

You might appreciate architecture more. There are things like animated sculptures or huge ones crafted from steel. Or things more subtle, playing with light.

Or if you want things that captures and enhances natural beauty, photography and food is a kind of art too.

But what I find to be the rawest kind of art is war memorials. The most memorable art experience for me was visiting war memorials in Canberra. You can also go to places like Holocaust museums.
Does this argument have a name? "If I didn't do [SOME HORRIBLE THING X], someone else would, so I might as well do it myself?"

When googling, I only found this:
https://www.reddit.com/r/askphilosophy/comments/3wclk6/even_...
I think the jump from 'Category' to 'Value: Anything that can be assigned to a variable.' was a somewhat jarring change in abstraction level.

Also, trying to explain Monad, Comonad, or Applicative as 'jargon' is probably a step too far IMO. They are not important for getting started with FP, and describing them without their equational properties is kind of meaningless.

That being said I liked alot of the inclusions; partial application, closure, composition. I think the collection is probably slightly guilty of trying to be too clever by including advanced concepts.
Delhi Russian Escort
Nice words, but unfortunately money is all that matters at end of the day.

If most people had the same philosophy you described, USA would have stopped ALL oil imports after 9/11, and start massive investments in electric vehicles and public transportation right then.
Sequel was great!
Is it close to being the most used OS with the IME embedding ? lots of mainstream devices don't use Intel chips...

I'm sure A.Tannenbaum is flattered (and duly so, Minix 3 is very interesting) but I'm feeling he's patting himself on the back here.
If you have to learn how to perform a proper setup, you're a good candidate for the kind of managed services provided by a cloud-based solution. As long as you're aware that you're paying a sort of "ignorance tax" for not knowing how to do things, that's perfectly fine.

While researching for https://www.thecloudhostinghandbook.com/ I discovered that there are as many possible setups as there are companies: the best solution depends on what kind of assumptions the developers have materialized in the code, how much the company wants to spend, and ultimately on the world view of the people running the system.
Does anyone have anything automated to alert when a bundle is about to expire? I usually buy all currently available (at the $1 tier) whenever something interesting is about to dissappear.

Hopefully someday they will allow paying for multiple bundles at once - maybe this is already possible with the recent re-design?
I don't think any of these bitcoin forks are particularly helpful to the entire cryptocurrency ecosystem.

Additionally, the cult of bitcoin and the various sub-cults make it hard to actually be interested in bitcoin as a technology without being forced to invest ideologically by thousands of fanboys claiming all other sub-cults to be evil.

Personally, I've moved my assets into other cryptocoins and I hope I can weather the storm of bitcoin's inevitable and eventual collapse there. Hopefully.
Funny how the same people who insist that we should raise the cost of cigarettes because, of course, it will reduce demand for cigarettes, and we should raise the cost of fossil fuels because of course it will reduce demand for fossil fuels, also insist we should raise the cost of minimum-wage jobs because...for great justice!

I like NN Taleb's skin-in-the-game take on it. The only people who get to vote on the minimum wage would be those who work at a minimum wage job or want to do so. Instead of other people getting them fired to signal their virtue, let the people who will face the consequences decide. If they decided to raise the minimum wage, I would support it, too. If they decided they'd rather not, I wouldn't insist on overriding them.
Networking is very slow, long term growth though.
I think it helps to say "relative proficiency in each language". For example, I would say I have 2/5 in Python, and 5/5 in PHP. I'm not saying that I'm the best PHP developer in the world, just that personally I'm much stronger in PHP than in Python.
OT: your website loads horribly slow.

https://developers.google.com/speed/pagespeed/insights/?hl=d... gets a timeout.
> I do full-stack javascript for my income, but have reached the point of not enjoying coding anymore because of this continuous change of ideas forced upon me. Why do I need to change from React.createClass to ES6 classes, from ESxx to Typescript or Flow, from React to Vue, from callbacks to Promises, from Flux to Redux, or from any idea to the next hyped idea?

Who's forcing you to do this? All of these old things still work. If your team/job are forcing you to do this, then why is the problem not with them, rather than the language/ecosystem?
The Year in Push Alerts: Timeline of NYT Breaking News Notifications
He was my prof. This is clearly his style, he is being earnest. Also, this has been the address of his web site ever since the web started. Also see his later added note: Many people don't like the idea of the management engine in there at all, but that is a separate issue from the code it runs.
> If they ask you for money, respond to them politely.

Offering them food instead wont hurt if you truly want to help them but don't trust them with your money. If they circle back to money just politely decline and move on. I've ran into a couple different types. Some want any help, others want money.
Good point. What are your interests eelliot? May sound strange but I absolutely love looking at video game concept art.
Insurance cost isn't about the number of customers, it's about risk distribution and concentration. Flood insurance in high-risk areas is expensive because claims are frequent, large and concentrated (large percentage of customers making claims at the same time).

Unless future drivers become more accident-prone than today's drivers, their premiums will be similar. I don't see much incentive for adverse selection.

The point GP was making is that as autonomous vehicles replace manual, the likelihood of an inter-vehicular accident should also fall for the remaining manual vehicles, lowering their premiums. A nice positive externality - more reason to subsidize autonomous vehicles.
For me it's the opposite.

I personally ran out of reasons to prefer another dynamically-typed language over Javascript on the server. In fact, with ESLint, I'd say Javascript has some of the best static tooling among them before you even get to Typescript.

With async-everything, promises, and async/await, I think Javascript is one of the nicest dynamically-typed languages.
Thanks for the nice writeup. You mentioned Javascript in the article. Is webrtc tied to browsers and JS? Or can it be used by other clients too .. like mobile apps or wearables?
I think a big standard library is a tradeoff question, but also, the standard available functionality is something I really like about Node.

It's got map, filter, reduce, just like all modern browsers, and it's also got nice and easy builtins for JSON parsing/dumping, HTTP serving, regular expressions, etc.

And still the stdlib isn't bloated with lots of weird stuff, it's kind of nicely minimal. Not perfect at all, but in a pragmatic sense it's often very satisfactory.

My real favorite language is Haskell, and that language is also both loved and hated, and one of the problems with it is the standard library. There's no regexps, no HTTP serving, no JSON, hell, people even import external dependencies to get convenient records.

I'm kind of cynical and picky but tell me a language and I will give you a litany of horrible problems with it—really.

Go's type system is stupid; Rust's compiler is slow and it's hard to learn; C is unsafe and has undefined behavior; C++ is a mess; Ruby is full of monkey patching; OCaml's syntax is idiosyncratic; Haskell has problems with laziness, records, the proliferation of language extension, an "im very smart" community, etc; Smalltalk is Unix-hostile and insular; Common Lisp is too mutable; Scheme is too fragmented; and so on and so on and so on.

So I think of choosing a programming language as answering the question "Which horrible nightmare seems least awful for the particular thing I want to do right now?" and JavaScript is, for me, quite often a reasonable answer.
Thanks! The main point against Haskell functors being 'proper' is that they only work in the category of 'Hask'.
Fantastic 5 Steps for Mobile App Optimization
I use `curl wttr.in` frequently.
Decent programme by someone with the same issue, [solved]:

http://www.bbc.co.uk/programmes/b072n5xp
The fact you don't have an emotional reaction would suggest to me that it's not a universal experience.

There's a bunch of stuff that we used to think was universal but we've relatively recently found out isn't. One example would be "forming mental images of things".

http://www.bbc.co.uk/news/health-34039054

https://news.ycombinator.com/item?id=10148792

https://news.ycombinator.com/item?id=11554894

Is there nothing at all that provokes any reaction? No film that triggers anything?
> In contrast in OCaml functors are module functions. Do modules form categories?

Wrong kind of functor, I believe.

Unfortunately, functor actually refers to a whole heap of different terms in various mathematical fields.

Ocaml's functor seems to come from Quine's predicate functor logic, or a related field like combinatory logic.
is it just me, or other folks here as well, also got the inkling that this was just a veiled gloat ? not so sure if being complicit in intel's ME racket is such a great honor...
The whole charging port on the bottom of the mouse isn't just for visual design. It's intentionally made to force you into using it exclusively wireless. If it were allowed to be a wired mouse far more people will have crappy experiences with the cable constantly snagging on things. Yes, technically you could plausibly run it wired until its charged enough but now there's the extra inconvenience of managing a cable. I know this all comes off as 1st world problems - and it certainly is - but Apple has always been about refining the experience. Besides, if the battery on my mouse does die, I just plug it in, go make some coffee, and come back to a mouse that'll last me for at least another week before another recharge. Fully charged, I've had it run for at least a month. The whole charge from the bottom is one of the biggest non-issues ever.
> Intel telling him about it at some point would have been polite.

Intel has paid one billion to AMD to settle a law suit. I wouldn't expect a company which doesn't refrain from illegal activities to be polite.
It can use the very solar wind to steer itself. And L1/L2 are very close to Mars, Earth is much farther.
Microsoft Edge implements ORTC. The problem is, the IETF RTCWEB working group was/is dominated by players from the SIP world who wanted to re-use their existing code. The argument was that WEBRTC devs would never need to touch the SDP, and all specification work done for SDP would have to be repeated for any other approach.

Of course, today's WEBRTC SDP, RTP, and RTCP is quite incompatible to existing SIP platforms (which usually dont support trickle ICE, RTP/RTCP bundling etc).
How can I find other me?
How can I find the who have similar behavior as I have? Like the way, we act in a given situation or in terms of views on a particular topic.
Where is the pricing page? Is it free?
Let's wait and see.

When that happens Intel might as well have replaced MINIX in the ME.
In case anyone else got confused by the `.forEach(...)` clause, it's turning the Array methods into functions that partially apply the non-this parameters. e.g:

map = fn => array => array.map(fn)

This construction requires the included `pipe` and `compose` functions to ergonomic (otherwise you're stuck writing `map(fn)(someArray)`), though in the case of the former I don't see the benefit:

pipe(
filter(...),
map(...),
reduce(...)
)(someArray)

isn't any easier to type or understand than:

someArray
.filter(...)
.map(...)
.reduce(...)

In fact, I would argue that the latter is clearer, and not simply due to familiarity.

I'm a functional programming advocate, and I'm perfectly happy to use method chaining in the absence of pipeline operators like F#'s `|>`.

Still, it's an interesting approach that I'm glad to have seen. The README also introduced me to a new bit of markup (<details>) so I'm doubly glad.
> It would be boneheaded to use anything other than JavaScript.

There's a whole heap of really easy to read languages that are used to explain this kind of thing.

Scheme and SICP come to mind, for example.
>> Interesting conclusion, considering one of the "features" of the Intel ME is precisely to limit what the final user can do with their computer.

The BSD license advocates have always considered other developers to be the "users" and even offer the freedom to deny the same freedom to those who run their software. GPL considers all those who run the software to be the users and tries to maximize their freedom. In the case of Intel ME it's not clear who the code is serving, but it's definitely not the person using the computer.
I mean, there was webmail back then... Besides a prettier interface and hitting refresh to check for new messages, there's no substantive difference.
Because it's a language most people know? If you know say Haskel it's not likely you are the target audience for this website.
Data-Oriented Design and C++
AI in general (whether via RL or whichever new development that will surface) opens up a fascinating new arena for learning about how agents operate, and investigating the soft problem of consciousness (i.e, what are the type of processes and the complexity involved that is required for having an inner experience), but I stand by my assertion that it will never explain the hard problem of consciousness, and no conceptual explanation ever will.
Don't have heroes. Don't put people on a pedestal. People have flaws, quirks, and failures. Admire good people for the good that they do, despite their flaws.
Best Ecommerce Development Company
Java 9: Cleaning up your default methods using private interface methods
> There is no reason that MINIX could not have been used in the ME even if it were GPLd, for example…

There's definitely a reason against it if we're talking about GPLv3.
I have so many questions here:

a. I was under the impression it was Satoshi who had put in the 1 MB size limit. This is the first attempt to increase the size. But then the article says:

"Until now, Bitcoin has been operating by simply increasing the block size whenever bitcoin needs to scale. This allows more transactions to process in a single block."

These size increases were under which BIPs?

b. "....to firing current bitcoin developers and taking over bitcoin development"

My understanding is the decentralized nature of bitcoin and the consensus mechanism meant no one can actually be fired. The worst case scenario is that I am stopped from accessing the bitcoin-core code repo but I can still rally people to take up my changes and vote (consensus) on it.

d. "Inspite of this, Segwit2x people kept pushing the hard fork on the community just to fulfill their agreement as they have the mining power support."

Wasn't that the whole point of bitcoin? Miners are needed to do most of the heavy lifting which means they have a say in what direction bitcoin goes.

Additionally, what is the mechanism to show the non-mining support for any of the changes?

c. Any links which show there is support for the current chain?
Dell precision 1700T SFF (small form factor) with an i7 is solid. Only goes up to 16GB RAM. Would like to see a SFF PC with 64GB or more.
Sure, Kinesis is a clear candidate for a larger scale scenario, hence all the disclaimers.

This is aimed at small-scale operations, utilising hopefully simple components.
Testing attempts to pin down specific use cases to ensure that they meet certain requirements. Alas they only single out one case at a time - there could be a wide range of possible failure conditions you forgot to test. Types allow you to cut down the space of possibilities to a more manageable level to ensure that your testing can be more targeted.

To see this pushed to the extreme, and to have a glimpse of the future, check out Edwin Brady's book "Type Driven Development with Idris": https://www.manning.com/books/type-driven-development-with-i... - I don't expect this style of programming to become the norm until at least another several years, but it essentially allows you to push all behavioral specifications into the types, rendering most unit testing tests obsolete. Of course I would still have smoke and integration tests to for sanity checking sake.
I really loved Threadless back in the day and this was an interesting read. While it did a good job of covering what changes Threadless made that ultimately changed the culture around it and led to its fall, it didn't cover the why.

Was their model no longer profitable? Were they facing outside competition (and what was that competition doing better?). Did they take money and have to grow big / fast and therefore started selling to big box stores to increase revenues?

I don't see any reason why Threadless couldn't still be a profitable business (god forbid a lifestyle business) even today if they had maintained their cachet but maybe I'm missing something.
16 is ideal for me, will check it out, thanks!