skysight-inc/HackerNews huggingface dataset:
I think this is the case with most JVM languages, to be honest. As someone who has done some Java but would never do it willingly as part of a hobby project or the like I think Kotlin and pretty much every other JVM language is a huge step up from Java.

When you're already knee deep in it I suppose you're bound to have a less enticing reason to use the other languages.

That being said, I don't see how you can look at the feature list of Kotlin and play around with it without seeing how it's obviously a much better language.
Cliff-hanger! Can you elaborate on why asexual reproduction might perform better?
I agree and I appreciate what they are trying to do.

But just as a counter-argument, look how a simple lock looks like in Rust [1]:

fn main() {
let counter = Arc::new(Mutex::new(0));
let mut handles = vec![];

for _ in 0..10 {
let counter = counter.clone();
let handle = thread::spawn(move || {
let mut num = counter.lock().unwrap();

*num += 1;
});
handles.push(handle);
}

//...
}

[1] https://doc.rust-lang.org/book/second-edition/ch16-03-shared...

-----
edit: Just to clarify my point. The ownership model is a beautiful solution to the resource management problem. And as the parent pointed out, some concepts can be cleanly borrowed/reused in other languages.

But now, in Rust, in practice, you realize that this model requires a lot of boilerplate code just to make the borrow checker happy, even for simple things like using a lock: create Arc(Mutex(data)); clone the arc reference; move the new Arc reference to the new thread.
> And I don't need that last drop of performance either.

If Nim could mature a bit it would be really nice.
There is OCaml but it is a bit goofy to work with if you prefer more imperative style coding.
There is Go but no generics.
Do you have a link to this reddit post/thread? (asking for the same friend)
I do believe that it is an effort to increase the speed of pages, by preventing content creators from doing things that can harm the user's experience on slower connections - I just don't think it's the right way to go about it.

It also has the side-effect that all AMP pages must look fairly similar and 'on brand' for Google - which I doubt is an accident.
10-20 years ago some of us could use Smalltalk, do systems programming with strong type safe languages, use RAD environments like Delphi, release applications in Prolog, for example.

To me it seems we are catching up with the past, and as someone already programming on those environments, it looks we have spent 10-20 years loosing our tools, educating the masses, only to get a taste of things used to be.
Just a heads up, but this may run into some confusion amongst the Mac development community with the long existing local web server tool, Anvil.

https://anvilformac.com/

I’m excited to try the Python-based Anvil for quickly prototyping interactions to share with my product and dev teams.

Edit: Typo!
Witkar, an early car sharing system
Looks very promising! - Does anybody know what technology stack is being used here? Django + some JS stack for the front end?
Hi there! Founder here, slightly gobsmacked to see this top of HN. Do feel free to ask me any questions about the platform :)

We also have a bunch of tutorial-cum-demo videos at: https://anvil.works/learn#tutorials
"Media does not spread FREE opinion; It GENERATES opinion" --Oswald,1918 https://en.wikipedia.org/wiki/Decline_of_the_West
> So if you just want a native language with a good type system and a growing ecosystem, where do you go? Still Rust or something else?

Nim[1] is a good alternative to Rust if you don't mind a GC, and I argue that even for use cases where a GC might be problematic it's still a good choice thanks to the Nim GC's soft real-time capabilities.

1 - https://nim-lang.org
Apple fires engineer after his daughter's iPhone X video went viral
> It's art. Parody.

> That aside, maybe you missing/ignoring the frequent attacks by Islamists/Migrants or large parts of Paris becoming non-French & non-Western.

This video in question was being shown in the US. It's a blatant stereo-type I use, but one that has been tested time and again, but the typical U.S. citizen is naive to the rest of the world, and it would be fair to say that the average person in any western nation outside Europe has little conception of what Paris is meant to look like. My parents, who are elderly and not well-travelled would easily be convinced.

Given this, it's not hard to see how people encountering this video in their Facebook feed might be confused for thinking aspects of it are real. And for those that do see it as parody, might still think it plausible that the crescent moon would be a-top the Eiffel Tower.

I think this kind of distortion happens on all sides of politics, and I think it shouldn't be tolerated on any of them.

> Demanding that all nations become "multi-cultural" is xenophobic against the host nations. See the definition of Colonialism...

I'm not sure you understand the definition of Xenophobia.

xenophobia n. dislike of or prejudice against people from other countries. (source: google search)

At last check, France is predominantly caucasian of at least one French-born parent 86% (75% of both)* and French-speaking 86%#. Anyone born overseas, and whose first language is not English are clearly not even close to the majority.

* https://en.wikipedia.org/wiki/Demographics_of_France#Births_...

# https://en.wikipedia.org/wiki/Languages_of_France

> Are you talking about ads over the internet? I'm talking about life in general.

And I'm not. But I take you're point, there's a lot of people that don't look and behave like you entering a country you love, and you're concerned by this. This wouldn't bother me, but I can share some concern in the rise of militant extremist Islam and could see how this might cause you to view all immigration as problematic.

The video you linked looks like the 'multicultural' district of any city I've been too. There's people of all walks of life visible, not overwhelmingly Islamist. It's also run down, like every multicultural district which usually finds the place with the cheapest rent and access to facilities. I strongly doubt this scene represents the whole, or even a majority, of Paris, but I haven't been in some 10 years, so I couldn't know.

Edit: Unfinished sentence about xenophobia
Station App Combines Whatsapp, Gmail, Twitter and More
Was the contract award really corrupt? The company is doing work now

Whatever the company is doing now doesn't retroactively legitimate a corrupt contracting process.

Or is it buyers remorse where the government signed the first contract

There were no other contracts considered. It was a no-bid deal.
I remember someone saying on HN that what the world needed was a way to make web apps that was as easy as making a Windows form in Visual Studio. Could this be that app?
Looks like their wiki says there is roughly 14 petabytes of data to be backed up, and only ~105 terabytes have redundant backups now?
How Augmented Reality Will Affect Marketing Campaigns
Right - the only two things people seem to agree on is that 1) JavaScript as a target isn't going anywhere and 2) it's often nicer to not use it directly.

That's why these languages exist. Because people need to produce JavaScript and keep getting sick of writing it.
Everything you've ever wanted to know about marketing buzzwords
These kinds of jokes become way scarier when this stuff creeps into reality and the military actually names it very aptly "Skynet" [0].

Somebody should tell those guys in the Pentagon that the Terminator movies do not depict a utopian future we would want to emulate, not at all.

[0] http://www.defenseone.com/technology/2017/09/future-us-milit...
When I worked in a supermarket in the late 90's, we did have a pretty expansive back room filled with stuff that had been taken off trucks but not stocked on shelves. However, it was next to impossible for a front-end person to actually get to any of the products - they were stacked on pallets 3 to 5 rows high and about 5 rows deep with no clearance between them. Occasionally someone would ask me if something was in the back, but unless it was in the dairy fridge, or a case of it was actually sitting on a cart in the hallway, I'd tell them I couldn't find it.
On Vega they are competitive with the Nvidia drivers.

https://www.phoronix.com/scan.php?page=article&item=rx-vega-...
Maybe he doesn't buy a $800 Android ? And doesn't buy every new release ? There are new $200+ Android phones.
Build Native and Hybrid Apps Using Ionic Framework
Images are optional downloads, it could be a 400MB image and it would take the same 0.00 seconds on a 14.4 modem. https://support.mozilla.org/en-US/questions/981640

Also, blind people still use the web. So, that feature is not going away any time soon.
Agreed, but I would add (if my account is not shadow-banned) that $100K/yr. is not that much money anymore. It was in the 1980s, but not now. The bait and switch on taxes is obvious--you're barely middle class with 100K income in most locales. Just look at how many people are under that figure and you know the rest of the story. Inflation killed us and we are quibbling over silly tax deductions and bones thrown to us by the multi-trillion-dollar elephant in the room!

Also, you can't give income tax breaks to people who earn no money, which is what the bottom 2/3 represent pretty much. If you want fix America, ditch the EIC and other stealth welfare and start rebuilding industry. Telling me I'm rich when I'm clearly finally just making it in life is bullshit.
AFAIK Ada's "refinement types" are essentially ranged integer types, i.e., you can define

type Int is range 0 .. 100;

and it will be impossible to store any number outside that range in a variable of this type. But you can't define more general properties than this.
I assumed it was named after the more well-known phenomenon of iron oxidation.
Usually the claim is weaker than "you can't beat the market". It's something like "after fees, the returns of active funds don't beat the market". And AFAIR the claim A Random Walk was even weaker, closer to "even if some funds can beat the market after fees, you have no way of distinguishing them from lucky ones".
Read the full quote in the message you're replying to: the article author makes the same point.
One thing to Apple PR credit is faceid. For me it's hot needle replacement for failed attempt to integrate touchid into display, but for most people it is innovation.
It's how you make REAL money. See Fifa, Office, etc etc. You need your cow product.
Please do explain why you don't view Face ID as an innovation over existing technology.
I'd hesitate to take these guys too seriously, seeing as one of the articles linked from this one is a transparently absurd attempt to play up the Kirov-class guided-missile cruisers, of which three out of the total four are currently laid up, as a serious threat to US carrier strike groups, despite the Kirov armament being so heavily focused on surface-to-air work, i.e. anti-air defense, that it barely bothers to carry any antisurface capability at all. Another recommended article is a multi-part series insisting the only sensible course of action available is that we invade North Korea now.

Looking at National Interest's about page, I find the first billed founder is Irving Kristol - a man instantly recognizable to students of recent history as the father of neoconservatism. You'll have to judge for yourself whether the fruits of that particular political movement are such as to recommend the unskeptical consideration of any claim advanced by its adherents - especially when such claims tend in the direction of another pointless, long drawn-out fight that's of no ultimate benefit to anyone anywhere.

It might, for example, be mildly invidious to say that the same "chickenhawks", who last decade suckered a credulous US leader into a new-styled yet no less horrific and pointless Middle Eastern Vietnam, here show that they have managed the - by some measure, very impressive! - feat of learning absolutely nothing from their manifold and grievous errors - not even the minimal good grace required to accept manfully the verdict of utter discreditation which history has delivered upon them; and then, not satisfied with the vast scope of human and economic ruin which they have already wrought, they continue to insist that their soi-disant "New American Century", to the very greatest possible extent, be one of utterly pointless blood and fire.

But were someone to say something of the sort, one might, after consideration of relevant recent history, perhaps hesitate to castigate that person very harshly for so doing.
Typescript was designed in such a way that the transpired mostly merely removes type annotations from the TS file to the JS one. They also went with a loose optional structural type system to be as non invasive as possible (ironically enough, it can be less strict than a nominal dynamic type system).
How big tech just keeps getting bigger
Glad to hear it! Some details about the tech stack:

* Front-end code is compiled from Python to JS with Skulpt (http://skulpt.org)

* The back-end code runs in a custom Python sandbox. Calls to server functions go over a secure web socket (this lets us do fun things like returning database rows directly from server functions, rather than faffing with REST APIs all day)

* The built-in database (Data Tables) is based on Postgres, using its JSONB and GIN indexing to create a table you can search efficiently on any column. This also means that things like transactions are properly robust.
Never worked in Perl, I take it
The PuppetConf 2017 videos, slides and photos are ready for you – Puppet
the natural consequence is that I now have that data and can do whatever I want with it.

You're aware that the EU quite violently disagrees with this assessment and member states, starting in 2018, will have the ability to levy cripling fines on such behavior.
Hope AMZ will fix https://www.quora.com/Has-anybody-got-cheated-by-Amazon-Indi...
I've been using the following addon to block this fingerprinting for a while now: https://addons.mozilla.org/en-US/firefox/addon/canvasblocker...
I would be really interested to hear updated thoughts from Peter Thiel on Trump's presidency. I've really respected his thought on startups in the past (I thought the notes from his Stanford class were some of the most interesting analysis of startups I've ever read.)

I'd really love to read what he thinks of the last year since Trump's election, particularly given that charges have now been filed against a campaign manager.
It definitely depends where you are living, and how you travel.

If you haven't been to London recently I understand you might say there are a few ads, but lately I have really begun to notice just how prevalent they are. The tube is absolutely plastered with them - in the train carriages, the escalators, the tunnels between platforms. Construction work fences are covered in ads. And this is for thousands of people who travel 30-45mins two times every day, completely filled with ads. You don't necessarily pay them much attention every day, but they definitely have an effect on which companies, brands and even theatre performances pop into my head first.

On top of this, I took a flight to Heathrow last night and there were ads on the plane, ads all over the arrivals area as you walk to the taxi rank. In the Uber home I noticed the motorway connecting Heathrow and London has bright electronic billboards one after the other - it never seems to end.

I just wanted to give some perspective on what the commuter experience is like in London (and I'm sure in other large cities, too). It may feel like you experience less ads personally, but that may not be representative of the general public.

The apps you mentioned are a select few (admittedly good examples of how TV ads have gone down) , but most free apps now rely on some kind of advertising model to be profitable. Almost every social media platform forces ads into your timeline. Perhaps we just don't tend to notice how pervasive they are.
I would look more carefully at this figure. As an example, over 20% of Nim devs use Nim at work as well[1], but of course the number of respondents is far smaller so it merits a closer look.

1 - https://nim-lang.org/blog/2017/10/01/community-survey-result...
I’ve done a lot of PCIe hardware development. I think there was some notion of a 32x connection early on, spec wise, but x16 is as wide as it’s ever gone in practice. All high performance PCIe traffic is controlled by DMA hardware on the endpoint, so having an endpoint with multiple logical x16 connections back to the host cpu would be quite straightforward to implement, and you wouldn’t need to worry about any of the gory details you listed. Some FPGAs are available with multiple endpoints embedded in them, for instance.
Whenever i see these cloud apps that seem like a good idea, I just think of spiralling costs similar to the likes of firebase written about on HN before.

Their pricing page doesn't show anything about usage limits and if it is "per site" or "per domain" or "per project".
(another founder here!)

We've now been in touch by email about this bug, and we'll make sure a fix is pushed ASAP!
Show HN: I built a ghost hunting EMF detector for Halloween, and so can you
Can't help to think about Delphi. Good job! ;-)
Unlocking your phone with your face has been a regular feature of many smartphones for at least 5 years.
Forget Washington. Facebook’s Problems Abroad Are Far More Disturbing.
I often wonder what people do with these super expensive phones to be honest.

I have a cheap Xiaomi phone and it runs the same apps everyone else does.

My guess is that the expensive phones are bought primarily for their cameras. I'm not big into photography but I can see how that makes a stronger argument for the likes of the iPhone X and Note 8 etc.
LIMS Software port virtualization feature
Guy demonstrates how Facebook listens to conversations to serve ads
AUFS is the only fs that was broadly distributed until recently. Now, it's been removed in the latest linux distributions because it's too buggy and unstable.

Overlay was started and quickly abandoned. Only to be replaced by overlay2 that is work in progress and not wildly available yet.

This article contains a bit of history on Docker filesystems: https://thehftguy.com/2016/11/01/docker-in-production-an-his...
Slightly OT: I am most impressed by Apple‘s bold move to drop the iPhone‘s decade old, iconic symmetric design while establishing a new iconic asymmetric design almost over night.

As odd as the new design feels, Apple already owns this design, this buckle, this asymmetry.

Edit: Why the downvotes (just wondering)?
Ajax: A New Approach to Web Applications
How easily does it work with various types/brands of GPU?
Hype is too strong and good ideas of the past are a niche topics. Computer science should focus more on its own history and realize what has been done and needs to be taken further. I wish I studied much earlier about things like process calculi, PL/type system theory, alternative OS design and verification approaches. Just by chance I pick up important information from the web or in rare master's courses where we are just a handful of students (while the machine learning courses get hundreds).
You appear to be assuming that integrating Touch ID into the display was Apple's first choice. If face ID works as promised I can’t see why anyone would prefer Touch ID over Face ID. Even if your assumption is correct Face ID is still innovative.
Plot twist: it was intentional and they're equipped with remote self-destruct and/or tracking devices.
It's innovation -- but it's also at the expense of taking away a feature I regularly use.

I frequently unlock a phone that's flat on a desk that's at an arm's length. Now, to unlock, I suspect I'll need to lift and point that device towards my face in order to authenticate. Since I haven't tried the iPhone X yet, I'm not sure how liberal they are with the angle required to capture your face, but it seems unlikely this can be done with the device flat on a desk.

To me, that's unfortunate ... and it's a feature change that having TouchID integrated into the display, as was rumored to be their original intention, would have avoided.
That's something more precise i would say.
I'm asking same question. How is faceid innovation over touchid? But to answer your question. With touchid you can unlock your phone immediately you bring it out of pocket. I don't see any additional value over touchid. For me it's actually inferior, because I have to grab the phone even for simple tasks, like reading new message. So why should I accept this? Because of larger screen, which is not even bezel to bezel? Also don't act as face recognition is apple thing. They didn't invent it or weren't first to use it. Innovation is when you bring something new and unique to the table. PS: I'm apple fan, but not sheep to accept anything they bring blindly.
> What you get "for free" from such languages may not be significant enough to justify the cost of adoption

Idris can often infer entire functions from their types if the domain is amenable to accurate type-based specification. For instance, taking the common "sized vector" example, where `Vec n a` refers to a length-n vector of values of type a, functions like

zip : Vec n a -> Vec n b -> Vec n (a, b)

can be automatically generated via the interactive "proof search" mechanism that the Emacs integration for Idris provides. Similar things are possible in Agda, which is however squarely aimed away from the "practical use" market.
Pricing is per-developer-seat; we don't limit the number of apps you can build or publish.

Usage limits are pretty soft right now (depends heavily on what you do in your code and how hard you're hammering our servers), but the general intention is to charge you more as you scale up your team, rather than because you got a few thousand users.
Being able to unlock someone else's phone with a picture of their face has been a bug for the same length of time.
Idris certainly is nice but I doubt anyone uses it for real stuff.
You can simulate something like that using lambdas in C#.

Something like

withLock(counter, (num) => {
return num + 1;
});

or in alternative,

withLock(counter, (ref num) => {
num++;
});

If C# allowed for trailing lambdas it could look better.
Madhurima Hotel- Best Marriage Hall in Lucknow
Madhurima Hotel near Gomti Nagar in Lucknow where you can book a marriage hall . It has a spacious banquet with modern facilities that perfectly suits your needs. It’s dedicated staff ensure that your family & friends will never forget. For booking hall visit https://madhurimahotel.com/banquet
It's a reference to the biblical parable of a shrewd/dishonest steward from Luke 16 [1]. It looks a little more like ancient corruption to modern readers, or an admonition to escort disgruntled employees out the door the day they are fired or give notice, rather than maintaining their privileges for two weeks: the guy buys friends on the outside by mismanaging his employer's funds when he realizes that he's going to be fired.

I believe the parent is saying that if Keysight was lazy, shortsighted, or irresponsible with these historical documents, they probably won't treat the design, construction, and your purchase of an expensive oscilloscope with a different attitude. So, ostensibly, buy Tektronix (or, for hackers, buy a Rigol - more value for less money; I love my $900 MSO1074Z-S and the closest Keysight device is a $8000 oscilloscope that doesn't include most of the software decoders you want, and doesn't include the $3000 function generator).

[1] https://www.bible.com/bible/111/LUK.16.niv
Right - a compiler. That's a real-world application isn't it? A compiler can be a pure function - accepting source text as input, and producing machine code as output. Yes more complicated languages do more complicated things, but for several languages you could write a state-of-the-art compiler as a pure function.
[Screencast] Sample Data with Factory Bot and Faker
Facebook seems to listen into conversations for advertising (2016)