skysight-inc/HackerNews huggingface dataset:
> this doesn’t sound authoritative

A functional language still uses procedures, even Haskell! To see what I mean, consider the possibility of divergence (infinite loop, `undefined`, `error "foo"`, you name it). It doesn't make sense for a mathematical function to diverge. The difference between, on the one hand, Haskell, ML and Racket, and, on the other hand, JavaScript, Python and Ruby, is that the former group encourages you program with procedures that compute mathematical functions, whereas the latter group does not.

> this doesn’t sound like the right distinction

It doesn't suffice, but it's a precondition. For good or for bad, mathematical functions are mappings from values to values, so you can't talk about computing functions in a language without a rock-solid notion of (possibly compound) value.

> and this doesn’t sound like the right example for (2) [deleted from your original post, but I'm not deleting it from here]

Yes, it's the right example. Haskell and ML prevent you from accidentally distinguishing two extensionally equal functions by not letting you compare procedures in the first place.

> and this doesn’t sound meaningful

These functions ought to be extensionally equal in any mathematically civilized language:

function foo(x,y) { return x + y; }
function bar(x,y) { return x + y; }

But JavaScript lets me distinguish them.
I'm in the humanities and at least in my situation (and that of the people I know who are in similar situations) is that I have no time to do research. I'm paid to teach 5 classes a semester. Last semester I had 5 classes with 3 different topics, one I had never taught before, 3 classes with 24 students each, one with 32, and a lecture with 70. After the first couple weeks of the semester I got zero writing done. So this summer I spent nearly every day working on getting something submitted to a journal (and there's no guarantee it will get published. the paper I spent last summer working on got rejected).

I enjoy teaching but I didn't get my phd so I could spend my entire career doing nothing but teaching entry level courses.

So I need to get a tenure-track job so my teaching load is less and I will be able to teach higher-level courses. But to get a tenure-track job I need to get published. But to get published I need time to write which I don't have because I don't have a tenure-track job...

So I'm giving it one more year before I give up on the career path I've been working towards for over 15 years at this point.
Find What Matters to You and Fight for It
I've always used uint64's for that. Why would you need a distinct type.
> You will need to build a cross compiler toolchain (binutils and GCC). I.e. i686-pc-elf-gcc for 32 bit or x86_64-pc-elf-gcc for 64 bit.

Then a good idea would be to bootstrap it with a build environment on the emulator
Woops, I lost steam a little on that project. How did you find it?
Apprenticeship Learning Using Inverse Reinforcement Learning
If you are truly natty, it would be absurd to call a 400 bench and 585 dead "not terribly impressive".

Btw, crazy gains. You look big in that second pic
Can you provide more details? I haven't heard of this one and hope to educate myself better if it really is possible.
Haskell has its own share of shenanigans. Pragmas being the most blatant one, but also package management, the cumbersome-ness of some libraries, seq, and the number of operators (specifically the functorial ones).
"are we not at a time where you can simply do all of those things and people won't crucify you?"

Are you in the US? I'd say it's pretty clear you can get crucified for stating an unpopular opinion.

"I'd also like to point out colleges aren't the end all be all of R&D."

And they shouldn't be. They should primarily do work that the private sector is not willing to fund.

"I think this is a much more complete answer then what I've been told before, but it's still quite fishy."

There are no doubt advantages and disadvantages of tenure. Whether tenure is a good system is definitely up for debate, but the tradeoff is that some research will not be done and some topics will not be addressed in the classroom. There's little incentive to risk your career by jumping into controversial situations. Perhaps we are willing to move to a different model.
That argument is interesting. I follow the logic, but I am not sure it's correct. To put it simply, my experience tells me that wood burns. I have seen houses that have burned, and barns that have burned, and trees that have burned, and they don't look so good. Do they have a demonstration?

Build a small structure out of the stuff, and light it on fire. Build one out of metal, light it (its interior framing? Carpet? Gas leak? Wood floors?) on fire and compare the results.
Same here. It helps me become more present at every single moment. It prevent me from going on autopilot, and things just "happening" by themselves.
One plan is to require them to share a tower (rather than building two) but it would still be built with private money while still subject to an annual charge to be paid to the local authority. I assume this minimise financial risk to the local authority.
The graph doesn't seem to include Let's Encrypt.
Exquisite OpenDime
That's very true :) You can write custom extensions for Paw, and they can be then shared with the community.

But anyway, there's already a HAR importer, you can install it here as an extension https://paw.cloud/extensions/HARImporter

Also, we're working on a powerful API format transformer that we will release more officially soon, but it's already on GitHub: https://github.com/luckymarmot/api-flow That will allow us to release exporters for Swagger, RAML, HAR soon as well as formats of other clients like Postman and DHC Client.

If you're curious about writing an exporter/generator though here are some steps: https://paw.cloud/docs/extensions/create-code-generator

(Disclaimer, Paw guy here…)
I've always wondered if accelerating technological growth is associated with increased population due to a simple statistical effect: if we assume human ingenuity and intelligence is distributed normally, then with larger populations, humanity gets more right tail geniuses. Which creates more innovation. Which allows more humans to exist on a resource constrained planet. It's a virtuous cycle. If this is true, then what happens to tech growth in the next few decades when global population flattens?
Wikipedia is far from the be-all and end-all source, but at least it is one, so here’s a quote from https://en.wikipedia.org/wiki/Functional_programming: “It is a declarative programming paradigm, which means programming is done with expressions[1] or declarations[2] instead of statements.” I would agree with it that the usual meanings of “procedural language” and “functional language” are not compatible.
Wasn't that the whole takeaway of vietnam? - killing people != winning the war
Heh, yes, I hedged that with what it "would" look like (from a position where the Earth once was). Four to five billion years is a long time.
The article mentions waste water treatment plants, but no sewer system to transport the waste.

Anyone know why?

I've heard people say "too many people", but too many people means a huge labor force that is low cost.

I would think that building a sewer system would be pretty straightforward. Massive countries like China have pretty good wastewater treatment (relatively speaking) in the cities. So do other developing countries.

Why is it such an issue in India?
Oh wow, I printed an older version and have been reading it during my commutes for past few days. So happy that there's a newer version.
Any procedural language, not only functional ones, can be expression-oriented, rather than statement-oriented, e.g., Ruby.

And Prolog programs are literally lists of declarations (of inference rules), yet Prolog isn't a functional language.
I'm afraid I don't know enough about dependent types and PL theory to really explain this well, but bear in mind that you're on page 35. You can use program extraction on a proof itself and yield an executable program. You can use program extraction on anything in Coq, so if you use it as an implementation language you can compile it down to OCaml (or Rust now!) after proving your implementation correct.

I suppose it's possible that there are only some programs and proofs amenable to being written that way, but also suspect that's more due to the human difficulty than anything else.
Focusing on the technical side, yeah that’s not a bad approach. Mind you, my Dad’s PC just seems flakey that often… bloody Windoze. It died recently with an error message that meant basically, “you’re hosed, do a rescue install,” after which I pretty much had to reinstall and configure all the apps. Contemplating that, I decided there is probably an install of Linux in his not too distant future. 90% of what he uses should still work - and he is already using VirtualBox for an old business program that only works on XP, so there is precedent.

UltraVNC Single Click[1] makes a pretty good remote support solution too.

I’m seriously considering buying a chromebook, just so I can play with one and figure out how good it might be as a future replacement PC (I’m thinking mainly for my Mum — mind you, I set her up with Linux over five years ago, and it has run so smoothly ever since…)

[1] http://www.uvnc.com/products/uvnc-sc.html
The context to my comment is AnimalMuppet's hyperbolic reply that pacifism in the face of the enemy would somehow result in the destruction or enslavement of your whole society.

I'm pointing out that if say the French had surrendered to the Germans early in WWI there's no historical evidence that that would have been the case, and likely countless lives would have been saved.

The destruction of the state is not synonymous with the destruction of the people in it. Most wars only seek to abolish state power, not the people that make up those states.
Well iPad - iBooks have a proper PDF support isn't that enough?
This only affects landlines, right? A smartphone tells you who you're connected to.
It is a proper functional language, just not a "pure" functional language.
Thanks for posting that! We've also been a Haskell at scale in production company for a few years at Front Row, great to see others pulling off the same successfully. It's a small community so I'm happy to pool our resources together to make this continuously a better ecosystem to build businesses on.
>“There have been times I've had garbage in my hands and I've had to carry it with me all day, because there are no bins anywhere,” he remembered.

Boo hoo. Tokyo has no public trash cans and it is immaculate. The people there just care about the place they live in and don't burn shit to heat their houses.
Why does the title specifically mean wildcard SSL certificates?
JS runs natively on the web, it embraces multiple paradigms, it has a huge community, and you can get a job in almost any city on earth if you know how to use it. Haskell may be "better" as a language, (just as Esperanto may be superior to English) but if you want the widest range of opportunities in your life and not just in your language, Javascript/English beats Haskell/Esperanto.

Why not help bring some of Haskell's concepts to a more relevant language instead of bemoaning the entirely rational decisions made by millions of junior and senior developers?

Edit: the rabid insularity of the Haskell community definitely doesn't help. The Python community was dissatisfied with JS and created Coffeescript, and as of ES6 now everyone can enjoy the fat arrow syntax. Less pleasantly, the Java community got class syntax added to ES6, but at least they're trying to contribute. I'm sure Haskell has plenty of really cool things to bring to the table, but I've never heard of any of them, because all the Haskell community wants do is talk about how JavaScript sucks instead of embracing the functional side of it.
The pollution there is a nightmare. I spent maybe four days in Delhi and had a cough that followed me for almost a week afterward. Even by Indian standards the place is filthy.
AAAS's community for sci-tech inventors, innovators, entrepreneurs and investors
> larger populations
> more right tail geniuses.
> more innovation

Only in the right environment. That's why the modern scientific contribution of, let's say, Israel, is an order of magnitude larger than Nigeria's despite being 20 times smaller.

I am also dubious about the implied direct link between "geniuses" and innovation. Is scientific innovation really driven by "geniuses"?
I like the default assumed 7% interest
Define proper functional language, as opposed to an improper one
Ha! Yeah, I was at a train station in Jaipur and talking with a security guard who pointed at the metre high piles of garbage between the tracks and said, "They only have one rubbish bin here, so people throw their trash wherever." I'm like, uh, there's a metre high pile of garbage. Maybe carry your shit with you.

In the distance a herd of goats crossed the piles and paused to eat every so often, so I guess there's that.
The Better platform gets around half a million learning actions every week and it has been running for well over a year with no downtime or maintenance. We still don’t know of any bugs.

I'm guessing people use your learning software during weekdays and working hours (5 days and 8 hours/day). That's 3.4QPS. How many machines are you running on?

Also, I'm really shocked to hear you've not encountered any bugs. How many humans are using your systems? A scale is good enough (100s, 1000s, 10000s?).
That is not in any way what I'm proposing.

I'm saying that if you're going to fight a war in Vietnam, you should land the Marines at Haiphong and capture Hanoi, rather than idle away ten years and tens of thousands of American lives on a failed adventure, not to mention the hundreds of thousands of Vietnamese, Laotians, and Cambodians that died along the way.

If you're going to topple the government of a middle eastern country, you need to actually stick out the occupation and build a structure that will stand on it's own, rather than descending into anarchy when you pull out. If you're not willing to invest in that, then perhaps you shouldn't invest in the initial "Shock and Awe" portion of the campaign.

Moreover, 3000 years of history should be enough to convince anyone that invading Afghanistan is a terrible idea, maybe one step down from "launch an invasion of Russia in late summer."
Terrible title for a great blog about proof assistants imo
+1. Great for self awareness and discovery.
I can't believe some of the comments in this thread. Paw is an advanced developer tool with serious functionality for testing APIs, and many of the most upvoted comments are basically just posting links to similar tools, with substantially less functionality, that are free.

How many of these commenters make thousands of dollars every month as professional software engineers? How many make thousands each week? Paw is an extremely high quality, native Mac app, made by a small team trying to provide for their families by building software for other software engineers like all of us. It's a paid tool but it's probably the most sophisticated API testing tool that exists.

I've been a completely satisfied Paw user for over a year. It's been invaluable to me and I use it constantly. It is worth the money. It is more sophisticated with a far better user interface than anything else out there. Use the trial, buy it if you like it, but this pattern of comments saying Check Out Product Z, It's Like Product Y But Free (And Less Good) makes me hate coming to HN.
Urgh why do people have to be so POSIX about things. Here is the content of my /etc/cron.daily/adblock file:

#!/bin/bash

wget -qO- https://raw.githubusercontent.com/StevenBlack/hosts/master/hosts \
| sort -u \
| awk '/^0/ {print;print ":: " $2}' \
> /tmp/ad-hosts

service dnsmasq reload

I know cycles are cheap but that doesn't mean we should be spaffing them up the wall when we can do things cheaper. This avoids double-processing the downloaded content.

dnsmasq config as above.
What makes you think it is more or less abandoned?
It seems to be based on data from 2012, or at least older than 2015. (Blog post presenting it is from 2012, there are certs listed that expired 2014)
Its also interesting to think about how the Eastern Empire plays into this. Certainly it was the richer half.
And the two go hand in hand. :)
Is it worth learning Visual Studio just to write angular2 applications?
Of course, this remind me of the ANSSI fiasco in late 2013 where one of the intermediates was used for MITM. From https://bugzilla.mozilla.org/show_bug.cgi?id=693450#c29 : "I received email from the CA representative that said that the decision to include this root IGC/A 4096 SHA2 is discontinued (reason is the complexity of the operation and the associated costs)."
If you use Google's timestamp type to burn for 250ms, you might end up with 250*86401/86400 ms. That's not a fantastic outcome.
Most of us have to make multiple decisions in our day-to-day lives. Decisions that varies from a range of very important decisions to less important decisions. From what I can recall we have a limited energy pool to make and execute decisions. Decisions that fall under different categories of importance. I've recently had to set up my day wherein, I don't have to make many non-important decisions and have them instead set-up for me automatically. This way I'll have more energy in my decision-making energy pool. This energy can then be used to do more important stuff that I care about. I hope this helps.
The nice thing about infinite loops, `undefined` and `error "foo"` is that nothing can use their result (i.e. nothing happens "after", although that's a tricky concept with lazy evaluation!)

In other words, Haskell doesn't have try/catch for things like `undefined`, so we do have to worry about them occuring, but we don't have to worry about them causing the code to misbehave; it'll either behave or it will stop progressing (either halting or looping infinitely).

On the other hand, the "IO" DSL built in to Haskell can do try/catch; but once you're in IO, all bets are off.
So wouldn't you stick with the original message from A, and just have B sign that? You wouldn't want to have B repack it, because then B has the potential to muck with things.
Awesome video! I can't help but notice how casually they act.
It sounds like we have the same concern. A free-standing steel frame does not readily burn while a wooden frame will. This is obvious.

In a complex building things may not be so simple. Assuming that everything around the structure is great fuel, it's possible that a wooden frame won't significantly increase the speed at which the fire spreads and may actually remain structurally sound longer than a steel supporting structure would. In this case, you might have more time to put out the fire before the building collapses.

Of course, the obvious question is: why not reduce the amount of combustible building material so that fires don't spread so quickly and there's simply not enough fuel to heat a steel support structure to the point of failure? My intuition says that an ideal building shouldn't readily burn to the point that it's structure fails. If part of it catches fire, the fire should burn itself out before this point is reached. I am not an engineer though, and my intuition may very well be wrong. Obviously, fires do happen in glass and steel buildings.

We can build steel-framed buildings that will readily burn to the ground. Can we build wood-framed buildings that won't? This is a complex question to which I don't know the answer.
I don't think I've ever had such a moment. I've never had anything in my life work out so unexpectedly well that this thought would have entered my mind.

I am rarely surprised by the consequences of my decisions... When I am surprised it's usually not in a good way. I guess that makes me an optimist? I'm a cynical optimist.
Israel Proves the Desalination Era Is Here
Oh, I'm not saying Haskell doesn't let you express functions. What I'm saying is that functions are expressed as procedures that compute them.

The nice thing about Haskell is that it distinguishes between procedures that may only compute functions (or diverge), and procedures with arbitrary effects.
It is. Sadly the standard library isn't, but there are great libs. Programming Javascript with lodash/fp or Ramda is great fun, and in some places I prefer it over Clojure.
Yeah, that was an unpleasant surprise when I started plugging in the street map data :D

I'm experimenting with other algorithms and will post some (hopefully) more interesting results soon.
So what would it take for us to get some metal detecting robots and some advanced imagery to map out these fields of death? That sounds like a fantastic side project that would help a ton of people. I'd contribute if someone knows of something in the works.
Epistemical simplicity is one of the things I love about math, but it's hard to extend it wholesale to physics. GR will almost certainly be proved wrong some day, at least in some regime (Einstein was ironically one of the first to feel it needed something more, as an alternative to the inelegant cosmological constant). If GR had been mathematically proven, this would be terrible, as it would prove our mathematics are inconsistent!

As for the existence objective reality, that's another thing that seems hard to prove conclusively. I'd suggest looking at some of the basic epistemology surrounding modern science (e.g. Popper[1]) for some thoughts on this.

As an interesting aside, while it's true that mathematical proofs (idealizing here and assuming incorrect proofs are never accepted by the mathematical community, because they on occasion are) are absolute statements of truth, they may not be stating precisely the truth you expect. Thanks to Godel[2], we know that it is not possible for any consistent mathematical theory rich enough to talk about addition and multiplication of natural numbers to prove it's own consistency. As a result, we may have a proof that 2+2 != 5, but that actually doesn't exclude the possibility that there is a proof of 2+2 = 5. In fact, his result shows we will never be able to prove such a thing does not exist (since it would imply the consistency of our mathematical system). So our absolute truths from proofs of X are actually of the form ZFC implies X, where ZFC is the background theory which is generally taken to underly modern mathematical works unless otherwise specified. So things are not so clear cut even here.

[1]: http://plato.stanford.edu/entries/popper/
[2]: https://en.m.wikipedia.org/wiki/G%C3%B6del%27s_incompletenes...
When I feel sleepy driving, I get off the road and just close my eyes until I start to feel like I'm falling asleep. Then I am good to go.

Studies have shown waste products are removed during sleep by the circulation of cerebrospinal fluid. Perhaps even a short period of cerebrospinal fluid circulation is enough to stave off sleepiness.

http://www.npr.org/sections/health-shots/2013/10/18/23621181...
Inside the Svalbard Seed Vault
woah. What kind of lists are those? How do you benefit from having fewer readers?
Sadly haven't, because I have not had a reason to need it. Working with Clojure mostly. I like how Typed Racket "carries" the types with it when code from it is imported into other languages (like untyped Racket) via contracts.

Lisps are definitely the most readable language - and with something like Smartparens or Paredit, combined with Rainbow-delimiters in Emacs it's the best programming I know by very very far.

What is your experience of Typed Racket?
> will post some (hopefully) more interesting results soon.

Your blog could use an RSS feed or some other way to get notified of updates then ;)
Show HN: Learn Scheme and JavaScript using text chat