skysight-inc/HackerNews huggingface dataset:
The only place when you really need semicolons Kotlin are the enum constants, everything else can be considered "strictly no semicolons", so pretty consistent.
Maybe they're looking to improve the developer experience? Seems like f# took a long time before entering the spotlight as well.
This is a very useful project.

Something similar (even if it's not exactly the intended functionality) that already exist is the Kaggle image:

https://github.com/Kaggle/docker-python
As a company director since the age of 15 I’ve had my personal address publicly listed for quite a while now.

Prior to that there were phone books and whilst you could choose to be delisted clearly a lot of people didn’t since the books were so thick!

I thoroughly agree that privacy is important but I don’t think people ever really minded very much or if they did not enough to do something about it like lobby for laws to ensure personal addresses are not disclosed publicly.
literally :)

EDIT: Oh, the hard earned karma is leaving me. :) I apologize for the irony!

In a nicer way: if you're interested in type theory then javascript is not the language to look at. I'm not even sure if typescript helps here, since the typing mechanism is fairly simple (and I don't mean it's not useful -- just not very advanced).
See http://whoishiring.io

or 'whorishironing' as it is known in these parts.
F# website its also hard to find an example of the code
Sure you can, you just need to allocate them on the heap and forget about calling delete on them or not properly handle exceptions.

Not everyone is writing C++ as they should.
Re "data classes" example in this article - Common Lisp features I miss most in Java (besides macros):

- multiple return values - basically doing what the author is doing here, without introducing a new class for it,

- destructuring - assigning pieces of composite object into several variables (see e.g. destructuring-bind, or what pattern matching does in many languages).

Basically, I often find myself wanting to write this:

return {listWithResults, someBooleanFlag};

or

return {listWithOneGroup, listWithOtherGroup};

and then use it like this:

List<Foo> matchingResults;
List<Foo> nonMatchingResults;
boolean flag;

{matchingResults, nonMatchingResults, flag} = functionReturningMultipleValues();

or:

Foo first;
Foo third;
List<Foo> rest;
{first, _, third | rest} = someList;

etc.
Not algorically. It is possible, individually, to hide specific stories.

But otherwise, the front page is the front page.
If this is one of his worst, I must read the rest. You are unsatisfied with an essay that is merely of correct reasoning, can you recommend some even better reading material than this?
If only they could have found a vendor selling enterprise grade multi-site data backup solutions. Or a scanner.
Eh, there's still TypeScript and Flow. Myself, I'm a fan of the latter.
Interesting. Can you elaborate more?
Perhaps I don't want to just type-check, but I want to do type-inference as well.
Hire Mean Stack Developers
> Will we just be stuck in a local maxima of Java for next 50 years?

1. Yes, if the extent of the imagination is languages like Idris and ideas like effect systems, that follow a gradient descent from Java, and always in the same direction: being able to express more constraints. What you get "for free" from such languages may not be significant enough to justify the cost of adoption, and the valuable stuff you can get is not much easier than the options available today, which are too hard for anyone to take. If you were to consider truly novel languages that think out of the box (e.g. Dedalus/Eve) then maybe one will stick and make an actual impact rather than just a change in fashion.

2. How do you even know that we can do much better? NASA engineers may not like it, but they don't complain that we're "stuck" at sub-light speeds. Maybe Brooks was right and we are close to the theoretical limit (that we know must exist).

> We talk about languages as a bag of feelings and fuzzy weasel words that amount to “It works for my project”.

Can you find another useful way, available to us today, of talking about languages?

> “Use the right tool for the job” Zero information statement.

That's right, but it's not a dumb cliché so much as it is a tool we've developed to shut down religious/Aristotelian arguments that are themselves devoid of any applicable, actionable data. One, then, is often confronted with the reply, "but would you use assembly/Cobol?" to which the answer is, "of course, and it's not even uncommon, and if you don't know that, then you should learn more about the software industry before giving any more Aristotelian arguments."
I said something slightly different; I claimed the commentor's beliefs were potentially unfalsifiable, and then I characterized those beliefs as "GDP mapping objectively etc to real world value"
I suppose the use case is for when it's not practical or desirable to do the legwork of setting up a full connection, with libraries and everything.

You could imagine a "(web)serverless" web app with Javascript querying the DB directly over REST. Or embedded devices saving telemetry directly in a DB.
Pivotal Tracker announced a new integration – Craft.io
> On questions of perception, like trust, Apple was again stuck in the middle of the pack. Participants trusted Amazon the most, which is not all that surprising given its e-commerce store’s ubiquity and the company’s overall drive to provide more value for lower prices with Prime and other services. Yet participants trusted Apple less than even Google, a company with a primary business model of collecting consumer data for targeting advertisements.

This strikes me as very odd. I'm pretty much the opposite of an Apple fanboy, and against the whole 'golden cage' principle, but if there's one good thing I have to say about the company is that I would trust them way more than I would trust Google.
I don't think that changes the conclusion, you're just moving from discrete to in theory continuous but in practise modellable as discrete.
News flash:  Equifax was warned months in advance of losing all our information
This is indeed an extremely interesting approach.

It was pioneered in the context of logic programming and Prolog by Ehud Shapiro in his 1982 PhD thesis "Algorithmic Program Debugging". The thesis was published as an ACM Distinguished Dissertation by MIT press and is available online from:

http://cpsc.yale.edu/sites/default/files/files/tr237.pdf

Together with Leon Sterling, Ehud Shapiro later wrote a very important introductory Prolog book called "The Art of Prolog".
IBM Watson is the Donald Trump of AI: outlandish claims no credible data
Persistent Red Black Trees in Haskell
"Hard work" was presented as the correct answer for getting hired, not for getting a yacht. Methinks the yachts go to those who hire hard workers.
I have a story about this.

A girl I was seeing years ago was looking for a new apartment. She texted me telling me she found a new apartment on 20th and Gladstone Ave and asked me if I wanted to go with her to see it. Minutes later, I get a Google Now update saying "It would take you 43 minutes to get to 2020 Gladstone Ave if you leave now".

I thought it was cool at first - Google Now was getting really helpful with the driving suggestions. I also thought it was strange that it was for a specific address - I thought that was a glitch, or the nearest address to that intersection, although Google Now has worked with intersections in the past.

I thought Google telling me the time it would take to travel to her apartment showing was impressive enough to actually tell this girl what my phone did. She was not amused and thought that I had hacked her phone. She wanted to know how I knew the exact address of the apartment!

I was curious how this could have been possible since she never texted me the exact address and found out she did look it up on Google Maps. So it's clear how Google had the data but sharing it with me seemed like a huge breach of privacy.

Perhaps the craziest part of all this is that not 5 minutes after telling this girl what Google did, when I went back to take a screenshot of the suggestion - the Google Now card CHANGED to 20th and Gladstone Ave!

I was seriously wondering they were analyzing my conversation afterwards expressing my concern of this breach of privacy and had the "privacy invasion" level turned down a degree.
> "Just not true"

Somehow this kind of phrasing turns several lights bright on my bullshit detector.
Thank you for the link. Interesting, they used the graph resampling and r-tree approaches already in use for certain kinds of machine learning. (Esp. approximate eigenvalue based classifiers)

Very well written too. Unfortunately the approach described only works for dense countable data that is linearly separable (eta spectral clusters, in fact even stronger assumption) - which still makes it quite useful as a database index.
> people would purposefully avoid paying off what they could, pay only the interest (or the minimum amount acceptable to the loan company) and then stick the government with the remainder

Bear in mind that the standard repayment plan is 10 years, and PSLF forgives debt remaining after 10 years. Without a change in repayment plan, there is no benefit to PSLF.

Where the law protects the common good is disallowing graduated payment plans access to PSLF, as it's the only non-standard plan that doesn't factor in income. I donno what Shafer's income is, but his district currently starts licensed teachers with a master's off at 40k[1]. If we assume he accrued 4 years exp while pursuing his Master's, then he's at 45k. But running the numbers, paying back 70k at 8.25 percent interest means a monthly payment of $850, so unless his wife is a doctor, it seems like he'd qualify for some sort of income plan.

Personally, given my modest loan amounts, favorable interest rates, and decent wage I found it difficult to qualify for PSLF without some extreme retirement savings planning -- maxing out both a 403b and a 457b is allowed, but it's rare for folks to have access to both. Deferred income plans like those reduce your AGI, which is what repayment plans are keyed in on. Things that don't reduce AGI include: union dues, mortgage payments, rent, car payments, medical expenses, or dependents.

[1]: http://www.4j.lane.edu/wp-content/uploads/2013/04/2016-17-Li...
Exactly. On the diagram:

OO

you're part of the boundary between two O-s that renders on a cleartype-enabled screen! :).
I really like using Google Slides, and whenever I had a presentation, I would just download in all different formats for PowerPoint, so that I cover the compatibility issues, but I have encountered that the PowerPoint export didn't look the same as the Google Slides one, so I highly recommend check the files before leaving your PC!
Lol what did they expect when they launched that microphone-based feature
Security Alert: Bug Found in GNU Acronym
You can also have integration testing.
Imagine WebComponents finally becoming mature and having a programming environment for RAD on the Web, using toolbox with drop-in components for doing application development.

There are already some attempts at it, for example https://anvil.works/
I was going to say that too, Terence book collection loss is a bleeding wound still now..
I agree with this sentiment. That said, someone is totally going to deploy this.
exactly my thoughts: automation is great, but I miss discussion about what to do with people who lost their jobs. And in the long-term, more and more automation will make more and more people unemployed so social aspect is really important here so if we want to avoid social collapse we need to start talking about it soon.
Most people identify intellectual ability with opinions.
What's the reason for keeping your address a secret? Genuinely curious, as where I live (se) almost all peoples addresses are public information, and it's really practical.
> The difference between us and 1984 is only really one of intent

I'm not convinced intent isn't there; I'm also confused why'd you assume that. As a free software activist, I wonder have you every checked EFF or FSF websites. I'm not saying EFF and FSF are saving the world (no, they are not) but if you browse what they're dealing with, you can easily see the intent is there. It is simply hard to do all these without people thinking intent is not there, which is why nothing is done as explicitly as 1984. For example, Windows 10 has built-in ads, INSIDE operating system, your OS, which you already paid quite a price, forces you see ads; and tracks your behavior "to optimize user experience". People are not worried about this since ads are such an integral part of our lives. But Microsoft perfectly intents to track which websites I visit, what do I eat, what do I like, where would I go. Maybe you can say intention is "different" as in in 1984 they use my personal information to prosecute me, whereas this is not what Microsoft is after. Well, then this brings us to some Foucoult reading. In a world where all my information collected what is the difference between using all my information for a specific cause, when this cause can change just tomorrow. What if NSA asks Microsoft to give bunch of people's data? (we all know this already happened, but it is better practice to ask questions)

I am a programmer, I use my computer all the time, pretty much every single awake moment of mine. I don't want to be watched. But as you said it is depressingly hard to achieve this, since it feels like only 0.1% of the population shares this same desire. Most people are okay being watched, and this is part of the problem.
Different Methods to Reset Your Wireless Adapter
Mate, I'm not even American. I'd seen the quote before on Facebook and was at work so I didn't really have time to google for an attribution. However, please feel free to make that into a bigger deal than it really is.
I have been thinking about that and there is an issue with it; Delphi (and VB) where written in a time when devs paid a lot for software tools. Besides some niches (embedded) that is not really the case anymore. You expect to pay a few $10 at most in total if that. And a lot of people (but that might be the HN/Reddit echo chamber) demand all to be OSS as well they work with. Making 'a modern Delphi' is a lot of work; years of it. And much of that time is not 'fun', it's hard work polishing little parts and having user test groups feedback on it and polishing it some more. The time that you could be Borland seems gone (unfortunately imho) and i'm not sure how you can make the kind of polished tool you are talking about in the current climate. Maybe someone else here has some different views though.
Great points, but I have a question about one of them in particular:

> - Functional is OK. Imperative is OK. Both in the same program are a mess.

What do you mean by that?

My experience is that functional alone is impossible, since the only useful thing a program can do is through state changes; imperative is a-OK, and functional+imperative in the same program is the best way to do things (i.e. well-defined stateful areas surrounded by lots of functional code).
I would love to see programming as a dialogue between user and computer (programmer and compiler). For example:

Compiler would infer the types, and the programmer would read it and say, oh, I agree with this type, but I disagree with this type, that's perhaps wrong, this should be rather that type. Then the compiler would infer types again, based on programmer's incremental input.

Data structure selection. Programmer would say I want a sequence here. The compiler would say, I chose a linked list representation. The programmer would look over it, and disagree, saying, you should put this into an array. And compiler could say, look, based on measurements, array will save this much space but list will be this much faster.

Code understanding. Programmer should be able to say just, I don't know what happens here, and the compiler would include some debug code to show more information at that point.

Or take refactoring. Programmer would write some code, computer would refactor it to simplify it. Then programmer would look over it, and say, no, I rather want this, and don't touch it, and he would perhaps write some other code. The compiler would refactor again...

But all this requires that there is syntactically distinct way (so that perhaps editor could selectively hide it) to specify these remarks in the code, both for computer and programmer. So each of them should have a special kind of markup that would be updated at each turn of the discussion. Because you don't want to just overwrite what the other side has just said; both are good opinions (which complement each other - human understands the purpose of the code but the computer can understand the inner details much better). So, to conclude - I wish future programming language would include some framework like this.
Obviously there is no legitimacy on declaring the independence in an unilateral way considering that the referendum was illegal. What is happening is pure "picaresca española" ;)
How to Configure Bind as an Authoritative-Only DNS Server on Ubuntu 14.04
FB is also okay using data other companies choose not to. Ethics is definitely a factor, too.
Yeah. Other LessWrong posts are usually great. I recommend almost everything at http://slatestarcodex.com, http://ribbonfarm.com, http://meaningness.com and other insight sinks.
>okay. care to give any other info? Usually when someone says I haven't failed in 'some impressive challenge in a long time' it means your challenge wasn't that impressive.

Or they couldn't recognize failure
Why? Why be so elitist and dismissive?
That wasn't how I read it. I think 'the suburbs of Birmingham' would be more grammatically correct... (shrug)
Sounds like a work culture and "top" in your workplace might be not too healthy then.

CEO's should deliver results and help the company grow. If they have issues with him coming to work at 10 am, then the work culture should be adjusted imo for people to understand what it takes for him to deliver results.
Sure, but I would still like to see how I would use this in the context of a browser. How do I interact with existing JS libraries? How would I use it with React or something else? How would I even call window.alert()?
no permission system?
It isn't holding the paradigm back. I do not have time to repeat the examples I often give, but a short analogy might help:

'I think mathematics is being held back because people write cryptic syntax like "xx + 2x + 1 == 0" instead of the easily readable "multiply your unknown by itself, then add twice that very same unknown, and finally add 1 -- the result you get should be zero; that's the constraint satisfied by the very same unknown"; it's a shame'

There is very little difference. The reason it seems like the cryptic syntax is the problem is because that's the first thing you see -- but it's just the top of the iceberg. The problem is that most people don't grok the paradigm regardless of the syntax; and the very few which do grok the paradigm but don't grok the syntax are not enough to get rid of the syntax, which has significant symbiosis with the paradigm (much like Leibniz's differential notation is symbiotic with the ideas, much more so that Newton's "simpler to use" one)
This is MathOverflow, not the Maths stack exchange. 'Relatively basic questions from undergrads and such' are moved to the Mathematics StackExchange. They aren't on topic.
it's more than just a type checker
How I archived eight years of my life with JavaScript – Part 1
I thought it was a joke
Angular 4 vs. React. What to choose in 2017
RFC-31337: Unified Backdoor Protocol Specification
Why is it not feasible?
Individuality is an illusion. We're all one. I plan to make it known.
Why Online Inventory Management System Is Important?
But people only seek to hide what's worth hiding today, which defeats the purpose.
It was a rule of thumb from a drag racing website so it's probably highly biased towards wheels. I think they did mention lightening the flywheel on the engine too, though - although that's best thought of as energy storage, rather than energy loss, since you reclaim the energy in the flywheel at the next gear change.
"Follow NOTHING TO HIDE on facebook" ...sigh

https://nothingtohidedoc.wordpress.com/
Firefox takes a bite out of the canvas ‘super cookie’
>It’s mainly on the backs of graduate students that have no chance of being professors.

In my experience, the people that say this are people that tried to do postgraduate study but either failed there or failed to get a job afterwards because they just aren't good enough.

There are many wildly different jobs you can get with a PhD in Mathematics, from programming jobs to data analysis jobs, from finance jobs to insurance jobs. And yes, the top few can go on to become an academic.

It's ridiculous to expect that even half of successful mathematics PhD students will go on to become academics. If that were the case, mathematicians could only have one or two PhD students in their entire career or the sector would grow unsustainably quickly.
Typescript has grown into way more than just "JavaScript with some type annotations". It's a much bigger superset with lots of language features that JS doesn't have.
Amazing Weight Loss Drinks
There's a healthy market of RAD/lowcode tools similar to Delphi these days. One example is Mendix: https://www.mendix.com/application-platform-as-a-service/

Full visual development, runs on a scala runtime, can be deployed (visually) on cloudfoundry, docker/kubernetes, etc.
Data Explorer: a hidden treasure chest for IT professionals
There are companies trying it though,

https://anvil.works/

https://www.outsystems.com/platform/

JetBrains is probably a good example of a "Borland" like company.

Outside HN/Reddit bubble that are plenty of companies that are willing to pay for software, the supermarket cashier doesn't take pull requests.

Also, the back to native focus on mobile platforms, including Google having to integrate Android apps on ChromeOS, might make it less relevant, given that native IDEs do offer some Delphi like experience.
wrt your first paragraph there, I urge you to take a look at Idris. That's the exact workflow.
I would consider that a bit of a design smell, but yes. I think the danger point has more to do with training new converts: it is very unusual in any language that changing the order of class internals can change its external behavior.
Classic Postmortem: Ensemble Studio's Classic RTS Age of Mythology
Thanks for the heads up, one more for my list. :)
Go for lineageOS.
https://forum.xda-developers.com/oneplus-2/orig-development
TS is not a leaky abstraction; TS is no abstraction at all. It extends JavaScript, not alters or replaces it. As a result, all JS is automatically valid TS.
Analyze web search results and documents with Intellexer Summarizer
> For example in order to use a number as argument of a string manipulation function, there is to convert from one type to the other.

ah yes, the coercion of everything into everything that depends on order of application. best feature ever.

another "gem":

> many thinks like HTML, XML, Networking Protocols, are about strings more than they are about lists

all these things are about a very structured often deeply nested pieces of data. pretty much a direct opposite of the string type.
>Field-expedient disposal in an ongoing military situation, on the other hand:

That doesn't mean that's a good idea. There are large areas in the middle east that are uninhabitable now because of depleted-Uranium shells and blown up chemical weapons.
Check Out the Best Mobile Productivity Apps
Lacelovers?
Addresses can be used for authentication—it routinely is in the UK where I live now.

There are also possible physical safety issues, especially in a country like the US were people seem to have guns and are willing to use them.

I miss Sweden’s transparency and widespread’s trust.
> it's really practical

To what end?

I can't think of a situation when someone might need my address and not being able to get it from me directly.