skysight-inc/HackerNews huggingface dataset:
No argument there, so long as:

1) The taxed items are based on solid, reconciled science rather than best-guess over-extrapolation like we did to fat and cholesterol.

2) Similarly, if and when the consensus shifts, there is a processs to ensure that thes taxes are promptly adjusted.

3) The taxes are diverted, auditably, to the specific maladies the products cause, and rebates against future tax increases if and when they turn out to be too much.

4) People are allowed to be credited the value of the tax paid if they can demonstrate their use of the good is responsible -- e.g. You collect your receipts, you demonstrate you're a healthy athlete, you get the sugar tax back. Show a health liver and clean record, get your alcohol tax back.

3b) (Implication of 3 above) If it turns out e.g. tobacco is saving on health care costs, by causing death before really expensive treatments are given, it starts getting a subsidy from health care revenues.

Measures that don't meet the above tend to come off as "stuff we wanted to do for other reasons and this is an easy target".
Ok.

It is though.
What do you really mean when you say that the complexity is "effectively" O(1)? Amortized O(1)?
Well fundamentally probability is a framework for reasoning about the future based on previous events. This framework is analogous to logic but it's separate and even though it's not as clean it's a lot more useful for dealing with the real world.
> read the code and try to understand it and then just copy it.

That's not learning by doing that's learning by copying. :) I don't think learning by copying works which is why your approach is flawed.

Next time try this instead. Google it, find some code, read it and try to understand it like you do now. Then don't copy it. Instead open it in a text editor window and in another you rewrite the code. If you don't know how to rewrite it, just do it character by character.

Now you might say "that's just a slower form of copy-paste!" but no, it is not. After a few times trying this, you will see why it isn't. It is the method I use and it works for me.
I agree that the x86 ISA is pretty warty (though I have a strange fondness for it), but I'd recommend 6502 rather than Z80. There are a lot of fun retro-computer platforms that are 6502-based. Thinking of the zero-page functioning as a register-bank is really fun, too.
Thank you! Knowing that people enjoy reading this sort of thing makes it worthwhile.
Cloud providers are not as bad as you'd think. I've tested several DO IPs using various checkers, as I've been thinking about moving my server there (currently at prgmr.com), and they have all been clean. SPF and not being an open relay seem to be the 2 important things to keep you off the blacklists. I still don't have DKIM (been on my TODO for a while... but lazy) and haven't been put on a blacklist in many years.
Rakudo Star (Perl 6 compiler and VM) release 2016.11
I noticed that linear algebra courses are typically offered in colleges after calculus. Is there a reason why?
https://news.ycombinator.com/item?id=13050417
Thanks! Glad to hear you made it to the bottom :) I always worry that I tend to write on and on for too long.
Dear god please tell me this is a joke.
This app is not listening on 127.0.0.1 — it binds to all interfaces (and on both IPv4 and IPv6 too), and the parent's comment is completely valid. Anyone who can get a UDP packet to your machine can control this.

AnyBar 32770 --- 14u IPv4 0x---------------- 0t0 UDP *:1738
AnyBar 32770 --- 15u IPv6 0x---------------- 0t0 UDP *:1738

(The `nc` command in the example is directed at localhost, but that doesn't imply that the app is bound to localhost only, just that it's bound to at least that.)

Unix sockets are a better fit for this sort of thing, as they can be by default restricted to your user, and optionally opened up to others. (i.e., Unix sockets are authenticated) You can always do both (implement Unix sockets and Internet sockets).

Even binding to localhost in general is not completely safe, if a webpage or other apps can be fooled into making the right request. (I think UDP is safe here, but who knows.)
This looks super handy for having a simple status!

Out of curiosity, anyone know what the hammer and sickle icon is for in the screenshot?

*edit for grammar
You can observe it on the JVM when you realise you can't overload a function with arguments that differ only in generic type.
Thanks a lot. I'm looking forward to writing it, I think it will be interesting.
> before generics you couldn't have a method that takes in an Array of Animal, just an Array.

Arrays aren't generic types like ArrayList. Arrays are core language constructs parameterized by their element types. Array types are not erased in Java.
I figure people will likely get to Mars first but I've always imagined the first permanent off-world colony would be on Venus.
Studies indicating fat contributes to heart disease have been discredited because the effect actually comes from excess sugar intake.

http://jamanetwork.com/journals/jamainternalmedicine/fullart...
Sorry, I should have said "hospital menu policy restrictions".

(It seems like a pedantic point anyway; the fact that you're under no obligation to provide X does not imply that you don't have a policy restricting your provision of X. Plus, the comparison was to hospital smoking bans not e.g. cigarette vending)
DES is also believed to contain a backdoor. And even if it only happened once, I still don't see how "Europe is farther down this path than the US is currently".
Not something I can run, but http://www.mailradar.com/ seems like a better free service. They let you monitor 5 IPs for inclusion on blacklists which works better for a personal setup where you might have more than 1 domain but wouldn't have more than a couple VMs as the MX servers.
Illegal operation doesn't seem like an explicit enough definition. I'm not knowledgeable about type systems, but I figured a type system would be sound if there's no way to construct code where the result is undefined.
Nutella from 3 ingredients
Why is the response so slow? I mean why can't they just replace everything in the ticket kiosks and then restore the central system from a backup on new machines?

100% secure systems I understand are pipe dreams but at least the mitigation and response in case of failures and hacks should not be so long.
What did you use as the IDE to make this? Or was it just notepad?

I.e, how did you start with knowing what files to include here
No, teenage blood won't make you young and beautiful
Since when is a Nexus 5 a low end device?! It'll easily scroll anything in the os at 60fps and there are huge amount of people out there running significantly slower phones.
Can you point to a source for this? All x86 assemblers that I know of map one assembly instruction to one machine instruction.
We switched from Modo to Blender after the 2.7 release. Blender is one of the few open source projects for a desktop application that's clearly better than much of the commercial alternatives.
You're arguing with people who have a religious view towards climate change. That poster, Smaug123, just came close to justifying the use of nuclear weapons in the other thread to the grandparent comment, don't take them seriously.
From Dell, no official support, but my experience over the years has been that they are well supported by the Linux community for network drivers and things like power management (sleep/wake). The biggest downside (for me) is the lack of a good GPU beyond the Intel HD series; the models I've dealt with are most often equipped with Quadro NVS chips. The NVS just barely outperforms the Intel HD series, but requires the closed source driver to do so.

I haven't messed with them since the Sandy Bridge days though, so your mileage may vary with more recent models.
This is not a piss contest.
Energy on a school bus: deep cycle batteries, metering, and alternator charging
(author here) ...FYI I actually learned assembly language for the first time back in the 1970s and 80s using a 6809 inside a Radio Shack "Color Computer." I was super-fun at the time. I don't remember much of it now but I'm sure x86 isn't as clean or fun as 6809 assembly was.
> It would be extremely silly to stop using nuclear power

That's what a minority in Germany said, before the majority voted against nuclear power. Hence the energy clusterfk Germany is now in.

Germany, a country with almost non-existent seismic activity killed its nuclear energy future because a tsunami happened in Fukushima. [1] It's not just "silly" it is that much silly, that sooner or later the prohibition will be repealed out of necessity. And the same fate would have happened to the Swiss plebiscite's result if it were a win.

[1] "voted against because of Fukushima" is technically a crass simplification. First Germans voted for the parties that pledged to end nuclear power. Then Merkel won the next election, cancelled nuclear-prohibition. But when Fukushima happened everybody knew Merkel would be out of office within weeks if she didn't immediately repeal her repeal.
I think a lot developers drastically underestimate how hard self sufficiency farming is.

There are billions are people trying to get out of self sufficiency farming because it's suffering.

To make it bearable you need tons capital intensive machinery, and extensive skills. You have to do it on industrial scale.
> There are certain similarities in culture across the sub Saharan countries though. Dunno if you've been there?

Yes, I've been there and this your assertion is simply not true, unless by "similarities in culture" you mean they are all human. Heck, there's ridiculous variety of culture in the same country - South Africa has 11 official languages, if we are to take language as a proxy for culture.
I think you're mischaracterizing the promotions tab. When users interact with a web merchant, they're exchanging money for goods/services -- they're not signing up for spam. Hiding marketing email is a feature, not an evil plot.

It's not just G that differentiates between transactional email (a receipt) and bulk/marketing mail. Trans/bulk are so different that email companies consider these separate products (e.g. mailchimp vs mandrill).

Generalizing based on myself, I can guarantee that people really hate receiving crap. At least I can visually distinguish the G ads from my email and ignore them.
In my experience, this is usually the best way to go for a tech company.
Has viral advertising gone too far? /s
>Why is the response so slow?

Socialism. Not Swedish post capitalism, but the Soviet style, intolerant to dissent. Do you know that San Francisco has 10 billion dollar budget and over 30,000 city employees? And they want more.
Last time I was at a hospital and wanted to buy a snack from the cafeteria, nearly all the options were loaded with sugar (coke, ice cream, etc). I'd say that non-sugary options are being subject to "hospital menu policy restrictions" at this point.
I think you want a text like Hoffman-Kunze which gives the basic definitions and theorems over an arbitrary ground field. At some point the field starts to matter -- giving the real plane a quarter turn has no real eigenvalues, for example; and I don't see a good way to transport the statement of SVD to the setting of finite fields.
It helps to have actual real life experience under your belt when making such claims. You seem to be parroting what countless rants have already repeated without much content.
I agree. Including:

> Base-122 encoded strings contain characters which did not seem to play well with copy-pasting.

A very important part of web development is being able to manipulate text documents. It seems that using UTF-8 in more places can reveal cracks in implementations for browsers/DE's/editors/terminals/etc.
Friends are too close to you, and typically buy your bullshit. When you are down, your narrative is highly skewed by your perspective. You need someone a little farther away for objectivity. Someone who realizes that anything you say is probably your shit-side talking, and has no real basis in reality.

If you can't afford a shrink... or are traveling... I've found that your nearest Rabbi or Catholic Priest will generally do in a pinch.

Your friends... well maybe your friends are better than mine, but since I don't know what my friends can take, and I don't want to burden them with stuff that I carry in my head. When you are depressed you aren't yourself -- not the you that your friends recognize anyway.

I personally don't like showing my friends that side of me... over the years I've found that the whiney neurotic insecure blob I turn into when I'm depressed isn't able to maintain friendships and scares people away. I used to blame them, but really it's just a lot to process. Now I find it better to just segment that part of my life away from the people who care about me. I like having friends around when I'm good, and having them around helps me from slipping back into depression... but friends can't cure depression. It's gotta be a choice to not be depressed any more and take the appropriate actions... easy to conceptualize, but feels like lifting Mt. Everest when you're going through it.
To repeat GP, I'll rephrase are the valid criticisms: Bridge should have submitted the curriculum to the education board. They should also only use qualified teachers. I find these requirements to be reasonable and not really open to debate because it is generally a good idea to follow the laws of the country you operate in.
20th century mathematics takes first order classical logic and set theory as foundational. All other mathematics then becomes the analysis of sets via proofs in first order classical logic. The ugliness of this definition is that it is unnatural. Mathematicians don't always think in sets, they think directly about mathematical objects intuitively. No one cares which set encodes the number e, for example, but foundationally speaking the number e must be a set, and the properties of e are the properties of that set. This is unsatisfactory from both an aesthetic and practical point of view: the Set foundations of modern mathematics obscure the fundamental, recurring themes of mathematics.

This is true even in computer science. Turing machines are sets too! I know, ridiculous.

Harper is saying that the correspondence between logic, language, and category is a suitable foundation for mathematical/logical/computational activity and they're all the same thing. This is not merely in the sense that the objects we work with are given beforehand by some more fundamental theory and we are merely analyzing them, but in the sense that logic/language/category is the appropriate setting in which to define our objects, to do synthetic as well as analytical reasoning. That is what makes a particular theory foundational.
Only 4.155×10⁸ seconds late :)
You need knowledge of calculus sooner in a typical undergrad curriculum for most majors. For example, freshman physics assumes you're taking Calc I/II concurrently. Most college kids can't handle two math classes at a time, so they take linear algebra after.
I'm way late to reply, but I never really understood what would qualify as pass by reference according to that logic :D you do have to pass a value eventually, it can't be references all the way
You misunderstand, I suggest creating a self reliant population actively living below ground (or at the bottom of the ocean). They have to be able to survive indefinitely without help from the surface, but so would a martian colony to weather an ELE.
Make me a healthy breakfast.
Thanks, it was nothing original. I will pass on your compliment to all the hundreds of authors of self-help books and articles I've read, various shrinks, coaches, physical trainers, Priests, Rabbis, Comedians, and dog-groomers who gave me advice over the years. (=
Dancing Links(DLX) Based Implementation of AlgorithmX in Scala
Dynamically generated sites are a Bad Idea when they can be trivially statically generated.

A lot of people still think using WordPress or even Rails for site generation is fine, but both are hard to scale. And if the site is small or academic, it will fall over with not too much traffic.

I wrote a rant [1] about this a couple of weeks ago. I can guarantee that my site will never have a "Database Connection Failed" error (now), because there's no database backing it.

Even better would be if I moved hosting to S3/CloudFront. Dirt cheap, and Amazon isn't going to fall over even if a site hits Reddit's front page. I might not like the bill I get at the end of the month if it really goes crazy, though.

[1] https://realmensch.org/2016/11/22/drupal-is-dead-long-live-s...
I assume the war destroyed all the decent smartphones then, along with the vaping devices. Those photos look worse than ones taken on my Moto G.
> When I think of Uganda, I do net get a picture in my mind that says fair politics and fair trials, for some reason

If you basing that solely on your gut, then that 'reason' is bias. If you sufficiently motivated by the topic, I would urge you to research and get more pertinent information about Uganda and its legal system.

Just say no to the "post-fact" world and "that feels just about right".

> Is there proof that these schools are not performing or not educating what needs to be educated.

One of the allegations is that the schools did not submit their curriculum to the education board. Until such a time that they provide it, I think the burden of proof is on the schools.
You're using the default example, but the error is mostly a red herring. The paper explicitly acknowledges this problem, Section 3 pg. 3:

> ... As a consequence, the method type-checks. Furthermore, even though type-argument inference in Java is undecidable, this type argument is identified by javac, version 1.8.0_25, which consequently accepts and compiles the code in Figure 1. However, constraint solving is generally a non-deterministic process, and type-argument inference itself is non-deterministic [35], so the Eclipse Compiler for Java, ecj version 3.11.1.v20150902-1521, and the current compiler for the upcoming Java 9, javac build 108, fail to type-check this code...

Use the `Unsound9` example, which should work in multiple versions. These discrepancies are merely due to some deficiencies in the way type inference happens in Java, but the unsoundness principle is still valid, and you can still construct invalid `coerce` functions.
Does anybody know if the forum archives with John Titor's posts are still floating around somewhere? I remember reading some of his stuff a few years after he disappeared and it made for quite an entertaining read. This guy had his story figures out to the very bone. Everything down to the sci-fi tech. He had every nook and cranny covered.
QNX was only used in BB10, which was only introduced after the fall of BlackBerry's popularity (and, arguably, was part of the reason for their old products stagnating)
I think as early as middle school, most kids could give you an honest assessment of which teachers taught them things and which ones were just collecting a check.

That, and it doesn't look like they actually interviewed any parents either.

If what the students think doesn't matter, and what the parents think doesn't matter, why should the opinions of 3rd-world educational bureaucrats matter?
This comment made me smile - growing up in west Africa this was my first Linux - its modular nature let me download a floppy disk's worth of sub system every week, using the 1 to 2 hours of Internet access that I got for the week, slowly building up from scripting languages all the way up to X11.
Fun times :)
You've never heard of the Reddit hug of death?

You must be pretty young to not remember it happening to lots of sites regularly for a couple of years.

Part of the reason imgur took off was because people would repost content to imgur when Reddit took the source down, the web comic or whatever.
What you've described is precisely the Optional or Maybe type. Many folks worry about the efficiency, which is reasonable, but feels misguided. A nullable annotation would be sufficient for the safety we all crave and would have no runtime overhead (i.e. It would still represent missingness with null.)
I don't share your opinion that because other people have it worse, you cannot be dissatisfied.
I made software for a few museum exhibitions with multiple interactive terminals (sometimes up to 30). At first we used WinXP/Flash, and later moved to Linux/Opera (to cut licensing fees and shorten development time). That was 6 years ago.
Urm, exactly the point of my comment... if it was continued or cancelled there will be contracts that can be requested under FOIA.
Abrupt Climate Change. Synthesis and Assessment Report (2008) [pdf]
No thanks, one likes earning a few cents from their published music.
if you think mathematics relies on intuition..you haven't done much mathematics unfortunately. the field is deeply paradoxical once you get into it deeply
You can play the emotional cord any time to get voters to vote on anything, and you can make any multi-dimensional problem single dimensional. Increasing fossil fuel usage is not the answer and it never will be the answer. Once we have great solar panels and large capacity batteries we can use solar as the primary source, but the technology is decades away, best case.

This does not look good:

https://upload.wikimedia.org/wikipedia/commons/a/af/Electric...
Where did you get the fact that they are ready from the technology point of view?
Switzerland is part of the Generation IV International Forum and is represented by the Paul Scherrer Institute. According to their Website[1]: "Before a commercial MSR can go into service anywhere in the world, scientists and engineers have another 20 to 30 years of research and development ahead of them."
The Chinese plan to build the first MSRs in 15 years, whether they will succeed is another question. If the price for solar keeps dropping it won't make sense to build new nuclear power plants in a few years.

[1] https://www.psi.ch/media/molten-salt-reactors-exploring-an-a...
I suspect the instructions they are thinking about are cpu-level uops.
Why did he take that project on? What was his motivation?

It is my firm belief that intrinsic motivation (curiosity, interest and enthusiasm) is the only truly sustainable approach.

Could you elaborate?
Cuban regime imposes compulsory mourning
Hah! Very true!

There are probably several factors that influence what foods they offer and which results in their current general policies about what to stock. It probably makes more sense to first audit what those factors are and why they exist; otherwise, additional restrictions are more likely to force them into more expensive options since they'd have to obey the existing (probably ridiculous) constraints.
That's a good theory. I have a simpler one. You could call it the McDonald's theory of reporting. If people will buy junk at a premium, C-level guys are pretty much obligated to sell junk at a premium. If consumers wanted facts instead of the rage machine, they would get facts.
10.

I'm <20, working as a free software developer from home, and contributing to the future of container runtimes. What isn't there to love about that?
> If it was taught as ... a toolbelt to understand the universe ...

While true, I think that this is still a bit abstract. Rather than "a toolbelt to understand the universe", I would say "a toolbelt to formally characterize problems in order to analyze and solve them".

Let me add in addition that in order to learn to use the fun tools in the toolbelt, one must first grasp the basic ones. This (in my limited experience teaching lower level math courses) is another obstacle in teaching math: (continuing with the tool analogy) it would be quite boring to spend 3 months studying screwdrivers, another 3 months on wrenches, etc. without applying these tools to any "fun" problems.
Also want to add to make sure to SLEEP WELL. Just as there's advice to have a waking routine, have a sleeping routine too. Sleep at a set time with no screen use for ah hour before. Additionally drink green tea and focus on a plant based diet.