skysight-inc/HackerNews huggingface dataset:
The book just came out yesterday (March 31, 2017) too. It was a great idea to time it with the release of 1.0:

https://www.amazon.com/Type-driven-Development-Idris-Edwin-B...

I'd love to see another Haskell-esque language get mainstream adoption. Especially one pushing programming in a new direction.

I love types, I just haven't had the chance to use Haskell in anything but toy applications, the learning curve was very steep but so far rewarding, and led me to miss it in when using the type system hacked onto Erlang/Elixir which is (obviously) lacking as a result. Although still a step forward over other languages. Looking forward to trying out Idris.

Edit: just noticed there's no Kindle version (yet?), that's too bad :(. Maybe MEAP has a licensing deal to exclusively sell the digital versions?
Show HN: Pixie is a toy 16-bit register VM
If you think that the blog's point was to openly discuss the arbitrarity of certain definitions, then you have read another blog than I did. Given the blog's obvious agenda, I find it a bit disingenious to summarize it like you do.

The new definition of 'planet' is meant to capture the set of bodies that are the most significant, dominant or prominent bodies in the Solar System. And under the current definition, this is captured perfectly, and will work well in the Solar System for the next billion years at least. While I agree that the definition is not perfect and ultimately arbitrary, our categorization of things should be helpful. Given their vastly different influence on the Solar System, a categorization in which Venus and Jupiter are distinct from Sedna and Ceres is more helpful than one in which they are the same, in my opinion.
There's actually plenty of research on the relationship between self-talk and performance in a variety of domains.

https://scholar.google.com/scholar?q=self-talk+performance&b...
Re: https://www.nytimes.com/projects/2020-report/

A Subscription based model makes sense. You cater the content to your users. I found that link on NYT fascinating. I'd like to share my findings. In particular, I wanted to see if NYT holds up to its statement of "The New York Times is an Equal Opportunity Employer and does not discriminate on the basis of an individual's sex, age, race, color, ...".

Here are my results of searching for terms In the NYT article:

"male": 1, negative connotation (male voice distances readers). What is a male voice in written text?

"Female": 2. 1 reference to victims, the other that they will focus to hire more women. This fails the equal opportunity clause as it emphasises intent.

"Integrity", "Honest", "Truth", "true", "Fact", "fake": 0 relevant references

Their page on gender was specifically geared towards representation of one sex, especially in the use of emotive/manipulative terms like "women ruled the Olympics".

https://www.nytimes.com/interactive/2016/jobs/nyt-gender-edi...

So, the NYT is still sexist, avoids talking about honesty, integrity, truth. They give a long talk about populism (catering to readers' preferences) and I agree with catering. However, you can maintain integrity and honesty and give people what they want. Sadly, the NYT does not appear capable (or willing) to rise above that, in spite of a lengthy and well written (but flawed and quite sexist) piece.

In that article, the NYT had 2 sections on diversity. The second section was actually very well written by modern standards. It talked about diversity of skills (not just journalists, leaders with graphical presentation skills, etc). The emphasis (second time) was on skills rather than biology.

The way I read this article is that NYT will not become the media outlet that is needed. They will cater to focus groups (as they said they would), rather than representing "people". They will use divisive language like the Olympics comment above (check out that whole page, it's quite biased). "Whole Truth" and integrity will come second to populism.

NYT also said they want to supplement words with pictures. This is an excellent method to convey an idea without saying it (eg. Pick a term like doctor, teacher, domestic violence, etc and look what the images convey in a Google search).

I'm not sold in the new NYT. If I find a media outlet that is not prejudiced, tells the whole truth, acts with integrity and covers interesting topics, I'll pay to subscribe. I am inspired to hear more people say this recently.
Mona Lisa on r/place
Cavs open first-of-kind room for sensory-sensitive
None of these are things that directly lead to firing (aside: deadlines shouldn't just be handed down to developers, and deadlines shouldn't be so rigid there's no room for mistakes), of course you try to mentor and provide guidance to correct. But these traits are regrettable in a hire because in my experience these are the most difficult to deal with or correct even over a long period of trying.
Rover and DogVacay merge to dominate the pet-sitting market
There is no such thing as too long to fail?
Cold symptoms feel worse when people feel lonely
Earth is a ‘dwarf planet’ because taxonomists are better at making useless headlines than doing actual work.
Unfortunately, this scales after drawing. The entire point of hiDPI is to have a crisper image. To achieve that, the scaling must be done at the drawing level.
Here's the research paper http://psycnet.apa.org/?&fa=main.doiLanding&doi=10.1037/hea0...
Can't upvote this enough.

> There are things I do not like about Clojure, but so far I > haven't found anything even remotely comparable in terms > of real-world productivity. So I'm sticking with what > works really well, at least until something better comes > along.

This is exactly my take on it. I find myself thinking about Clojure adoption more and more these days, and where is the disconnect in all this.

I wonder if the idea of clojure both scares away "normal" programmers who are really just focused on using languages in their professional lives and want a simple, focused productive experience, and instead bring in more academic/experimental/recreational programmers who then actually dislike the fact it's made choices to promote use in the real-world.

Super fascinating stuff!
I am curious why they were advised not to use Go. Probably not a safety concern.

Edit: cgo != Go. Thanks for the responses. I have done a bit of Go, but just pure Go.
My suggested alternative is prioritizing problems appropriately. This "Open Philantropy Project" is a guy taking money that used to be for curing malaria (and I respect what he used to do on that front!) and giving it to his roommate.

You can do better solving a terrible problem that does exist than solving a sci-fi problem that doesn't exist.

I know it's usually uncouth to compare different charities like this, but that's exactly what Effective Altruism was supposed to be about, and this cause directly competes with curing malaria.

If more than zero AGI technology starts existing, we can re-prioritize. It makes no sense for a field to go from not existing to superhuman performance without anyone noticing.
Agreed. But certainly, I wish the US would call out China's abuses in the Human Rights Council, and equally (or more) I wish for China to call out the US's abuses. If we (moral US citizens) can't effect morality of the (immoral) US state, perhaps the (moral) Chinese citizens can do so through the (immoral) Chinese state, and vice-versa.
You've gone into flamewar and incivility in this thread. That's an abuse of HN and not allowed here. Other people broke the site guidelines too, but that's no reason to respond in kind and certainly not to keep perpetuating a tedious spat. We ban accounts that do these things, so please fix this. Specifically, please eliminate name-calling and incivility from your comments and if you can't post thoughtfully, don't post until you can.

https://news.ycombinator.com/newsguidelines.html

https://news.ycombinator.com/newswelcome.html
Dance battle side by side challenge very funny
> What is the F-35's rate of return?

Reelection of politicians in areas with military industry, of course.

That's also the reason why the Airbus plane parts are built, shipped around all over Europe before final assembly - in order to provide funding to EADS/Airbus, European politicians wanted to secure jobs for their specific countries, even if this adds significant logistic and cost challenges.

Even science suffers from this "localism"... just look at ITER.

Summarized: No one will dare to cancel or significantly reduce any major weapons/science/collaborative project, because any politician who votes for "shut down a program that employs people in my voter area" will face the consequence of not being reelected.
They were advised against cgo. In my not so recent experience, it is a huge PITA.
It would be interesting to know how such a panic-inducing bug makes it passed Rust's much vaunted borrow-checker and other correctness validations. Or does the regex library include "unsafe" code blocks?
Phrack has been taken down
(So is this April Fools or not?)
You cannot be charged for hacking something you own under any existing hacking law. In that case it would be an authorized access, so there is no crime.
Porsche 918 Going Against the Fastest Street Production Car
The biggest issue with Wayland is video drivers. Try getting Wayland to work with any proprietary blob, and see your efforts fail miserably.
This is true. The Java GC (and the whole VM) is one of thr most impressive pieces of software in existence. There are several GCs available, they're tunable, and they support monitoring better than any other I've seen.

No GC I know is happy without a heap several times larger than the program's requirements.

OTOH, Java programs tend to be built using frameworks that soak up memory like crazy. So there's that.
I don't know much about Tor. But I hope I can route all of my home network traffic through it. That or route everything through VPN. I'll bet you can guess why I'm suddenly interested.
It's hard-coded at the moment. I just measured the height of each piece and stored the values.
Didn't try that yet. But that would only work for microscopic node js libraries. I mean when someone asks you: "are you proficient with SuperAwesome ORM XYZ?" Apart from the fact that the person on the phone probably won't even know what an ORM is, it's not possible to learn an API by heart in 5 minutes. ;) (I doubt it's desirable but that's another thing.)

I understand the desire of people wanting to have competent hires who get up to speed quickly. But that is just going in the completely wrong direction and likely costing such companies tons of money because they need to search longer/spend more on a dev.
Except for the cache hit.
Postgres monitoring
When I read safer language, 'Rust' came into mind automatically.. Not sure if 'Rust' will ever be as popular as golang but certainly see a future with it popping up everywhere mission critical / super safe software is required.
USA Gov anti-protest bills Undemocratic,Alarming trend against Free Speech
Liability? Would he take legal action against himself for exceeding authorization against himself?
It took me forever to realize this was an April Fools joke (or so I think). Even the adversarial spam made me think "idk why you would do it but that is interesting". Maybe my bias to trust most things from certain sources. :)
There are wrong ways to offer anonymity:

https://www.reddit.com/r/dredmorbius/comments/500ysb/the_imz...
Indeed, it could've been spent on much better weapon systems, but I get a feeling it is not something most people here would approve of. Based on the replies to on your comment, most people would disapprove of this even if was the best weapon system, since they seem to disapprove of national defense.
My argument is as follows. You're right, and I'm appealing to a stronger Wolfram-esque version of Rice, together with the fact that humans readily throw non-essential goals under the bus in pursuit of speed.

* Building AI is a race against time, and in such races, victory is most easily achieved by those who can cut the most corners while still successfully producing the product.

* As a route to general AI, a neural architecture seems plausible. (Not at the current state-of-the-art, of course.)

* Neural networks (as they currently stand) are famously extremely hard to analyse: certainly we have no good reason to believe they're more easily analysed than a random arbitrary program.

* A team which is racing to make a neural-architecture AI has little incentive to even try to make their AI easy to analyse. Either it does the job or it doesn't. (Witness the current attempts to produce self-driving cars through deep learning.) Any further effort spent on making an easily-analysable AI is effort which is wasting time that another team is using just to build the damn thing.

* Therefore, absent a heroic effort to the contrary, the first AI will be a program which is as hard as a random arbitrary program to analyse. And, as much as I hate to appeal to Wolfram, he has abundantly shown that random arbitrary programs, even very simply-specified ones, tend to be hard to analyse in practice.

(My argument doesn't actually require a neural architecture of the AI; it's just a proxy for a general unanalyseable thing.)
Go needs a garbage collector that needs to be set up. Using Go code within C code is possible, but it creates additional hurdles.

Therefore a slow transition of rewriting parts of the code in a safer language and having the core still in C is much less feasible with Go. With Rust you can easier just compile some object files and link them into your application.
I like and use Gentoo, but sometime look to Ubuntu, and want (might) to see there:

* no systemd and also relevant init system like or as OpenRC

* USE-flags and ebuild support or something compatible

* source-based features (custom builds from sources)

* improved python support for all mainline versions
Yep, I do it all the time. And that's true whether or not I'm in the company of others. But then again, I also talk to myself while changing brake pads on my car, wiring circuits on breadboards at the hackerspace, cooking, etc.

At least the list doesn't (yet) include "posting on HN".
Just to keep piling on, intellij + cursive is pretty incredible.
I would argue 'Rex' is closer to Avestan (old Persian) Rastar than Sanskrit Rājati. (In shared words between these two Indo-Iranian languages, Sanskrit 'j' typically is 's' in Avestan.)
Right. When I said "easy", I meant "easy relative to producing some ungodly strong magnetic field to do the job".
I'm relatively new to Mongo and I've only used it in C#.

But a few points:

I would only use Mongo as a backing store for a micro service. All access would be through one service that enforced business rules, data integrity, and would be responsible for exposing business objects/aggregate roots.

App servers are a lot cheaper/easier to scale than database servers. By keeping all of the logic in the business tier, it's a lot easier to scale/load balance.
The borrow checker eliminates data races and hard memory errors, such as access violations. Panics are well within the bounds of safety.

From the docs:

Unlike C, Undefined Behavior is pretty limited in scope in Rust. All the core language cares about is preventing the following things:

* Dereferencing null or dangling pointers

* Reading uninitialized memory

* Breaking the pointer aliasing rules

* Producing invalid primitive values:
dangling/null references,
a bool that isn't 0 or 1,
an undefined enum discriminant,
a char outside the ranges [0x0, 0xD7FF] and [0xE000, 0x10FFFF],
A non-utf8 str

* Unwinding into another language

* Causing a data race

<snip>

Rust is otherwise quite permissive with respect to other dubious operations. Rust considers it "safe" to:

* Deadlock

* Have a race condition

* Leak memory

* Fail to call destructors

* Overflow integers

* Abort the program

* Delete the production database

https://doc.rust-lang.org/nomicon/meet-safe-and-unsafe.html
> Though for some reason I use plural pronouns for myself -- we, us etc.

It's just a special case of the inclusive "we". I think here "I" would evoke more of a sense of plurality: it suggests an addressee distinct from the speaker.

I always use the inclusive "we" when talking to myself about a program or writing comments, even when I'm the sole developer.
Kepler's Books in Menlo Park CA used to have a sign that they'd order any book you wanted, except one, "The Anarchists' Cookbook". On the other hand, I've seen copies of the book in the '60s nostalgia section of a bookstore near Ghirardelli Square.

If you want that kind of info today, right-wing "prepper" and gun nut sites will have it. Amazon sells The U.S. Army Improvised Munitions Handbook, TM 31-210. It's not like this info is hard to get any more.
This creates also an opportunity to engage Mozilla into contributing
Based on driving, biking, and walking around Portland on a consistent basis; I'm pretty sure people have straight away forgotten that cars can kill them.

I often hear something like, "I have the right of way!" as a common refrain. So I just assume they'll be self-satisfied getting killed and having their headstone read, "Here lies someone who was technically right."
A Simple Pattern for Jobs and Crons on AWS
A reference to who is suspicious and why is deadly serious.
Amazon launches its own social media influencer program into beta
I realize that I've been doing it naturally (although not all the time) when reading check lists in the cockpit (I'm A-340-330 pilot).
I'll do it more consciously from now on.
BranchByAbstraction
Google Gnome released – a voice-activated assistant for your backyard
Have you ever seen a CPU running a program which is trying to communicate with the outside world through its electron side-channels? As far as I can see, your argument is "no computer has ever done this, and also we understand computers well enough to know that no computer ever will". The first clause is obvious, since no computer has ever been made to do this. The second clause is assuming without proof that we will never make a superintelligent AI. Just because you don't see how to exploit the side-channels of your system, doesn't mean they're unexploitable. This is the lesson of all security research ever.
That's a personal attack, and those are not allowed here. If you have concerns about other users breaking the site guidelines, flag their comments or email hn@ycombinator.com. Breaking the guidelines yourself just makes the site worse for everyone.

We detached this subthread from https://news.ycombinator.com/item?id=14007347 and marked it off-topic.
>lungfishes can live on land without any problems.

this lungfish gif blew my mind when I first saw it

https://i.imgur.com/JKndVbn.gifv
If Earth and Pluto were planets, clearly Gustav Holst would have written movements for them as part of his Planets suite, but he did not.

Ergo, they are not planets.
Do they still have smoking sections on Japanese trains? That's amazing.
This is a far more profound comment than I expected to find. Teaching knowledge is important, but teaching ethics and morals is even more so.
I don't think the principle of charity applies when someone is making foundation grants to benefit their close relatives and roommates. The principle of shenanigans kicks in.
Definitely a possibility, but whatever the reason it drastically affects performance so it's something that needs to be overcome. Also if the company has a strong culture of openness and collaboration, examples of everyone else constantly asking for and receiving help, even the most senior developers, should quickly allay those fears of looking like a fool just for asking for help if you pay attention to what is going on around you at all.
The same can be said about birds. You can say that for an animal to be considered a bird it: a) has to have feathers, b) has to have warm blood, c) cannot have claws on its wings, d) cannot have teeth. But than you find one animals that we can all agree is a bird that has claws on its wings while still a chick (will it grow up to become a bird?).

So you use a new definition. Bird are evolutionary descendant some reptiles had contained feathers and warm blood. This will (mostly) hold out until we discover some extinct groups of reptiles that had feathers and warm blood.

Note though how vague the latter definition is. It has to be. Because we cannot derive at a solid definition of a bird that encapsulates all animals that we can consent on calling a bird.
This bug has nothing to do with memory safety or borrowing. It's just an old fashion logic bug, and the panic prevents any memory unsafety from happening.

This bug was in the regex-syntax crate, which doesn't use any unsafe. The regex crate itself does have two uses of unsafe however (one for eliding bounds checks in the inner DFA loop and another for eliding bounds checks in Teddy).
you can, but it's not really nice, because TOR is relatively slow, it only makes sense for heavily text based sites and not images/video etc.
The best April Fools event this year is reddits drawing canvas. I am already watching it the whole day and it's very interesting to see how the different "groups" interact, e.g. the current "war" between the German and French flag.

You can see a timelapse here: http://spacescience.tech/place/
If you're interpolating and only need 16 bits of precision, you need only a small table. 32 or 64 entries should be enough for sine and cosine.
That's awesome. I remember flipping switching on the front of a BYTE-8 computer to input the boot loader for the paper-tape reader. 8-year-old me would have killed for fewer bytes. I don't recall anything as small as 20 bytes though... it was definitely 40 or 50 bytes.
What it worked on was numerous terminals accessible at many locations on campus. Which were far more viable for creative generative work than a 3-5" smartphone with a soft keyboard, or even a 9" tablet and Bluetooth keyboard (my primary driver of late).

No, not all of today's features were available, but you're dragging goalposts. The basic concepts existed. I used them. They worked. Often better than equivalents today, though not always.
Apart from shells having wacky syntax and semantics, due to shell pipelines being plain text, you spend a lot of time writing flaky mini parsers with stuff like sed/cut/awk/perl one-liners/ to get the data you want.

In an alternative universe it would be nice if all these tools would consume and emit s-exprs. Or maybe I'm just wishing for the return of the Lisp machines, where AFAIK "the shell" was the Lisp REPL (never used one myself so I could be all wrong, of course).

Kids these days would of course use json instead, at least until the serious (tm) enterprise people would swoop in and replace it all with xml and ShellReplFactoryInstanceFactoryFactoryBean.
>disapprove of national defense.

it these programs where actually used for DEFENSE, then I believe most people would not dissapprove of them, but the US has not been on the defensive for a number of decades now.

Of course you can make the claim that programs like this are the reason, however I think would could spend the same amount of every nation on the planet complained and still provide a proper defense, unlike today where we spend 2x or 3x more than every other nation combined.

Money Pits like the F35 are jobs programs not defense programs
The F-35 is right wing welfare.
Clearly Europe has been highly intermingled throughout its history and shares some common roots but that is not what we're talking about here.

We're not talking about alliances (which happen all the time without political union) or trade areas (which the EU originally was) we're talking about supra-national centralised bureaucracy.

Change is inevitable and it's healthy to have multiple self governed states doing things differently from each other and co-operating from time to time.