skysight-inc/HackerNews huggingface dataset:
> You see, i am arguing from practice and you from theory.

???

My "theory" is being extremely widely used in practice. Take a look at the Intel FDIV bug history and its consequences for example. They've been formally certifying critical parts of the hardware ever since then.

Or take a look at the widely used seL4 kernel: http://ssrg.nicta.com.au/projects/seL4/

> In practice the vast majority of code is NOT written in total languages.

And this is the problem, not recursion or whatever else. Incompetent coders are evil, and you cannot blame any particular technique for any failures. Luckily, in my practice, nobody ever dared to let any graduate larvae to hang anywhere near any kind of mission-critial code. I've heard stories, of course, but never witnessed anything like that myself.

> they decide there's this recursion thing they read about or learned in school.

As I said, people of this degree of cognitive development will screw up anyway, no matter what techniques they use. In a monkey with a hand grenade situation you should not worry too much about a sharp stick this monkey may accidentally pick up.

> the injection of recursion by the wrong people is dangerous

Pretty much everything else they do is equally or more dangerous anyway.

And, getting back to your rant which started this thread - you said that recursion is dangerous and useless. Unconditionally.

Now it turns out that it may be dangerous, but only when used by complete tools and only in heavily mission-critical embedded projects. Quite a distance from what you've said originally. No wonder you've got such a response.
> They should have built a working model of something by now

They built and demonstrated a reduced scale engine for the ESA. If you think it's that easy just to build a spacecraft when you own a machine shop and a sheet metal company then you have a lot of reading ahead of you.
For them he's not a German, he's an Arab.

If he was Hans Wozelweiner or something, they'd think twice before doing anything.
Balancing Based on Utilisation with HAproxy
I assume he was just explaining it badly.
> This movement toward the data base is in its infancy. Even so, it appears that there are now between 1,000 and 2,000 true data base management systems installed worldwide.

Imagine what technology right now exists where the numbers are small, which over the next few decades will be so common place. I would love to be an investor with foresight.
One of the first comments point out that this topic was already covered for example in the following 2011 paper:

http://www.earth-syst-dynam.net/2/37/2011/esd-2-37-2011.html
Blocking distractions is ok, but this is a bit like having yourself locked in a house, without a key. It might make you more focused on work, but what if your house catches on fire?
Sometimes you need to quickly lookup something, ask a question or reach out to someone, and this app will not let you pause it.
Yes, but everyone knows that it won't do that, and anyone who doesn't have brain freeze from the Rust Kool Aid understands that in programming languages, it's never so clear cut.

I realize that Rust was designed to address the issues with existing systems programming languages, but surely it has flaws, tradeoffs and small annoyances, like every other programming language.

I really like Rust and see the value in what they are trying to achieve, but I'm realistic enough that it won't be perfect.
I'd say quite likely. Some people are incredible stupid.

http://awesci.com/the-astonishingly-funny-story-of-mr-mcarth...
Uberpop to be banned in France
One of the main problems of C++ is that programmers treat it as C with classes because that's what it feels like at the surface. They think they know it because it feels like C and many decide not to learn its patterns and details. From the examples given, it's clear that the author is not very familiar with C++ and is also comparing Rust to C++98 which is not fair. C++11 is almost a new language.
> I never found the metaprogramming/DSL creation to be particularly inspiring

This is only because it's a totally broken thing in Ruby. Try a proper metalanguage instead, you'll see a huge difference.
I still can't figure out whether Pinboard is insane or genius for pricing it at ~$10/lifetime (or in this case $11/year). I've paid Dropbox about $480 now, and it's easily that valuable. But the amount of value I've derived from Pinboard is comparable.

The value is "You'll never lose this note, idea, or tool ever again in your entire life. Even if it goes offline, you'll still have a starting point for remembering that-thing-you-saw-years-ago-and-want-again."

There's a certain phenomenon in the gamedev industry that was discovered a few years ago. As you price something near zero, your sales increase more than linearly. You'd think that if you drop the price of a game from $50 to $5, you'd get 10x the sales. But in fact, you end up with much more. I wonder if something similar happens for Pinboard.
These biased bashes against C++ that advertise rust get somewhere between boring and annoying recently.
Yes, Rust has some interesting safety features that prevent some issues that you can run into with C++ (but not all).
And yes, most of us will agree that header files suck and the rust approach here is nicer.
That template error message are also PITA is also well known - but on the other hand templates are different (and more powerful) than generics.

On the other hand there are still a few constructs that I'm using using often enough in C++ that have currently no sane representation in Rust and that are astonishingly never mentioned in these articles:

- Everything that you use the friend keyword for. In Rust there is no way to access private data defined in other file (because that will automatically be another module which is also something I disagree with).

- Most things related to inheritance and interfaces. Composition is not always a better solution and Rusts traits seem still more suited for compile-time polymorphism than to runtime polymorphism. As an example try to find the equivalent of a `shared_ptr<SomeThing> thing(new SomeThing()); shared_ptr<ISomeThing> iface = thing` in Rust. And yes, I want to be able to use both afterwards.

- Enabling concurrency. Some people might disagree but I think Rust is currently mostly good at preventing multithreading issues - but not at providing good and easy ways to enable it. E.g. something like boost asio would be between hard to impossible to implement in Rust because the safety mechanisms disagree with callbacks that mutate state or Future objects (which are similar to callbacks). For some things using low-level primitives like channels (aka queues) and creating new threads might be fine, but there are also enough cases where you would prefer a simple singlethreaded eventloop.

All in all I think there are still enough areas where I think Rust still is (unfortunatly) no real alternative for C++. And as long as that's the case I think writing such biased articles isn't fair.
I think I waited about 3 years since first hearing about Pinboard (here on HN no less) until finally making the jump from Delicious.

The bookmarking speed difference is amazing.
Making ARM chips for low/medium end tablets is a cut throat market. Rockchip did well initially but now Allwinner has passed them, and they seem to be in a challenging situation. Just look at Allwinner vs. Rockchip growth. Not to mention Mediatek that will eventually come with integrated cellular (including 4G). So for Rockchip, it may simply be a defensive move: life is too hard and competitive on the ARM side, so try to find a niche in the x86 side. I'm very doubtful it'll work out: the volume is in the low/mid tiers, and the average consumer doesn't care about the CPU architecture. It's just a basic Android tablet, period. I don't see a worthwhile differentiation on Intel side, except the current crazy subsidies but those can't last forever. And this market is not faithful: the chip makers need to provide mostly everything to the ODMs (Mediatek is quite famous there, providing even the production and test process and tooling ready to deploy), and this makes changing chip provider rather easy. There is no loyalty, only a focus on low prices.
No one has mentioned that the author of the piece likes to leave his monitors on 24/7. I often see many monitors in offices left on overnight running a screensaver. Is there a good reason for this, or simply ignorance?
Yes it does. Just don't set it to 'hardcore' mode.

(not affiliated with the app, but I've been using it since it was first featured on HN [https://news.ycombinator.com/item?id=7214760], and have found it to be useful).
DSLs compose much better than anything OOP.

OOP is not nearly a replacement for DSLs. Mind designing, say, an OO parser generator?
"I'm sorry to hear you no longer wish to continue your subscription for <your app>. Could I tempt you to continue at a special reduced rate of only $5/year?"
I'm not sure anyone can do it, sure on a global scale it might seem that way, but the same goes for any other profession. If you hang around in a non tech city you'll see that there are actually a very small amount of competent programmers.

And with most software projects, much like real world engineering, it's less about the fundamentals (language, base logic, etc...) and more about managing and working with highly complex systems.
To those who still don't use the service: use the possibility: sign up in this year, you can use than the service as long as it exists.

Maciej, in case you read here, thanks a lot for a beautiful product. I've already decided to pay you yearly. And not because I want to support you (although I wish people would support more such operations like yours) but because I really find your service useful and inexpensive. I see sillysaurus3 in his comment here also finds a huge value in using Pinboard for the amount paid.

As I already wrote "as long as it exists," Maciej, do you do anything to change the answer to this FAQ entry of yours?

"Q: What happens if the guy who runs Pinboard gets hit by a bus?

A: The bus is likely to be fine. They don't go very fast and are designed with passenger safety in mind."
Why is this interesting or news-worthy?
> Amazon appears to have no trouble at all justifying the massive development effort required for every new back end web service they build, but front end programming API access just isn't valued as much.

Their back end services make them money. Creating a Go API does not.

Makes it hard to justify investing development resources.
Show HN: Abettor – an R package for Betfair's API-NG
You say that, but your dismissive attitude to the solution sounds like you're doing the exact opposite. Do you really honestly think you can solve the problem on your own?
probably if the spell checker owns the keyboard (eg a android keyboard app) and probably not on most desktop ones. and even if it does use that on desktop ones it's probably assuming a layout and missing, giving worse results
This should be standard in every state.

It's unfortunate that many laws have corporate origin and can get picked up by tons of states due to lobbying but ones like this that make a difference don't get that same sort of attention or promotion.
“You start with a random clump of atoms, and if you shine light on it for long enough, it should not be so surprising that you get a computer.” :)
A bit of link chasing lead me to http://petewarden.com/2014/08/07/how-to-optimize-raspberry-p... which opens with this extraordinary sentence:

"When I was at Apple, I spent five years trying to get source-code access to the Nvidia and ATI graphics drivers"

That's at one of the richest development partners in the world. The secrecy is crippling.
Except Java hasn't had them for 20 years and most Java programmers don't even think about how it takes 4 levels of indirection to just read something that would be a struct in C.
That's a very Kerbal way of dealing with things shudders
`urxvt` does not even provide a Tektronix emulation. How can it be anything "old-school" without such an important feature? Seriously, things like gnuplot and PAW look much more authentic with it.
Responsive pricing tables dilemma – Code
Sony Pictures Demands That News Agencies Delete ‘Stolen’ Data
I will gladly pay and in the future keep paying whatever is asked to keep this service running. I get so much value out of pinboard - personally and professionally - that I've felt that I've definitely underpaid relative to value received. I currently have 4,206 articles across 924 tags, accumulated over the past several years. In Nir Eyal's terms, webpages are now a trigger to use the service, which yields pretty high engagement on my end. I basically bookmark with zero friction and effort now. It's led to a more enjoyable web experience.

For various reasons, I find it more useful than all the other bookmark / read it later [1] type services. Between the web bookmarklets and the new iOS extension to archive items directly from the action sheet, it's even more useful.

So tldr ... thank you, Maciej, for a great service.

[1] I do use Evernote and others regularly, but their use cases, when it comes to archiving/bookmarking content, are more niche / specific (although they excel in other areas).
Surprise! It even has the NodeJS rap:

Javascript is the shit
so nodeJS kinda kills it
Armed with my laptop, running NodeJS
Got my callback functions, you know I'm dangerous
Hit that localhost, cruisin on express
if you're using flask, you haven't experienced the best
nodemon is my jam
fixing my mistakes, like my fam
People who hate on JS are so crass,
about to go nodejitsu on their ass
Beside dependent types, bidirectional (~relational) programming is the only thing that amaze me.

Dan Friedman gave talks about [mini]kanren, see https://www.youtube.com/watch?v=5Q9x16uIsKA

I couldn't find the one where he asks (eval exp '()) to be 6 and gets many results such as

6
;; duh

(let ((_ 5))
((lambda (x) (+ x 1)) _))
;; better

Here's an example involving cons cells only https://www.youtube.com/watch?v=kS_2_-E_JjU
I know that planes are mostly automated these days but I wouldn't run a large website with N+0 redundancy, let alone get in a plane with the same resilience. Not sure how I feel about this.
`LOOP` is not a particularly well design macro.

And you don't really have to debug the expanded code (unless you want to). It's perfectly possible to retain the original unexpanded source locations for debugging in a properly designed Lisp.
Jeff Bezos’ Lemonade Stand
A Federal law along these lines would do so much more, but this is an excellent first step. It is also an example of how a realistic solution can be built, with the consent of officers, for the crisis of police accountability currently happening in the US.
Much of what was science fiction a hundred years ago is now a reality.

It's not inconceivable that much of what we consider science fiction today will be a reality in a hundred years time.
In about 10 years we gonna see 1 pilot taking care of 5 planes simultaneously from the ground, just like it is done with drones.
>even if the primary goal (FTL) is impossible

i always curious why we say that when there are right in front of our eyes evidence to the contrary - galaxies moving away with speeds higher than the light speed. FTL is impossible only in SR - ie. in the static continuous space-time - which is only approximation (and not really true) of the real space-time.
Do you think people are more likely to take up arms against the government than to vote? You're a fool if you do.

How do you think you can stage a revolution with a minority of the population behind you, while the powers that be are as well-armed and as eager to use violence as they are in the US?

You've got a better chance of voting both parties out of office with a minority vote, and fixing the broken system that people are so disenchanted with.

Your mistake is that you believe that the options they're giving you are the only ones. You can make a third option. If you can get enough people behind you to stage a credible revolution, you can easily get enough people to vote for your third option.

It's totally true that the US electoral system is broken and corrupt and doesn't do justice to the vote of the people, but it's not yet to the point that the vote doesn't matter at all. People do still need to vote, and alternatives to the two ruling parties are still legal. You can take advantage of that to stage a much more peaceful revolution through the ballot box.
Amazonica (https://github.com/mcohen01/amazonica) for Clojure automatically generates a client based on the AWS Java API
Rust allows you to not handle all possible inputs (but you must be explicit about it). If you look at the page again, you'll see "_ => 3", which is the rust version of a default case. This means that rust can tell if you if you forgot to handle a certain case.

As for the other things you list, I'd mark these more as "short-cuts", than features. It may take more effort to create code without them, but it gives parsing and code-readability improvements. Obviously the rust devs have made their decision here.
Correct. But this is just the first stage bootloader; the GPU boot ROM loads a second stage loader from the SD card, which then loads the kernel and launches the ARM straight into it. None of this is encrypted or signed as is usual on Android devices.

http://raspberrypi.stackexchange.com/questions/10489/how-doe...
Can someone give me some hints about pinboard's advantages over, lets say, delicious?

I know people love it over here but from what I've read it seems to be more about the openness of the creator that the product itself.
Rust looks really promising. Unfortunately, the tooling just isn't there yet, it seems. Release a working plug-in for YouCompleteMe and I will switch overnight ☺
Interesting!

I only have experience with Smalltalk (VisualWorks back then).

The Lisp and Mesa/Cedar environments is only due to my archeologist work from programming languages and environments.
EVERY EPISODE OF EVERY 'STAR TREK' SERIES EVER, RANKED
Compilation-wise: of course not. As an illustration of what is wrong with the code: yes. auto means you don't have to spell out the complete iterator definition. cbegin\cend is just a matter of const-correctness.
I thought it was done to legitimise crew requirement - just so one could say "No, the shuttle cannot fly without humans on board" Nasa was threatened by expendable launchers from military and there were fears it would put human space launches on hold
> They have no understanding for the inherent and insurmountable limitations of science.

Suppose that science can never explain consciousness. Can you (or anyone) explain why science can never explain consciousness?

If not, in what sense do you claim to understand the limitations of science? It sounds to me like you're just assuming that these are the limitations.

(We know a lot about the limitations of science. Science can't produce a rocket that goes faster than light, for example. Currently we don't know enough about consciousness to know what the limitations of science are with respect to it.)
I like the idea of wicd, but it has given me a lot of pain when in less-than-stable WiFi environments. It also doesn't (or didn't, at least) support multiple simultaneous connections, like wired + wireless, which are occasionally useful.
When gas is compressed, it heats up. Moving rapidly through the air compresses the air in front, so it heats up.

It's as simple as that.

The ionization has nothing to do with it, though that probably reduces the heat slightly as it takes energy to ionize a gas.
Birdsong and human speech turn out to be controlled by the same genes
I have one friend in his late 60's who just bought a new motorcycle. His wife was displeased with his decision though might be tempted to ride along sometimes. Another friend decided to stop riding a few years back because he felt it was too risky for him to continue.

Point is with motorcycles, cars, scuba, yes, even horses, the risks are more or less known and probability of various outcomes, including harm, can be reasoned about.

With drugs the estimation of probable outcomes is orders of magnitude more difficult to compute. To say it again, all drugs have numerous effects which vary greatly among recipients, and even for established agents most drug effects have received little or no study. However we do have a systematic track record of the AEs encountered, and after millions of cases we have a pretty good idea of how to use the agent safely.

Legal status notwithstanding, a drug with potent enough effects to be interesting is asymptotically guaranteed to have adverse effects in some members of the population of potential users. It means effects of a new and arcane product are no more than a total crap shoot.

Since even low frequencies of AEs may disqualify a drug as "safe", regulatory bodies require testing sufficiently large number of subjects under tightly controlled conditions to show evidence that it's safe enough to justify its proposed uses.

Without such study it is impossible to evaluate the use of an unvetted drug in the same way as riding a motorcycle. The information about benefits and risks is just not known. There is simply no basis for making a rational decision.

As a clinician and scientist questions of prohibition are largely beside the point. People will continue to do stupid things laws aside. However, laws/rules exist as a benchmark, and optimally serve as a statement of our communal ethical stance. Not that it's going to stop people who are determined to use a prohibited drug anyway, but maybe it supports restraint in some people who are "on the edge".

In respect to designer drugs, I'm very reluctant to say let's have no regulations at all, that anything goes, because logically lack of safety data leaves us to assume the risk of harm is significant. The burden of proof ought to be on the shoulders of those who assert use of the drugs is just harmless diversion.
Python IS dynamically typed. You seem to be confusing the fact that it's strongly typed with statically typed languages.

https://wiki.python.org/moin/Why%20is%20Python%20a%20dynamic...
I started using Delicious, and then Yahoo completely changed the service. Utterly. It broke a bunch of features.

Switched to Pinboard and never looked back. And it's stayed just as rock-solid as it was on day one.

Also, if you're using Delicious to archive some personal bookmarks, I trust those to be on Maciej's servers more than Yahoo servers. I don't know what kind of privacy settings Delicious has, but even if it's as painless as Pinboard's, I wouldn't really trust it.

In particular, all of your bookmarks will certainly be analyzed on Yahoo servers. Whereas I trust Maciej not to perform experiments on random people's bookmarks.
I like Pinboard.in, but hate the gushing fanboy-ism on Hacker News. It's almost embarrassing to read.

There are many other good bookmarking services. Pinboard is one of them. Stop treating it like its a religion.
French cabs to block Paris roads in Uber taxi war
The 'Pig Radar' – The Wife Disposal Service
London-based startup carwow raises £4.6M Series A
Indiegogo’s Humble Roots
No. When you can read a book, it doesn't mean you have rights to distribute its text or create derivative work.

"What happens if I don't choose a license?

…Generally speaking, the absence of a license means that the default copyright laws apply. This means that you retain all rights to your source code and that nobody else may reproduce, distribute, or create derivative works from your work."

https://help.github.com/articles/open-source-licensing/