skysight-inc/HackerNews huggingface dataset:
I like the slides and agree with the widening language gap. I have a few comments about the conclusions, though.

> The UPenn dependently typed Haskell
> program shows a great deal of promise and
> is likely to manifest a decade before other
> DT languages generate practical backends.

I don't agree with this at all. The design problems with tacking on dependent types to an existing system are massive - it's a research problem for a reason. On the other hand, writing a "ghc quality" backend for Coq/Agda/Idris/F* seems difficult, but at least it's an engineering problem instead of a rough idea.

In particular, CertiCoq is a compiler for Coq written in Coq, and the main problem here is verification. Simply writing a compiler is no harder than writing a compiler in any language.

> Interesting ideas out of Microsoft Research on SMT solver
> directed programming editors that enforce invariants and can
> generate code during development.

Another interesting Microsoft Research project along the same lines as Dafny is F. Both are nice, but F is closer to modern dependently typed languages.

> Lots of non-local reporting problems associated
> with using unification during type-checker.

I would argue that the problem is that we use constraint solving for type checking. For example, strict bidirectional type checking leads to more tractable errors, since it's straightforward to follow the compiler's reasoning. On the other hand, bidirectional type checking is less powerful, so it's not like there's a silver bullet here.

> Type-safe OTP.

I wish more people were working on things like this. There's some theoretical work on calculi for distributed systems, but once they encounter the real world they inevitably become horrendously complicated.
I didn't read the article but I want to say that the solution is not VPNs. We can end up being like North Korea where VPNs are forbidden. The solution is to have educated voters who do not vote to showmens like Erdoğan or Trump. https://youtu.be/fLJBzhcSWTk
I think the depends on your genotype-phenotype map. It’s hypothesized that sexual reproduction helps drive modularity because evolution needs to solve the problem of how to bring together two genetically different individuals and still come out with a viable offspring. This is why robustness is so entwined with evolvability. If your genotype-phenotype map is simple then robustness doesn’t need to evolve but this may limit evolvability. The thing I always found with with evolution is that there is no free lunch.
Happy to review the code, but I'm having trouble understand which snippet you're referring to.
Ios11 is a disaster, half the battery life of previous versions, safari video looping, and constant lock screen crashing. First time I’ve been unhappy with my phone.
Show HN: Profiler for multi-threaded apps in 200 lines of C
For my multi-threaded app, I needed an inline profiler.
Current Open Source offerings show wall-clock time only.
So I decided to write one that shows you how often a task got pre-empted by the scheduler.

In just 200 lines of C code:

https://github.com/stolk/ThreadTracer
Thanks, I was told to do a ask HN, so the other thread is hidden
"Most movies and TV shows are not meant to perfectly reflect reality as you experience it." https://contribute.imdb.com/updates/guide/goofs
> All languages have type systems. Including ES5, ES6 and CoffeeScript. They might be weak and dynamic but they are type systems none the less.

I understand; I was speaking colloquially. No need to be pedantic.

> My point was (a bit toungue in cheek) that seeing how many alternatives that keep popping up for avoiding JS (the language), it seems that a lot of people who like programming languages to the point where they can create one, do not like JS.

Your original post focused on type systems specifically. It seemed something like "type theorists dislike JS, as evidenced by <languages>". This is different than "programmers generally dislike JS, as evidenced by <languages>"; however, to focus on your latter claim, I don't think your claim follows the evidence--the most we can say is that many programmers dislike JS; however, I don't think this is a particularly useful observation, since every domain has many candidate languages, and relatively few domains are trending toward consensus. It seems like the most meaningful conclusion is "programmers have diverse tastes, projects have diverse priorities, and many of those tastes/priorities are mutually exclusive (there are no languages that are good for learning curve and maximizing performance, for example). This conclusion is not necessarily surprising, but I think it's the most interesting claim we can derive from the stated evidence.
"In the UK, Kodi boxes have garnered more attention from authorities, thanks to stingy soccer fanatics driving an early swell of adoption"

This is very unfair. I don't own a Kodi box, but in the UK it's against the law to show football games on TV on Saturday between 2:45pm and 5:15pm [1]. So it's not "stingy" football fans, it's fans that have no other way to watch a 3pm kick off without actually going to the game itself. No matter how much someone may be willing to spend, a game being sold out / distance from home / time commitments etc. are all non-stingy reasons to not be able to watch a game.

It sounds like Kodi boxes have fulfilled that desire, rather than allowing people to circumvent a paid service as the article implies.

[1] - https://en.wikipedia.org/wiki/English_football_on_television...
Who says they didn’t get eye damage from it? Also, I have a feeling most people I know have looked at the sun unprotected for at least some small period of time (including myself) and our eyes seem ok for now.
UX’s Halloween history: 5 UI elements we don’t want to haunt us
What subsidies? For every £1 you spend on petrol in the UK 80p is tax. If we paid the actual cost people would drive gas guzzlers 'cos why not.
Based on our historic experience with men, if they treat us like that over email, it is probable they will treat us like that in person. His behaviour made her feel unsafe. Why would you knowing put yourself into an unsafe situation.
Harassment doesn't necessarily mean sexual harassment.
Show HN: Tarmak – toolkit for Kubernetes cluster provisioning and management
Presumbly, Jeff Bezos is not putting out hits on his competitors or disgruntled employees.
Most people don't engage with the science directly. I know I don't. And your beliefs about climate change don't make a difference in daily life one way or another.

Thus what you get is stated beliefs being entirely driven by appeals to authority and tribal affiliation.

As a small experiment for how hard it is: come up with some good arguments to convince me that earth is actually roughly spherical--without resorting to appeals to authority.

Just using observations and little experiments available to the common layman it's doable, but way harder than you think.
And now just extrapolate how much harder climate change is to argue about.
You are saying something completely different. The discussion is not about all energy use but about the generation of electricity.
Argh, this must be so frustrating for the Kodi devs...! There really is a very strong case for running a Kodi-box for ones own legit collection, and now it's just mentioned for the (admittedly, probably) not so slight share of piracy.

MPAA and friends has turned their eye on Kodi since a while ago, like Sauron on the little hobbitses. Could this be a submarine piece?
From what I understand (from a 'The Talk Show'/John Gruber podcast, IIRC), the default view for fullscreen landscape video has black bars on the left and right. It's only when you double tap to go to full screen (and thus cropping the top/bottom) that the notch interferes with the video. He made the point that Apple showing the notch covering video was them kinda going out of their way to highlight that the notch was there.
Very interesting, I'm attracted by the talk about Xubuntu having better graphics.
Ask HN: What apps or softwares have changed your life for good?
What did Alan Kay mean by Lisp is the greatest rogramming language ever designed
Really not trying to be a stick in the mud, and Mark does give me a little pause. However, there were only two people on this team, right? Which leads me to the conclusion that you were the PM (as you specifically say you're the project leader) and Mark was the engineer? I don't go to too many hackathons, but if it's you two only, that makes me think 50/50 split. I understand if you're parting ways, sure, but this seems like a legitimate complaint from a 50/50 split team:

"While I understand the original idea was yours, I need you to understand that the prize we won together. […] That exhibition booth […] is as much mine as it is yours."

And of course either of you can choose to leave the team unilaterally, but on a 50/50 team, it seems odd that one person can "fire" the other person and take all the benefits (minus one ticket) that the team won together. If we formed a 50/50 team, and a VC gave us a bunch of funding, and I told you I was firing you and giving you some of the VC money, you would be pretty miffed.

If there's a booth to demonstrate things, then your statement here seems odd:

"The tickets being offered were exactly what he would have gotten as a team member.."

because there's more to the benefits of winning than a ticket to a conference or whatever. Additionally, you paint his email as harassment, but I really don't see it:

https://cdn-images-1.medium.com/max/2000/1*DQAH9nLoO8yC4rwtK...

I won't continue from there as hopefully you get the idea. And I'm not blaming you, but it really does not seem like harassment, despite the narrative you're painting. It makes me think you have some angle here, but someone shouldn't be "fired" and told to leave a project that they had a 50/50 stake in because you thought they were a little gruff.
Simplicity: A New Language for Blockchains
5 USD for 512mb of RAM, isn't that a bit excessive?
It's also pretty bad for the merchants. If you sell a product via Amazon, and it gets comingled with counterfeits from another merchant you can get fined because you ended up selling someone a counterfeit.
I think the API's for iOS aren't that awful but they've been designed in a different era for a different programming language. Untyped dictionaries as parameters for a method that actually will crash if you supply the wrong value for the wrong key is just against pretty much any philosophy that's behind Swift.

Also the current state of how ViewControllers interact with each other and the views just doesn't work too well with Swift. I tend to use coded views instead of Interface Builder just to get rid of those IBOutlets that only get set after init, forcing me to make them optional or crash-prone force unwrapped.

In Objective-C in conjunction with a clever type replacement for the root view it actually isn't so bad because everything is optional anyway.

It's impossible to overhaul the whole SDK without freaking out developers, but step by step things improve. A compile time error for outlet problems would be a good step.
> unconsciously people will look at an X to unlock it even though it only needs to see you, not the reverse.

That does not seem to be the case as the reviewer puts it. Even when he was looking at his iPhone X he could not always get it unlocked: "There have been times when, despite a clear view of my face, the iPhone X has ghosted me. (Apple tells me that perhaps I wasn’t making what the iPhone X considers eye contact.)"
Now you have to trust two ISPs: Yours and the VPN provider's.
Even then, setting up your torrent client to use a proxy is just as simple and effective.
My guess would be that it's done to promote AMP, and to encourage publishers to make use of it.

I doubt it'll be integrated as a vertical forever, but I understand the complaints against them doing so.
> Hi. I'm interested in type theory, and I'm a big fan of JS.

fan of JS as a whole package (Language, ecosystem, ...) or JS only as a language? The whole package is very attractive, and I can see how people accept ES5 (the language) for the opportunity to work with JS the ecosystem.

JS the language I think has some cool features and with ES6 it's even an acceptable language to work with, but I just fail to come to terms with some of the smaller warts.
The feeling I'm looking for in a language is "this is carefully designed to be consistent, simple and free of idiosyncraces and suprises". With equality, scoping, coercions etc in ES5 that realy is NOT the feeling. ES6 is so much better, but once you pick an ES5 alternative there are so many other choices.

> JS was a pretty good compromise between power and simplicity.

I really don't get why people think JS is "simple" though. It's fantastically complicated. Mostly accidentally though., because of the little warts in scoping/equality/coercion etc.
Again, ES6 is a lot better - but still very very not simple compared to e.g. Java.
My two questions are:

1. Is the X worth the extra $200/$300 on top of the 8?
2. Is the X worth the $1k+

I know "worth" is relative and depends on your personal requirements, but from someone who's likely a software dev on this site, is it really worth spending that kind of money?
Most comments say we must cut down our emissions, but will YOU do anything different after this article? I'm honestly asking how can I help?

* I'm already a minimalist. Small apartment, no useless crap around (decorations, lots of clothes, printed books...), which require energy to produce & transport

* Can't convince friends to do the same

* Work from home

* No car, using public transport & Uber when needed

* Voting has no effect

So, what exactly can we do this week, besides just saying "Yep", and just go on until it breaks? Genuine question.
No one thinks that it does, in fact "sexual harassment" hadn't even crossed my mind. But based purely on what the author wrote (which seems comprehensive, complete with emails), I don't see harassment.
Thanks for the feedback. The "for babies" part came out of a conversation with coworkers a while back, where people were complaining that Redux is too complicated. Ie. To add a property to the store, you also have to define an Action and a type for that Action, then add the type to your Actions sum or enum type, then define a case for one of your reducers, and finally use the property in your React component. I thought this could be simplified quite a bit for the 90% use case where an action maps directly to a property on the store.

Babydux is certainly a Redux. From the Readme:

> Babydux is like Redux, but reducers are already baked-in. Babydux automatically creates an action and a reducer for each key on your state, so you don't have to write tedious boilerplate. Babydux still emits Actions under the hood (which you can listen on to produce effects), but gives you an incredibly simple get/set API that covers most use cases.

There is an undocumented top-level emitter (`onAll`), but I'm not sure there is a use case for it where targeted emitters wouldn't be a better fit.

There is certainly middleware support (see https://github.com/bcherny/babydux#effects). Unlike Redux, middleware fires after the state has been updated, not before. The effect is to fold the concepts of middleware and subscriptions into one. I want to keep the API as simple as possible, but I could see a future where before-write middleware could be a good fit for simulating transactions and preventing writing bad state to the global store.
New Type of Amateur Telescope Breaks $1M on Kickstarter
One suggestion is to throw them hourly work until you demonstrate a good fit. For example, agree to X hours at $Y over a certain time frame. Start off slow before committing. You don't want to deal with the overhead of hiring and firing someone until you are confident it will work out.

And yes, you should definitely take a cut of their time. If you are managing the delivery to client (quality) you can continue billing the client at your rate, while paying junior at a lesser rate. You have found all the work, managed the billing, done the hard stuff and handed it to junior on a plate. Depending on their level, I would say you taking 20-50% per hour is reasonable. Otherwise, why bother?
Abstracting the Geniuses Away from Failure Testing
Amazon also co-mingles inventory. If we both have the same exact product to sell it gets put into the same physical warehouse space. Then when it's sold, they just grab a random one out of that space.

So its possible that you can "sell" an item that a different supplier actually sent to amazon.
It was also front page on HN at the beginning of 2015 ;)
Will the API remain free?
> people will look at an X to unlock it even though it only needs to see you, not the reverse.

It explicitly will not unlock by default unless you are looking at the phone (or have disabled the "attention detection" feature), it detects the direction of your eyes presumably to prevent someone from surreptitiously pointing your phone at your face to unlock it while you are focusing elsewhere.

> By default, Face ID requires eye contact in order to work, but Federighi says you can disable the “attention detection” feature and Face ID will work whether you look directly at it or not.

https://9to5mac.com/2017/09/15/face-id-details-features/
Mars gravity, 38% of Earth's, doesn't seem like all that much of problem. Sure, there are some health risks associated with being in a low gravity environment. But considering humans survive surprisingly well in micro-gravity in space, I'm sure we can adapt to the relatively strong gravity on Mars.
This seems to be a common misunderstanding, but page speed is already a search ranking factor.

https://webmasters.googleblog.com/2010/04/using-site-speed-i...
It appears you took my praise of Eliezer’s writing for some endorsement of laissez faire capitalism; allow me to sidestep that argument by reiterating my point more concisely for you. Of the pitches you can make for a career in finance, Eliezer’s is one of the more compelling ones, for people who like intellectual challenges.

I neither endorsed nor condemned a career in finance, nor the ideology of capitalism itself, nor its failings. Please grind your axe elsewhere.
> What subsidies?

Getting to dump waste products into the atmosphere for free. That 80p is nowhere near the true cost of that.
It's not useless in the context of a legislative requirement to honor it, which was the original goal that DNT was supposed to drive to. Since we now have pretty much 100% regulatory capture in the Internet space that of course is now dead.
Bought a 64gb Kingston micro SD from ebay, and appeared fine at first but after running some checks was clearly fake. Reported it to ebay and the seller. Was refunded instantly (and could keep the duff card) but the seller is still selling and ebay do not appear to have taken any action. I now realise that no-one would sell for 64gb card new for £12, so ALL the sellers there must be selling fakes - but ebay allows them to make new listings and others to sell. Sad thing is someone won't notice until they get back from their holiday and find their pictures aren't there. And by then the seller will have closed that account and opened a new one.
I have a friend who shows up late every day. But when shows, he knows what everybody on his team needs to be doing. He has connections all over his organization, so he knows who to call to get things done. He was replaced by a guy who shows on time every day, but he is totally lost.

I am a strict 9 a 5 guy. I believe in sustainable projects. Wisely choose your priorities, make progress every day, and your projects will be successful in the near term as well as in the long term.
Forget the Meditation App. Happiness Is Other People
A Show HN would have the link to the site as the URL rather than a description with the site URL pasted in the text.
Parking lot to parking lot, home computer to cubicle.
I know several people with access to Kodi that don't regard it as theft/piracy. They become pretty defensive when you accuse them of it. How do you think IP owners can adapt when piracy is made so transparent that it doesn't even feel like piracy anymore?
There are so many other types of pollution that are completely ignored due to the emphasis on CO2

This is true. In the UK Gordon Brown was so obsessed with CO2 he enacted policies that actually increased particulate pollution from Diesel engines.
Yes, and I'm not saying it does.

I'm saying the article has no example of actual harassment. There was no name calling, no threats, and no abusive behavior. All I see is a potentially socially-inept guy trying to communicate, and someone reading way too much into his emails (she kept claiming the "threats were insinuated," really?).
I'd guess you handle terrible news like this the same way you handle great news, by accepting the situation at present and avoiding allowing desires, fear, emotion, etc to control you.
That only helps you if your rebalancing period is less frequent than it should be, letting your leverage drift up on good days and down on bad days. If the market goes down by 16.6%%, your levered ETF goes down by 50%, and your portfolio is now 80% treasuries and 20% 3x levered ETF.

If you rebalance daily in order to maintain your desired stock exposure, you end up owning the S&P 500 as your buy and sell orders of the levered ETF counteract the ETF's buy and sell orders on the underlying index to maintain its leverage. All you're doing is paying higher fees, trading costs, the spread on T-bills vs institutional margin costs, and realizing capital gains and losses pointlessly.

What you want is to buy call options on the S&P 500 index. The market is far more efficient here and way better for you.
The problem is that anxiety is warranted in this case. You can’t do anything about solving the problem for everybody, but you can potentially save your own life:

- Work like a madman to get into the 1%.

- Move to a region that is self-sustaining and is little impacted by global warming.

- Buy guns, tools and a farm.
That would be true if I had alternatives to begin with. If I'm banned from the only communication network in existence, I'm effectively banned from communicating altogether. No more freedom of speech, no more freedom of information, that's pretty heavy stuff.

I very much like the idea that no one has the "freedom" to deprive me of my citizens' freedoms. I mean, that's supposed to be the job of judges and juries.
Hide only hides it from you. If you're still able to, you should be able to edit the post to remove the description and add the URL to point to your site. If you're no longer able to edit the submission, please contact the mods to help you to figure it out.
All the "you don't get privacy from a VPN" talk misses the variable of who you want privacy from. If you don't care about e2e privacy, but want a simple way, without using Tor, to keep websites from knowing your real IP, then VPNs are great.
Here's my attempt at visually extrapolating from that graph. If it's a new trend it looks like a very significant change to me.

https://imgur.com/fys3MqG
7 Sure Ways to Fail at Personalization
I know, I just forgot the sarcasm tags. But it really feels awful right now. I think I will shut down my computer for today. Take care.
My ISP is AT&T. I don't think there's much the VPN provider or their ISP could do to make things worse for me. The worst case scenario is that they are as bad as AT&T and there's a non-zero chance they are better.
The State of Data Science and Machine Learning
It might actually be useful to randomly turn it on and off per request...
The initial reports I read, indicated that the sensor block was not used as part of the video playback area, because the screen measured without the sensor block is 16:9.
Map markers clusterization using Google Maps Utils