skysight-inc/HackerNews huggingface dataset:
I'd rather the laws of a country which enshrines freedom of speech to a greater degree than any other be the set of rules governing the internet than the laws of a place where you can be fined for jokingly giving a Nazi salute.
Yes, I spend a large part of my day looking at explain output, often on that site. The SQL Server Database Engine Tuning Advisor is reasonably good, and something like that for Postgres would be great, but ultimately it doesn't seem to look at a query and come up with a semantically identical but structurally better way of phrasing it - it will never fix unnecessary big-O performance issues (in the way that, for example, posting a single query on Stackoverflow might). But even if such a tool exists for Postgres, I'd be running it _all the time_. I'm just naively wondering if technology has moved on. I have basically no writes outside an ETL process, much of the time this is effectively single-user ad-hoc stuff. I realise I might be being hopelessly naive, but it feels like I can clearly specify a query, and I have complete control over my schema. Something must exist that requires me to pay more money but ultimately care less about endless performance tweaks to create a view that is fast?
Proposal to add ACME (LetsEncrypt, etc) support to Go stdlib
You're exaggerating. Wifi still adds a lot of convenience, even without your desired feature.
I will look into it, sounds like the kind of magic I'm after, and I'm not against hopping between platforms to save future pain. Thanks!
All men.
In Germany it's all paper and actual people doing the counting. I know Germany is not as big as the US, but it's not a small country. We usually have the first results at 6pm on voting day and the final results usually don't differ much from the first results.
>[DebianDog] is not Puppy linux and it has nothing to do with Puppy based on Debian.

Even though https://debiandog.github.io/doglinux/ states the same prominently, this should still be emphasized on the linked page.
> rather that it should be lack of causality

I don't think causality is the right metric here, rather it's the fact that you're facilitating a criminal act -- you're making it easier for someone to break the law.

The proportional amount by which you facilitate the action ought to matter.

If a drug is going to cost you $50 and all I did was point you in the right direction, you still need to cough up another $50.

But if finding the right link and downloading some tool is all I need to do, then by providing the link you've taken me at least halfway, and maybe more if I already had the tool.
I live in China, and a lot of the food here is very honest vegetable dishes with an emphasis on freshness. People also eat a lot of fruit: it's largely a very good diet.

The highest stomach cancer incidence in the world is Korea (at almost double China's rate), followed by Mongolia (1.5x), then Japan (1.4x).

It seems that vinegar, chilli, salt, hard liquor and meat is not a recipe for longevity.

http://www.wcrf.org/int/cancer-facts-figures/data-specific-c...
Why do you need to pinpoint an exact time, unless you're a historian?

A totalitarian government is one that operates with an entitlement to any aspect of its subjects' lives, as opposed to merely preventing citizens' rights from being infringed and other collective action. As such, USG has been a totalitarian regime for well over a century.
If you can't easily avoid those, you're not going to be capable of doing much else anyway.
I learned of this concept in one of my geography classes called, "Not in my backyard." Basically what it means is that people refuse to act against a bad practice until it is done to them. We studied it in the form of pollution, waste, etc. But I think it certainly applies to concepts like spying, taxation and other government activities.
Aphids are fascinating (if annoying in the garden). They are capable of telescoping generations [1] which means an aphid can be pregnant with an aphid that is also pregnant.

https://simonleather.wordpress.com/2013/03/19/living-inside-...

They also can grow wings if the colony gets overcrowded or the plant they are on is starting to die.

[1] https://en.wikipedia.org/wiki/Telescoping_generations
There is no need for JS on a site like this. The ajax upvote is convenient but they could (unconveniently) reload the whole page and set the location with an anchor to go back to the upvoted comment, 1994 style. Any real time notification system requires a backend infrastructure that maybe they don't want to have.

They could also use a better CSS but who cares, text is king in this kind of sites. It displays quite well on mobile too, especially with Opera which reflows text after zoom (the very reason for using Opera).
Sending thousands of emails that:

Bounce because they aren't real.
Land in inboxes of people who don't remember your service and therefore mark it as spam.
Land in inboxes and are not opened.

Are all great ways to get IP banned from email providers, banned by your email sending application because you got their send IPs blacklisted or kicked out of Gmail/Outlook cloud/.me account.
U.S. Federal Govt. vehicles drove 5B miles in 2015, 120MM hrs of driving
I have read the point about hygienic macros before. I have been working with racket and common lisp and I cannot tell you have annoying it is to be trying to learn macros and continually having to fight racket to let me do what I want. CL on the other hand seems to get out of the way and let me shoot myself in the foot just fine. I'd say that from a learning standpoint hygienic macros (ala define-syntax) are a roadblock because they introduce a whole bunch of hidden state which is hard to build a mental model of until after you have encountered regular macros.
MIT is in Cambridge
It's still great at what it was always great at: embedding, acting as a CLI, and doing random grunt work. It's Lua's main competitor, but it can also go toe-to-toe with python and ruby in terms of libraries in some areas (although by no means all of them). In particular, the ease of construction for graphical applications is arguably unmatched (IUP is probably the closest), SQLite was built to work with it, metakit is handy as well in the DB area, it has a great event loop, several OO models, solid unix integration, sold FFI and excellent embedding (as you'd expect), Starkits, which means you can distribute your whole TCL sourcetree as a single file, and a ton of other stuff.

So while it's not as popular, relevancy isn't an issue.
While I admire the sheer skill necessary to reverse engineer a game to that degree (and starting from making a hardware dump!), I can't think but helping that the approach I propose at http://gabrielgambetta.com/remakes.html would take far less work than recreating the game from scratch.
It can measure

a) parallax - triangulation via the spacecraft's orbit around the sun

b) proper motion - via multiple observations over the years

c) radial velocity - via redshift

a gives us distance, b + c gives us the trajectory through the galaxy.
Ask HN: System76 Ubuntu laptops?
More and more lately Apple has been making me want to look elsewhere so I'm trying to find a quality 17 inch "low hassle" Linux laptop. I've found several 3 year old complaints about System76 but nothing more recent. Any HN users use them? Experience/thoughts?
Smoking is the reason. I was very surprised to realize that in US, there were probably more people for weed than for cigarettes.
You might want to take a closer look at the suggested rewrite (especially the initial not-quite-a-sentence) first...
Correct. The post I replied to did not talk about possible gender issues, but about certain (physical) characteristics that CEOs supposedly have.
The Curious Case of Mencius Moldbug
President Barack Obama has created the most intrusive surveillance in the world
As a clojure fan, I agree about conses. It's rare to use something like that.

Personally I'm happy equality doesn't work like common lisp. See here for a post explaining equality in CL: http://eli.thegreenplace.net/2004/08/08/equality-in-lisp

It's old and I don't use common lisp, so please correct me or the post if needed.

I've tried to get into lisp numerous times. Clojure was the one that clicked for me. I can't say if that's because of clojure or because it was just the right time for me after N times trying to get lisp.

Every now and then I poke at a scheme or CL. Scheme seems do-able for me, particularly Chicken Scheme, but I everytime I try CL, I come across what seems like too many functions to do what it seems like one function should do. Whenever I see something like SETQ, etc., that's a big turn off for me.

On the other hand, I really dislike Clojure startup times. Doesn't matter for server/long running apps, but when you are debugging or iterating, it gets to be a pain. There are some mitigations with their own set of issues.

Pixie and Hy have been brought to my attention. Pixie seems more or less abandoned, but Hy looks interesting. I haven't been able to tell from the docs if it has clojure datastructures (which are the best part of clojure), but Pixie does. So maybe sometime I'll try to bring those over to Hy and see if they get accepted.
I have plenty of assets which I can sell for cash in a pinch - should cash actually still exist.

When everything is a bank transfer, your very right to transact is at the mercy of the government.
India: A Bridge to the Future by Subhash Kak
> Complexity is essential. It cannot be tamed, and there is no one big answer. The best we can do [...] is apply lots of ad hoc techniques

I think this is right -- and yet wrong. In fact, I would say that it's only by accepting the correctness of this statement that we can begin to glimpse how it might be wrong.

It is right that there is no one big answer that will work for any program. There is no algorithm, no language, no logic, no formalism, no decision procedure that will solve the problem, and there never will be.

But I'll wager that we can get much much better at "apply[ing] lots of ad hoc techniques" -- to the point that in practice, for the programs we actually care about verifying, it will eventually be possible to automate most of the verification process even for our largest programs.

If you look at what deep learning is -- to take one example of how this could happen -- it's essentially a method for generating ad hoc techniques by the zillions. When we train a network we generally neither know nor care what features it learns to detect at each layer. Each such feature detector is an ad hoc heuristic for something, but we don't even need to know what.

My suspicion is that the current state of machine learning, as exciting as it is, is still in its infancy, and the techniques are going to get much more powerful yet.

And the thing is, as humans, I believe we do often understand why our programs work. That means that a significant fraction of the time, we have in our heads informal correctness proofs that are actually right. I said "a significant fraction"! I am keenly aware how often we get them wrong, but I think that if we were practically never right about these things, our software wouldn't work even as well as it does. Sure, our short-term memory is minuscule, and our long-term memory unreliable. We make logic errors, we overlook corner cases by the thousands, and we simply forget required preconditions and postconditions. Anyone who writes software for a living knows how bad we are at it, and yet we can do it to a point.

What we have that the machine doesn't have is an amazing pattern-matching ability. We're seeing that machines are getting a lot better at pattern matching. What the machine has that we don't is massive reliable memory and absolute indefatigability.

Just to be clear, I'm not suggesting that pattern matching is all that stands between us and proving Goldbach's conjecture. (If that were true, we would have done it.) I'm saying that the proof tasks involved in verifying real-world programs are not difficult in that way. What makes them hard is not that they require great leaps of mathematical insight; a lot of them aren't even very long. (What makes them hard is, to return to the author's theme, complexity. To prove any particular fact about a large program requires figuring out what facts about the program are even relevant to one's task. Even just at the AST level, it would take many millions of facts (as relational tuples, say) to describe a large program. Naive brute-force search in a space like that would be beyond hopeless.)
It isn't valid. If it were, the cylinder and the cone would be identical.
That's serious speeding, or an off by 3 zeroes error. Luckily, the text derives the correct number of 120M hours.
Like I said: the featured I find myself giving thanks for the most in lisp is 1) never having to remember syntax, or remember exactly how it works in ambiguous contexts, and 2) never having to figure out how to indent my code.

The big stuff is there when it matters, but the little stuff makes up the day-to-day.
I'm a _huge_ fan of podcasts, and I have a strong bias towards Informationally dense shows dealing with Politics, technology, and sciences.

Common Sense with Dan Carlin - I think he may be the most underrated and most prescient political commentator of our times.

Econtalk - for the high bar of intellectual honesty of its host.

Waking Up with Sam Harris - a little of everything.

BhTV the Glenn Show - hosted by an African American economist , probably the leading commentary on race relations in the USA today.

The Tim Ferriss Show - excellent interviewer and some truly remarkable guests.

Risky Business - information security reporting by a truly excellent and knowledgeable journalist.

Congressional Dish - reads and provides background on legislation currently proposed in congress. Will give you a very solid understanding of many current topics (her work in reading through TPP, CISA and other bills is fantastic).

Slate's Whistlestop - stories of famous moments in American presidential campaigns.
Would that mean the cheaper the drug is, the more proportional responsibility I have for pointing you the way?

Your efficiency tools should not make my actions more illegal.
Humorously, I am probably never going to actually own an actual bed again. So, making the bed is probably never going to be a part of my life.

I work remotely. I see very little of this as relevant to me.
The unbitten Apple
I got a 14 inch Dell e6470 with 4 physical cpu cores - its stellar machine, everything is working using OS drivers from kernel - I love it - you might consider that - I like this machine way better than the late 2014 macbook pro (13 inch) my company issued to me.
Cameroon scaly-tail
Seems relatively easy to fake. Remember nothing has passed the actual touring test which is very open ended, but lesser versions have been beaten.
Doh! Updated...
Macros, arbitrary syntax transformation in macros, and object system as powerful as CLOS, and the ability to comfortably use almost any paradigm.

It's not always useful, but you'll be thankful when it is.
USA Is Stronger “Without the Lies”
BuckleScript is worth a look too:

http://bloomberg.github.io/bucklescript/

It's in the OCaml-to-JS family.
I am forced to use tcl a lot at work because that's what the ASIC tool vendors settled on for a scripting language. It's awful. Just plain awful. I avoid it as much as I can, but I'm forced to use it thanks to Synopsys.
Yeah, just reread how I worded this and it's not quite correct. Your points here about how all synchronous exceptions are handled the same is correct. I think what I was trying to get at was that exceptions in pure code are usually treated like fatal errors.

The biggest challenge is definitely how easily exceptions can slip by handling code unless you make strict use of throwIO with synchronous exceptions (or something equivalent like throwM from exceptions). My favorite example is the following:

let foo = try . return $ error "foo".

Which evaluates to "Right * Exception: foo".
Foolish not to get a patent or control the intellectual property. Without that control, someone else will, possibly to the detriment of the intended purpose.
I'm pretty sure it's valid as long as you put the line back to a point at the end.
Germany also has a much longer tradition of promoting engineers rather than sales, marketing, and finance types.
If the land-lord only likes paper checks and you want to use your credit-card (and maybe get points). RadPad seems to only collect the credit-card fees on top.
Looks awesome. But who really uses a CD for live distros in this day and age? A flash drive would be more apt example. This made me think about how traditionalist large parts of the linux community is. :)
I wish.

I meant in what concerns papers, videos and magazines articles back from those days.
Intellectual honesty and humility is a good heuristic to look for if one is blindly assessing arguments. Even though there's a chance he could be dead wrong on a given topic, the fact that a person with those traits has arrived at a conclusion tends to suggest there's an honest case to be made for it. In other words, you could do worse than finding honest people and listening to them.
Slightly off topic... everyone around me knows what "Tricatel food" means, from the French film "L'aile ou la cuisse":
https://www.youtube.com/watch?v=3Lxk0kxHi80&start=4171
Placebo Walk Buttons:
https://en.m.wikipedia.org/wiki/Placebo_button#Walk_buttons

(My point is that just like for cars, there should be sensors for walkers, not buttons.)
Is Republishing to Medium Worth
I find notifications on replies annoying. The one feature I do want is better understanding of where upvotes are coming from: when I suddenly get a surge of upvotes that didn't seem to come from any comment of late, I just kind of want to know where it's coming from, as it annoys me to no end. I wish I could somehow see which of my comments were upvoted recently.
Redux Ship: Composable, typable and testable Redux middleware
Good point...so students learnt it in college and then worked in boston/cambridge
Good on you for trying, but people expect to see 50% black CEOs, Oscar winners, and government officials even though that's not how our population is distributed, nevermind population of colleges and certain majors.
> _Your_ efficiency tools should not make _my_ actions more illegal.

Why would you expect that to be an invariant in the legal system?

Your actions take place in the context of the world; the context should affect how someone judges your actions.

The key point is whether you personally know (and if the prosecution can show it) that providing a link is tantamount to allowing someone to easily download it.
Hence my comment about mixed deployment of alternative switches.
Wouldn't prior art prevent that? (I'm generally ignorant on this stuff)
This hurts to admit, but when I searched to find where I had gotten that idea... it was a survey on USA Today! I'm ashamed. In fact what I did find was a bunch of CEO's expressing a total willingness to be spear bald if it they could gain a few inches of height.

So please disregard the hair comment, I was wrong.
> Each client receives different content (at some level).

Exactly, and now imagine how easy it is for someone motivated and with the right resources to meddle with that.

Similarly, it's hard to prove a machine was used by its user to consciously navigate to an illegal link. There's too much automatism on the web and on networked machines, plus if we consider link shorteners, there are too many explanations against that would not allow admitting evidence like machine-x-owned-by-mike-miller-accessed-mp3forfree-artist-album-2016.pdf.

It's the equivalent of me walking in a street where I didn't know drugs or weapons or humans were sold, and being arrested for just walking through there. In real life you have some clues where not to go, especially if you're from the town, but on the internet it's too easy to have your machine load a random illegal link or search alarming terms on Google without your consent.
Huh. If I were to go off of all the resumes that come across my desk, I would have thought the quickest way to becoming a CEO is to:

1) Go to a hacker school like Hack Reactor

2) Start a website that takes you ~8 weeks of spare time to build

3) Call yourself CEO of that website and ask for $180k salary!
If you publish, you effectively void the novelty condition of an invention and prevent patentability.
No, what I mean is that clojure's conses are fairly useless compared to the conses of CL and Scheme.

Also, all programming languages implicitly have most of those equality operators. But yeah, Scheme's equality is a bit cleaner.

Not a super fan of Clojure datastructures. If I want to modify my cdr, than let my modify my cdr.
One reason is that it's surprisingly hard to find a cheap flash drives that use hardware enforced read-only access.
Best JAVA Books for Beginners – Best books for learning java 8
It's the bottom border that looks off when wrapping. Since the headings are already distinguished by whitespace, size, weight, and color, the border doesn't really add anything. Overall, the page is not conveying a hierarchy to me at all. It looks very disjointed.

My preference would be to remove the borders/underlines, also remove the bold, and make the margins equal above and below the h3+ headings. If I were to actually use more than three headings, I'd probably do something completely different at the deepest levels (e.g. inline the headings or indent the whole text).

But I think we agree that it's worth some effort to fix up the browser's default styles. It's too bad they can't all just switch to something like Firefox's reader view without breaking the web.
The post I was responding to seemed to be arguing that relational databases were redundant and that was the point I was reacting to. I certainly didn't intend to suggest they were the only game in town.
So what's the new part? We have portable propane fridges. Is it cheaper? More efficient?
...Ah. Yeah, I wish I had a lispm too, but I don't even have the more pedestrian antiques.
It had an architecture similar to AOL Server, just that the founders did their own thing instead.

Tcl was used for almost everything, C for performance critical modules and DB FFI.

The interpreter was loaded as an Apache module.

We supported Informix, MS SQL Server, Sybase SQL Server and Oracle.

All major UNIX variants from late 99's and Windows NT/2000.
It's possible he couldn't get one anyway depending on how exactly it works. Ammonia-based refrigeration is very old technology: https://en.wikipedia.org/wiki/Icyball (In some of the other coverage he even mentions being inspired by this.)
By "they" I meant the judges.

Personally, I think not having mens rea as a standard is killing any possibility of user-generated content, since any such site could be convicted if any of its users posted an infringing work. The Safe Harbour provision is one of the few good parts of the DMCA, but it requires judging mens rea, and once you have to judge that, adding linking doesn't have bring any further issues.

In Brilliant v. W.B. Productions Inc., the court ruled that the phrase "I may not be totally perfect, but parts of me are excellent" was copyrighted. Under your black-and-white standard, without judging intention, HN would now be guilty of infringement. How could it continue to exist with this threat?

Mens rea might be hard to prove (and presumption of innocence should be applied), but strict liability becomes absurd.
In normal Debian fashion, it's a hybrid image that can be dd'ed to either CD or USB.