skysight-inc/HackerNews huggingface dataset:
type safety is becoming a hugely desired feature for developers again

I don’t think anyone ever hated type safety, I think they hated verbose syntax and unfortunately conflated the two.

Now we’re finding a happy medium with compiler type inference and people are like, wait what?
The innovation is in implementing it well. I have no idea if Apple has implemented this feature well but if they did then it’s innovative. The innovation is not in being first it’s in doing it well first.

EDIT: It is innovative to do things well for the first time.
Top #Android and #iOS #Games in 2017
Status/feel-better-inside, cameras, stupidity (dont know what they want so they get best), don't know what to do with money, some people need it for their job (marketing stuff, you HAVE to be cool) etc etc.
Not OP - but it's not innovation for me personally. Not technically, I mean it's not a feature that I expect to make an impact in my life, and if the iPhone 12 (or w/e) has support for Display TouchID then I'd never use FaceID again.

This is all speculation of course - and likely outside of the scope of this conversation, hopefully I'm not detracting too much though :)
That was a good read, thanks for posting.
You mean with a picture of your face....
IoT in Logistics: A Necessity
UpGoer Five: Explain Your Research Using the Ten Hundred Most Common Words
Haskell lends itself pretty well to "backend"[0] work, and there are more than a few organisations using it to write servers, trading systems, and so on. It definitely fits his metric, which is "> 1000 industrial users".

[0] (Unlike applying it to the frontend, which is a comparatively less mature situation with multiple proposed solutions.)
Why the Retail Sector in India Is Surpassing China
I'm buying it primarily for the camera, yeah. I'm not 100% convinced that I'll get on with Face ID and the lack of a home button, mind.
> Countries must be sitting on massive archives of paper documents.

Which are currently safely in locked rooms. If they're digitized, they become much less likely to stay private in the hands of most government contractors.

I agree that they should be digitizing this content, but they also need to work on establishing basic competency in securing it once it's digitized. Also, in preserving it - it's easier to just leave documents intact in a long row of boxes and file cabinets than it is to dispose of them, but it takes effort and maintenance to keep them alive on hard drives.
TouchID requires me to touch the device. I _know_ when I'm identified. FaceID works at a distance, data could easily leak to any number of surveillance programs, corporate or governmental.
Why Hardware Development Could Mean the Future of Computer Programming
I only watched the video, so it is a bit early to judge, but I wonder:
1. Why put that much effort in explaining it takes only 6 minutes in setting up a web app? Anyone who has done any serious web app knows how quickly you can set up a simple app really does not matter much for an app even of moderate size, let alone big ones?
2. Why yet another attempt to abstract away everything and using one language (python) only? What happens when you need to debug nitti-gritty js/css/html/sql?
Why is TouchID superior to FaceID? I just want to understand why you think FaceID is a failure?

If FaceID lives up to Apples claims it will have less friction and higher security, so win win, and I'm sure Apple are aware of how popular TouchID is, I don't see them replacing it with a dud.
I use to send my JWT token to check validity of the user's session
Does Anvil render server-side or is it client-side only?

My issue is if being used for websites, on average our sites get ~50k visitors a month or even spikes with that amount.

The same goes for complexity of the system, for simple html sites it will not matter much but for very dynamic apps this will require a lot of CPU time.
React-log: React for the Console
You make a good point, but to counter, can modern touchscreen phones be used without looking at them? Volume buttons and power off / on can be used without looking, but you can also use those without unlocking your phone.
JetBrains never did any rapid UI IDE like Delphi did. In fact, all their IDEs are in Swing, which is a mess. I'd totally love having CLion/PyCharm with Qt UI designer, but it's not going to happen.
Awesome! I work at Mendix where we've been building something similar for just over 11 years now. Companies in this space (rapid app development for the web) typically target the Enterprise market and are typically not open source, I think that's why they don't get much interest on HN.

The market is heating up though, we are growing fast and our competitors do as well. Moreover, Google (AppMaker) and Microsoft (PowerApps) have entered the race in the last two years.

Looking forward to seeing more of Anvil.
I'm kind of surprised on this because it's been around on various Android and Windows devices for a while. I understand that it might be more reliable and faster, but that's incremental rather than revolutionary.
Catalonia Leaders Face Rebellion Charges After Declaring Independence
The crazy thing about AMP to me is that we wouldn't have nearly as much front-end bloat on the web if it wasn't for the data-driven (read: click-driven) form of advertising championed by (who else?) Google. They put the burden on small time publishers for fixing a problem that they created.

Some of the stuff I see Google and Facebook doing to the web developer community these days makes Microsoft in the mid-00s seem like a model citizen.
I met a few, but what does that have to do with Python installations?
Just to be clear, you work for a company that presents itself as "The best way to charge for content." Are you already losing money due to AMP adoption?
Most of the FOSS software originated with the UNIX culture, where C thrives and the original FSF Manifesto suggested using only C to increase portability between POSIX systems.

So the historical accident was UNIX/POSIX taking over the majority of OS architectures.
Using State Tables for Testing – Simple, Scalable, Concise
I've worked in/with Perl. Perl is unpleasant because it's inconsistent, not because it's dense - if you want the extreme examples, compare Perl with something like APL.
Anyone here on HN tested this?
Indeed.

https://twitter.com/neilcybart/status/908154535054643202
About WYSIWYG, we are missing standards on our APIs. SOAP was going that way but it was way too much, way too early.

Either that, or an ASP.Net view where the backend is interacting with the user through a browser. But that doesn't work well. It's much better to standardize the backend API than the entire frontend.
EDIT: I understand your response now. Thank you for providing such an example.
This looks like it might be exactly what I'm looking for. I am quadriplegic and use a powered wheelchair, I also live in a small town with narrow roads and can't tell how far away a car is from behind me. I can't use regular wing mirrors as it would make the wheelchair to wide and I can't quite get the angle on a mirror to see behind me, so I thought I would use a camera on the back of the headrest which with some computer type cleverness™ could tell me if about to be mown over.

I was recently hit by a Mercedes SLK, and it's not something I'm anxious to repeat.

At the moment I'm thinking a GoPro streaming wirelessly to a Raspberry Pi, which can do the visual processing and essentially warn me if something big and metal is coming up behind me too quickly. I got the hardware, but I really don't have the software chops so if someone could point me in the right direction I would really appreciate it!

Thanks!
I just think that Y is a masquerade and the meat is in the hidden motives.
This comment was made under an other article.
I do nothing with my expensive phone (Pixel 1 XL atm, soon to be iPhone X). Nothing to justify the price, at least. I buy them because I enjoy the quality feeling, which is partially real and partially self enforced.

With that said though, I've been with Android since the G1 (literally all of the Nexus lines), and few cheap phones compare to the high end phones for me.

My best phone of all time? The Nexus 4.. or was it 5... I honestly can't remember now. It was one of these $200 phone. It felt cheap as hell, but it was a very nice compromise on features vs price. Yet, that's going back to what I was saying above. Despite me loving that phone, and it being an amazing phone for $200, it was still a compromise of quality. If you show me a phone that has the OS and build feel of my Pixel 1 XL, I'd happily buy it. However, I've not ever seen this. Same goes for my Macbook Pro. It's far from perfect, and definitely feels overpriced, but the OS and Hardware combo has no competition from my perspective. Unfortunately.

So back to your original question, I definitely don't do anything with the phone to inherently justify the price.
It's hard to have a good-faith debate about AMP when Google says that AMP sites aren't given favor in search results, by defining the carousel as not being part of search results.
iPhone 8 launch propels Apple to growth in China after 18 months of sales dips
Why was it not named FML?
Why? Lightrail is a pretty big disaster in terms of efficient commuting with stops every block. I tried to ride the bus and then lightrail downtown but the commute was twice as long as if I just drove (45 minutes to an hour because the bus/rail weren't synced perfectly)
https://en.wikipedia.org/wiki/List_of_confidence_tricks
This analysis is flawed in that it equates size of traffic with individual user actions. Of course YouTube or another video heavy site like FB is going to dominate when only size is considered.

A better metric would be a measurement of user initiated actions. Now sure how to pull that off, but it would be a more accurate measure of how the net is changing.
Why you need version control for your Word documents
I guess one side effect of being glued to your phone all the time is that you don't notice adverts. But the tube had adverts in the 90s, and before - http://howlsandwhispers.co.uk/articles/bob-mazzer-london-und...

I did notice adverts on a flight from delhi last month on the front of a film, but it's very rare I'll watch anything on a plane's entertainment system, partly because of things like adverts.
Just to get this out there, faceID uses a depth "camera" (right??) Previous approaches on Android, etc use image rec from the front camera.
I know, inverted index search is fast, it is the basic search engine algorithm, but there is a difference in quality of top ranked results. With word vectors you can ensure the topic of the whole document is what you want. Many documents mix topics and some keywords appear by mistake in the wrong place, for example, because scraping web text is imperfect and might capture extra text.
It was raining a bit yesterday and that made the fingerprint sensor on my phone basically useless. I forgot how much it was used (unlock, banking apps, payments).
The leader of the new anti-poaching group, Rory Young, is active on Quora, when he can anyway, and his writing is gripping. If you join Quora for no other reason, you should join it for his posts:

https://www.quora.com/profile/Rory-Young-1
> Wastes bandwidth downloading content in the background. Wastes battery rendering content in the background.

That’s Google Search, not AMP. How much bandwidth does Search use? Is it big enough to be a problem for some users?

> Downloads Google links you haven’t given permission you want to see.

Google Search can load assets from its own domain, like any other website. The user can use browser extensions to block certain requests.

> You can’t even opt out.

You mean you can’t opt out of seeing AMP results on Google Search? Well, yes, for obvious reasons. AMP is Google’s product. It would make little sense for them to add such an option.

> Breaks the web url extending it for Google’s own purposes. Breaks the understanding that the domain you are on is the authority for it’s own content.

Yes, it does.

> Copying URLs to send to friends or post online no longer works correctly.

It works in iOS Safari and Firefox for Android (and probably other browsers as well), which use the canonical URL when the user shares the page. There is also a Share button in the header of the AMP page.

> Traps publishers further inside Google’s web, not the open web.

You can say that Google traps publishers, but not that AMP is not the open web. Google AMP Cache is a website on the (open) web.
Personally, I just like to use the latest technology – I live and breath it every day in my job and I like to keep up on trends. I don't go out and spend a ton of money at clubs, bars, and fancy restaurants, I go to the movies maybe once a year, I drive a sensible car. For me, hardware like the latest smartphone or computer is what I like to spend my discretional income on – simple as that. To each his/her own.
The response to the recent Rich Hickey talk definitely points toward "dynamic typing as its own solution" (instead of a stop-gap until someone makes static typing less "verbose") being a popular view nowadays.

https://news.ycombinator.com/item?id=15464423
Camera for photos of the kids is certainly my self-justification. My SLR takes better photos - but all the best photos of my kids are on my phone - because it’s what I have in my pocket.
I used LXC in the past, the current docker still puzzles me a bit.

To save resource(cpu/memory,etc) and stay lightweight, the docker I pulled needs to reuse whatever on my host Linux to achieve that goal, otherwise it has to provide its own dependencies which nearly-doubles the storage. Pulling from others' docker image normally means it has different libraries etc from my host(e.g. Linux), so I ended up running duplicated libraries/dependencies on the same host, how does that save anything? Why not just do kvm?

For small applications that use the same libraries/dependencies as the host I can run way more dockers than KVMs as the former is indeed resource efficient because it can share them with the host OS, but again it only happens when the host has essentially the same software installed for dockers to reuse, and secondly docker itself should be light-weight(otherwise, why not kvm to avoid all the docker-container complexity).

So, is it true that, docker is _only_ good for light-weight-application that happens to running the same libraries/dependencies as the host OS to save resources? At least that's what I did with LXC in the past.

Or is Docker just for easy of deployment, which most of the time it does not save any resource, but increases it(as most of the time host OS will not have the same shared resource installed)?

Also I can not understand why Linux-Docker saves any resources on Windows host, other than it can be easier to deploy? Then again, the past *.exe installation worked fine as well, why docker?
I can see this as an amazing teaching aid too. You can take away all the learning about tech stacks and platforms and various languages and server config etc. for a while and concentrate on developing the idea and developing a process.

Edit: My son is going to love this when he gets home!

It seems good enough that you could push the prototype live as an MVP.

I am interested if you grow to something to the stage where you want to move off this and onto something more customised, do you have access to be able to properly migrate the DB somewhere else?
I am curious if you've tried IntelliJ with Java or Kotlin, with the various mod cons applied? Because it's quite similar to what you're asking for.

Kotlin does type inference. You can see what the inferred type is if you enable inline type hints. It's not a part of the source code, but it looks as if it is (modulo styling). As you work with the code you can see the inferred type change in real time.

OK, data structure selection, it won't help you pick between a linked list and an array. That said, I'm not sure that feature would bring much benefit to most programs. You almost always want arrays.

Code understanding: if you're unsure what's going on at a particular point, you can just add a breakpoint and run the program. You can then explore the contents of the program, evaluate arbitrary expressions, you can add "evaluation breakpoints" that print out the values of those expressions without stopping the app (on the fly ad hoc logging, in effect), you can investigate how the code you're looking at relates to other code, what the data flows are, what the location in the type hierarchies are, etc. There's a lot of ways to look at the program.

Refactoring; this is the point I went down this train of thought. Because a modern advanced IDE like IntelliJ can do this sort of thing already. It can do things like spot code duplication and fix it for you by extracting a method, in real time, with a single keypress triggered by subtle visual hints like a soft wavy underline. It can convert code between imperative for-loops and functional pipelines of map/filter/fold/etc, in both directions. It can identify and automatically delete unused variables, function parameters, object properties and so on. "Simple" is somewhat in the eye of the beholder, but it's a pretty close realisation of what you seem to be asking for.

The dialogue is not had through markup in the code but rather, through the IDE giving its suggestions using visual hints, and the user starting an interaction through a keypress that brings up a menu of suggestion options ("intentions"), which may in turn lead to more options and so on.
Very nice UI. It seems your product is already fairly complex and offers a decent set of features.

Usually I track items in the kanban boards, in the excel spreadsheets and in my notepad. For me as a visitor and potential client it's not clear what's the extra value your tool could provide me with compared to my old tools and habits.

BTW, if you'd like to get more free UX feedback, please feel free to visit our UX community platform at https://usability.testing.exchange
Oooh, cum-videos!
> the point is the important difference with keto is that for some people it helps them comply to a calorically balanced diet, not that the macronutrient composition is making a difference.

The whole point of Keto diets is that the macronutrient composition is what makes compliance easy. So, you can’t really extricate macronutrient composition since a diet needs to be followed in order to be effective.
I'm an iPhone user, but my primary reason for upgrading in the past was the camera. These days, the cameras are good enough, so I hung onto my 5S for an extra year or two and expect I'll keep the 7 for 3+ years as well.
Criterion can tell us what was behind the biggest blowups in finance, why levered ETFs are generally a bad idea, and how aggressive investors can maximize their wealth without risking ruin.

That is not necessarily true regarding leveraged etfs.

Leverged ETFs when used as a substitute for being fully invested can be more safe than being fully invested in the non-leveraged version. The idea being one puts 1/3 of their capital in the 3x S&P 500 ETF and the 2/3 in T-bills. The maximum loss, no matter what, is still only 33%.

Ruin (if it is defined to mean 100% loss of capital) is impossible with a leveraged etf [it just means your wealth asymptotically approaches zero], but it is possible with margin debt.
Network drives going away will still reliably hang explorer processes. It’s 2017, there’s no reason to be doing network access on the UI thread anymore.
you have bundling issues try getting rid of youtube, if you like android. Also, monopolies usually increase prices which in this case are the advertising costs that are passed onto the consumer via more ads/ad space on google/facebook and higher ecommerce prices.
I'm sorry, what?

I apologize if it comes off as sexist, because that's not my intent. Cutesy labels trip my cultometer. Hard. It's a creepy indoctrination technique, and I'm incredibly uncomfortable with it, especially after having grown up in a very gaslit home.
I like the UI and the design. The tool feels well integrated. However I'm not sure of the added value. What's the difference compared to the invite I send out directly from Google Calendar?

BTW, if you'd like to get some more free UX feedback, please feel free to visit our UX community platform at https://usability.testing.exchange
It's a common marketing tool nowadays. Many popular vloggers and DJ's who have made a name for themselves through social media do it too. They also use other shibboleths to foster an 'in-group' vs 'out-group' feeling, like hand signals, or just specific phrases used for signing off, or referring to themselves or other groups. I guess it appeals to some fundamental desire to 'belong'.

Personally I think it's quite creepy and dystopian. Then again, is it worse than wearing t-shirts with the name of a software project on them outside of conferences about that specific software? That's kind of cringy/cultish too, when you look at it from the outside, but it doesn't feel that bad when large parts of your life revolve around that particular software.
E.J. – Part of a Cycle
There are fairly plentiful leaks from Apple indicating that they attempted to get an "under display" fingerprint sensor to work.

I don't know that "Apple" had a first choice at all, and I suspect that there was diversity of opinion within Apple about which authentication method would be superior if both were technically feasible.

People might reasonably prefer fingerprint to facial recognition for speed reasons, allowing the phone to be unlocked by the time you look at it.
Depending on the performance, when I use TouchID from my pocket, the device is unlocked by the time I get it in front of me to use (because I pick it up and hold my thumb over the fingerprint sensor)
I've certainly seen cases where we take one step back in one area to take two steps forward in another; where it takes 5-10 years to get language C that can do something that language A we were using 5-10 years before that could do - but only if we forget that we also wanted some capability in the language B that we couldn't do in A, and C is the first language that manages to synthesise both. And industry is always going to be a long way behind the cutting edge - most of the features we're excited about today are things that were present in ML. But on the whole it feels to me like both a) the mainstream industrial programming experience today is better than it was 10 years ago and b) the academic cutting edge of programming language design today is better than it was 10 years ago, and I expect both those things to continue to be true.
I found that the weakest part of the presentation.

Kotlin and Ceylon both came out of corporate/industrial development. C#, JavaScript and Java continue to evolve entirely due to industrial funding.

I agree that academia is not a great place to do PL research as all the other non-idea aspects of a successful PL don't get enough attention. But industry is doing OK at launching new languages. Perhaps he feels that's "incrementalism" but there's nothing wrong with making solid upgrades that aren't attempts at unicorn style magic cure-alls.

It'd also help if we collectively got over our demand for our tools to always be open source. This has solid justifications behind it but it ensures that programming languages will always be spinoffs of other endeavours rather than having truly focused attention in their own right. When you take away the profit motive, you get stagnation, and that seems to be the main point of the presentation.
“Amplified Mobile Pages”?