skysight-inc/HackerNews huggingface dataset:
map() in AbstractCollection will obviously have some default implementation, which will be used by all child classes.
.. and it is based on a type theory known as the Calculus of Constructions (CoC).
”There is a central unstable Lagrange point at the middle of the hole”

So, why would Ringworld (an enormous toroidal planet with a relatively small sun (a sun similar to our sun, which weighs 6E24 kg, Ringworld would weigh 300 times that, at 2E27 kg) at its center) be stable?
> interleaving of tests with production code

> tests without cluttering the production code and excessive mocking

IMHO, tests should be an integral part of production code. In MPWTest[1], tests are typically expressed on the class side of the class under test, in a category called Testing, though it's easy to override that. This solves 2 of my major annoyances with xUnit-style testing: dual class/test hierarchies and (with static typing) the need to add public interface for the tests, which don't have privileged access.

Mocking in particular and stubbing should be eliminated as much as possible, but this is not a programming language issue[2], more a "not making architectural assumptions too early" issue.

[1] https://github.com/mpw/MPWTest

[2] http://blog.metaobject.com/2014/05/why-i-don-mock.html
Let’s Stop Building APIs Around a Network Hack
Have their been any attempts to outlaw regulatory capture?

Rant:

I can think of many more examples that are not on that list, and it seems like a comprehensive list would be extremely exhausting. For example, in Seattle I once needed access to a court hearing record, which Seattle law requires the public have "reasonable" accesse to.

Instead of providing the records in a reasonable format, the audio was recorded in a proprietary, non-open source format called "On the Record." Getting and paying for not just the CD in person, but the player to work required me to boot into Windows, and even then I still encountered bugs that made life unreasonably difficult.

A child could easily record hearings with free software in mp3 format, host them securely on the web, creating a lot of benefit and efficiency to society.

And that is all a good example to bring attention to a second point: when people talk about ideas like income redistribution, jobs, and basic income, they worry about "where will the wealth come from, and who will produce useful value?" But come on, if we comb through the economy like a small business owner would through his company, we'd find already an enormous amount of people who aren't involved in producing anythint useful. Or in this case, something useful, but ridiculously inefficient; and in other cases, things which are detrimental to society. It's not uncommon to see on HN stories of corruption, or even science which missrepresents truth.
Can Robots Help Get More Girls into Science and Tech?
I think Java is oaky-ish. Much more commonly than core Java itself, Java libraries are being criticized for verbosity. All of those satire AbstractSingletonWorkerFactoryImpls come from real world experience. I personally see a lot of design pattern use for the sake of use without considering benefits that would bring. I see Java code happily introduce two line boilerplate to median call just to shave single line from an edge case. Scattered all over the codebase this makes business logic part of application rather verbose.
And for complex numbers?
Thank you eih! ~ Rob
It sounds terrible on paper, but I never saw it as anymore than cartoon-level violence.

Remember those old Tom and Jerry cartoons where Tom was once sawed in half, or blown to smithereens?
Dynamic analysis + machine learning could become next-generation coding: https://maierfelix.github.io/Iroh/
Thank you Vkkan2016! Best to you too, Rob
I think it's just the biggest Erlang framework. BEAM is the runtime.
"...suburban Birmingham in England..."

The last thing I'd call Birmingham is 'suburban'. It's the second largest city in the UK with over 1 million people living there. London of course being the first (~8m people).
Thank you for submitting this Sujan - hope a few HN readers found the break-down of my failures and experiments useful! :)

Rob
I've seen a comparison lately with static vs. dynamic languages and it compared bugs/open issues and there was not really an advantage there IIRC.
Nice write-up of the pain points in Java. Though, aggregating and mapping over (in Java or not) (possibly infinite) streams is not really the same as doing that over containers. In other words, Java8 doesn’t have the ability to flatMap et al. an arbitrary container, unlike Kotlin or Scala.
Password itself is an exception, I agree with you since you don't need the plain value at all, you can get away with comparing hashes. But how about CC data?
Thanks for submitting to HN taphangum - glad you found some value in the article:)
Instagram’s Latest Superzoom Feature Is Another Interesting Tool After Boomerang
wow, so we're against villains now?
Show HN: Restdb.io now supports Swagger API docs for all databases
> You don't have to just learn TS to use TS, you need to learn TS and JS.

I don't understand this. TypeScript is not a different language. It's just JavaScript with some type annotations. If you had never used JavaScript before and learned TypeScript you could immediately write plain JavaScript as well.
This is one of the projects in Udacity Self-Driving Car Nanodegree in term 1. I've done it. It's simple and does not need deep learning. But if you want to go fancy, you can use image segmentation. http://blog.qure.ai/notes/semantic-segmentation-deep-learnin...
The other one is also open source (maybe a bit less). However Linux should be a bit less exploit-ridden
One thing I am amused is the behemoth support by Microsoft Research. Why is it still dormant?
https://www.microsoft.com/en-us/research/project/the-f-proje...
https://en.wikipedia.org/wiki/F*_(programming_language)
I was comparing various encoding methods for a project not long ago, and one of the most informative was this article:

Evaluation of Location Encoding Systems (https://github.com/google/open-location-code/wiki/Evaluation...)
Which to me is the main story. Document scanners are really fast nowadays, they could have lined up a few of them, hired some temp worker, and it could possibly have taken them just a week to scan the whole thing with a modest budget.

We should really do that with any paper archives and books that matter. The physical document usually doesn't have much value, outside of some really ancient documents. The content has. Digitizing also makes it more accessible and searchable.

Countries must be sitting on massive archives of paper documents.
Doesn't `react-svg-loader`[0] do the same?

[0] https://github.com/boopathi/react-svg-loader
OCaml is as "industrial" as Haskell is.
Alan Cox: Some slightly unexpected Fuzix progress this week
Not true. Anaconda/miniconda also provide a convenient way for package control which include binary packages and source code packages

For me, condo is good solution to install necessary dependences with little pain.
Interview: Steven Kaufman from ValiusWP
One difference with Coq is that in Coq everything is constructive. A proof of a precondition is an object and has to be constructed in F* you could use classical logic, things are proven by a solver.
(I might be wrong.)
A quick Google didn't supply any supporting evidence. Do you know of a reference?
If I understand correctly to make it more auditable. Still: tool-chain remains prebuilt and trusting trust issues. More auditable is better than less auditable.
Well sure, but I wasn't talking about them. I was replying to someone who wrote

> in a way apt and yum are package manager for c++
Indeed. I doubt they would go down due to this. They'd receive some negative attention. They'll make some sweet PR statements and hop, they're back in business.
If the task is to show everyone their own steepness, then isotheric languages ​​are a good choice. Isn't it? If people did not confuse causes and consequences, it would be more boring to live without sacred wars. It is not correct to call a language bad. But it is correct to call a language not suitable for a specific task.

In fact, the flame wars can also be useful as an advertisement.
> Pyongyang kept its substantial MD 500 fleet under wraps for decades,

Well only to the extent that NK keeps everything under wraps. Their possession of the MD500s was well-known by the mid-1980s and South Korean authorities used to order snap-groundings of the type. Any still flying were treated 'robustly'.
A nice project using F* is the project Everest: https://project-everest.github.io . They implement HTTPS and all of its crypto, completely verified.
I wish someone would actually write about how ridiculous these clames are in a way that non-technical people would be able to understand. There's so much bias, conjecture and downright false proof.
I recall that there were lots of special-use Linux distributions which include specified packages.
Not an isolated incident.

I had this exchange with him: https://news.ycombinator.com/item?id=15511570
Indian Govt. currently owns 0.0041 % of total land in India
That could easily have been a random ad, combined with something like the Baader-Meinhof phenomenon.

To be a scientific test it needs a list of products, and then randomly assign half into a study group and half in to a control group. Then talk all the time about stuff in the study group but not the control group. And see if there is a statistically significant difference between the ads shown for products in the study group vs the control group.
> * unsigned ints. Even Java's 8 bit byte is signed??!

> * operator overloading, mostly for math like matrices,
vectors, complex numbers

> * ability to write a "swap" function (pass by reference)

These were in from the beginning

> * containers of primitives

Generics (in the proper sense, not the Java sense) came in C# 2.0/.NET 2.0 in 2006.
With those you can make a List<T> and have it backed by an array of primitives that is consecutive in memory. That is, if you make a List<int> it's not a list of some boxed Integer type.

> * compiler that turns readable code into good assembly (no verbose code needed due to simpler

A bit subjective, but I'll argue that the JIT is getting better and is still nowhere near as good as an ahead-of-time compiler that can spend time optimizing the code. The JIT has to be FAST first and foremost since it produces its assembly WHILE the code is already running.

> * destructors that reliably do something at end of scope

There are no destructors and the only deterministic destruction is disposal (via IDisposable). Objects are not freed at that point however. You only use it to free resources, such as deterministically closing a file. The managed object representing the file will sit in memory until the next GC.

The very bleeding edge version of C# yet to be finished will contain a lot more low level C++ like features which will make it more ergonommical to use stack memory (Google "Span<T>"). That will approach some of the C++ use cases.

> no need to write typename twice to create an object

Locals can be implicitly typed. So

var pet = new Dog();

Is an allowed statement inside a method. This came in C#3 in 2007.
Aren't they talking about the suburbs of Birmingham, not describing Birmingham as entirely suburban?
> You can design very powerful systems with complicated behavior with minimal coupling.

It may well be that core.typed and clojure.spec get at least 80% of the benefits of Haskell's type system with no more than 20% of the cost, but in that case Clojurists need to spend their time explaining how rather than railing on Haskell's good parts. (Haskell has plenty of bad parts. The type system is not one of them!)
> "I'm just not sure how we should address those issues"

Neither is anyone else imo but I do think a good starting point might be creating actual awareness about said issues. And I don't mean issuing out public memos - which, imo, has been the approach so far. It might be better to use standard commercial/marketing tactics toward a different goal, i.e raising awareness. Create fud about privacy. Sure, it'll involve a bit of ingenuity and disingenuousness but the awareness will get raised. Make up lifelike examples and have them worked into the stories in popular sitcoms/movies. No guarantees it'll work, but I do believe it'll work better than simple blogs and informational videos, which imo might be too dull and dry for the average user.
That's kind of you to say. Your story probably touches on a reality that myself and likely many others aren't really thinking about or taking seriously enough. In my—albeit very limited—experience talking to codecamp graduates, my impression is that the specific skills are taught for the React+Node stack, adding to the talent pool, but then the knowledge doesn't go very deep. I don't know how well those programs prepare people for generalized problem solving on the web. Reminds me of when some of my friends only learned jQuery. Granted, I probably wouldn't expect that from a focussed program either. What skills did you end up selecting for and how have those hires turned out?
Modder Hacks RetroPie System So He Can Connect Every Controller He Owns
Yeah this comment stuck out to me in the presentation. Industry has a great record of creating + supporting languages. C#, F#, Dart, Swift, Rust, D are all languages that are actively supported by industry, and some were even created by industry too. Just seemed like a weird statement for the slides to say that new languages just aren’t going to appear.
Doesn't Ada have something like this?
https://en.wikipedia.org/wiki/Ringworld#Errors
Transforming Healthcare through Interoperability
Many people here may have missed something. From the link in the article, Facebook does listen using your microphone. They say so themselves, they say that you have to give the app permission, and that it's used to listen to say a background music or TV show. they also deny using it to target ads, but they say they do use it for other things.

now, I also remember them writing that they only listen when the app is open and a status is being written, but I'm not sure about that statement. Anyhow, the key thing is that Facebook does overtly and publicly use your microphone with its app.
How to Get What You Want from a Deal
Science and math are a repeating story of civilization-level of knowledge reaching a threshold at which some breakthroughs become easy to figure out, followed by a bunch of smart people making those breakthroughs simultaneously.

I.e. the famous scientists were not that smart - they were just the smartest and therefore first to react to the waterline of knowledge in their domain rising high enough.
Those "major organizations", with the exception of Google and Apple, aren't spearheading language design.

Their point of view has no impact on the evolution of language paradigms, and if you told them they could save money on QA and increase the reliability of their product for virtually no overhead with new paradigms, I don't see why many people would reject the idea.
>Really, I don't see why Facebook wouldn't monitor audio like this for targeting ads.

Because they'd get hit by huge lawsuits and fines from governments all over the world. Europe is especially hungry to fine US companies for privacy issues.

Also it would be terrible for their reputation. Hordes of people would uninstall the app, and even delete their accounts. I would for sure.
This kind of reminds me of hateoas. [1]

[1] https://spring.io/understanding/HATEOAS
So this is essentially short complete Markov chain with recovery? What is the secret to performance in this probabilistic compressor? Word size alignment and locality?

Is this based on new extended variant of Ross's theorem? (multivariate case)
Show HN: Invisilink – Play the classic four-in-a-row game with invisible blocks
Disrupting Democracy: Vote on Your Birthday
How things are going, I bet those dead-end technologies have a brighter future than F#, specially when I see those Microsoft bashing comments.

If it comes to be, lets see how long F# survives without Microsoft support.
Ola gives auto-rickshaws free wifi while Uber struggles to kickstart them
Buying tbh was pretty cheap, and that was an app from the top of app store. They don't have to do that often. Say they would do that five times a year, that's 500m per year. That's even less than google is paying to other services (mozilla, apple) to include google as default search option (that goes into billions as of now).
Great managers do that when they can no longer cope, or feel the person can do a better job, not when they want to work 4 hours a day.
The original paper (https://arxiv.org/abs/1604.01357) from 2016 goes in to more detail.
You can add the law of excluded middle in Coq like you can in F*, but it would put you at odds with almost all Coq code.
Unfortunately the article skipped over the prototypes, named DSV for 'De Lorean Safety Vehicle'.

Looking around for funding for his sportscar concept he didn't have much success in the fuel-conscious mid-70s until he had the genius idea of promoting it as a safety-first vehicle, emphasising handling and crashworthiness. That was a good enough sales pitch to earn him $500,000 from Allstate Insurance Company who were interested in associating themselves with something safe but exciting. Not a lot of cash but enough to bootstrap De Lorean.

Allstate still own at least one of the DSVs but sadly not on display in the museum at their HQ, though there are a couple of other interesting cars there; a Sears Allstate sedan and the very first car insured by an Allstate policy.
Citation needed.

Is this something you read somewhere, liked how it felt, and are repeating it? Or do you have numbers, and if so show us.
Red Hat CEO Jim Whitehurst Answers Your Questions
Estonian business climate and taxes are attractive, and it's possible to handle the paperwork almost remotely.

But in the end it does not matter. If you live and run your business from country X, then that country is going to treat your business as a local one no matter where it is registered.
Inside Fort Botox, Where a Deadly Toxin Yields a $2.8B Drug
Nix Conference 2017 Live Stream
Or your politicians are just corrupt. You know, it's a different possibility.

How about you fix your democracy and stop blaming everyone else?
That that's how it's pronounced in Australia? I don't know of any specific reference, it's just what I know from being familiar with Australian pronounciation (it's where I was born and live).

BTW, in case there has been some confusion here, since the topic was how things were said, I have been assuming this is what the person I was replying to was talking about, not spelling.
I find it even more frustrating that some mainstream languages accept all the complexity of dependent typing while restricting the benefits by hiding it deep within an ad-hoc construction (C++ and Scala are both guilty of this).
ICOs explained like you are 5yr old
I was assuming the TypeScript/JavaScript scenario, where TypeScript objects are implemented as JavaScript objects and their structure is available at runtime. Of course it does not work if you do not have that reflection capability.
My biggest lesson learned (when I've started building software)
> Most internal code at an organization is trusted,

It is not.

We trust our colleagues not to be malicious, but we generally don't trust them not to make mistakes. Hence defensive programming.
Was the contract award really corrupt? The company is doing work now, claims to have over 300 employees on the ground and doing work and has accrued $20M worth of expenses (supposedly).

If the contract withholds payment until deliverables are met, (and since they apparently haven't paid the $20M in expenses yet that appears to be the case, it wasn't a $300M lump sum payment), then the contract could have been legit, but expensive as emergency services contracts often are. Texas and Florida are still rebuilding after their hurricanes so it's not like there are a lot of power company linesmen looking for work.

Or is it buyers remorse where the government signed the first contract that seemed like it'd get workers on the ground faster, and now they think they overpaid?
https://en.wikipedia.org/wiki/Rust_(fungus)
I do recommend Emacs for when you are not only looking for an editor. A while ago I wrote up why I really enjoy using Emacs: https://elephly.net/posts/2016-02-14-ilovefs-emacs.html
I disagree with a few of your thoughts, but they're good thoughts!

* Javascript everywhere is a function of low barrier-to-entry for it, but almost everybody agrees it is flawed as a language. If that's the future, we are screwed as an industry. One thing I've noticed (and I say this as a guy who wrote Ruby for 10+ years), is that type safety is becoming a hugely desired feature for developers again.

* WYSIWYG web design (a la Dreamweaver) died off a little because the tools saw a web page as standing in isolation. We know however that isn't interesting on its own - it needs to be hooked up to back-end functionality. Who is producing static HTML alone these days? In the case of SPAs it needs API integration. In the case of traditional web app dev, it needs some inlining and hooks to form submission points and programatically generated links to other "pages". Making that easier is the hard part - seeing a web document as an artefact of an output from a running web application container.

* Multi-threaded, event-driven, coroutine-type patterns are fine in Go, to my eye. What's making you think we can't mix this up with the right type of language and tooling support?

* Is it that we can't code well for CPU counts > 100 or that the types of problems we're looking at right now that need that level of parallelism tend to be targeted towards GPUs or even ASICs? I think I'd need to see the kind of problems you're trying to solve, because I'm not sure high CPU counts are the right answer.

* Talking to GPU-type engines is actually pretty simple, we will deal with it the same way we deal with CPU-type engines: abstraction through a compiler. Compilers over time will learn how to talk GPU optimally. GPU portability over the next 20 years will be a problem to solve as CPU/architecture portability was over the last 40.
The most unaffordable housing markets in North America
The last time I saw them with any regularity they were mostly spam and guild/clan pages.
F* is more geared towards writing verified but otherwise general purpose code directly. Coq is first and foremost a proof assistant, though there are a number of tools that can help you wed it to other programming languages.
Please change the title to something more descriptive and less click-baity.

Also, the original paper is worth a read: https://arxiv.org/abs/1604.01357
What are your thoughts about Grammatical Evolution? It cleverly uses BNF to constrain the possibilities to legitimate ones.
People seem to love BuckleScript, so it must be possible to do this kind of thing right.
This thread has inspired me to un-clutter my mind. The first step I took was to stop taking the phone with me to the bathroom. It may sound preposterous, but I genuinely had a feeling of fright over missing something.

Next step is separating my incoming channels from my outgoing by replacing my iPhone with a dumb-phone + iPad. That way, I can always be available if kindergarten calls, but still retain the ability to use useful digital services (e-signing, maps).
PostWill – gem for posting to the most popular social media
I take it you've never had that weight of expectation? If it were so trivial everyone would be a billionaire. Deciding what to do and what not to do is no easy task.
At the same time, hundreds were killed in road accidents. Why care about mere property? And that's only Americans. I don't think humans are well equipped to apply our feelings of caring to strangers we hear about on the news because there are far too many of them. We'd be reduced to blithering wrecks if we actually cared about all suffering.
How you can deploy an existing Salesforce project to a new sandbox
Vietnam Bitcoin Ban Fake News Spread by Bitcoin Media