skysight-inc/HackerNews huggingface dataset:
When my kids were younger, the curriculum that their school used was more about the aha!s and connections than about rote recipes. I volunteered in one's first grade math class where they spent 20 minutes of the 45 minute math period learning to draw puppies and kitties so they could answer the question, "Sue has 15 puppies and kitties. How many of each does she have?" The goal was to get the kids to come up with every combination from 0 puppies and 15 kitties through 15 puppies and 0 kitties, and first graders are still mostly concrete thinkers and need those pictures.

At this level, getting 3+2=5 was MUCH less important than being able to explain in writing that 3 apples and two bananas added up to a bunch of fruits in words. 4, 6, 8, 5, whatever. Alas, they never got 3+2=5 hardwired in this curriculum. But they were better artists for it!

And my kids did not learn math, because the curriculum was more about writing than math and explaining reasoning (I called it "math for people who don't like math and would rather write about it than do it"). So in elementary school, I taught my kids math using Singapore Math curriculum and let the school do its thing so it was balanced, and I volunteered weekly in math during the elementary school years so I was on top of what they were learning and how.

In addition, we always did math at home in informal ways without being explicit about it, from counting lug nuts on cars when they were toddlers through guessing the color of the next car to go by the stop sign on our walks to estimating which box of cereal was cheapest without a calculator to noting that the arrival rate at a traffic signal wasn't random in one direction because the only way cars could get to it was by going through another signal. Heck, even counting in binary using the 3 lights above an airplane row on visits to the grandparents - Look, with three lights I can only count to 8! And now with high schoolers and college kids, math jokes like log(fu) = log(f) + log(u) are the height of hilarity, or at least lighten the mood at exam time.

Point is - there is "studying math" (with whatever curriculum and rubrics) and there is "playing with math." As a parent, especially with younger kids, I found that it was great to establish both. Math isn't a "thing", it's part of life.
How hot was it in 2015?
Rip: Yes, I know sed can do this
Captain401 (YC S15) is hiring a React/Node engineer
Announcing the First Technical Preview of Microsoft Azure Stack
Why Switzerland takes asylum seekers’ assets
Eclipse Che is very useful and multifunction IDE. It contains many feature for java developers. This product developing very quickly. I think cloud technology it's our feature. Eclipse has new very perspective direction and new breath. I enjoy new design every time when I'm opening this IDE.
Upgrading to Ruby on Rails 5.0
> The main character came off as, I don't know, whiney I guess.

Well, the main character is whiny, and I found the book to be terrible, so I don't think your opinion is too off base.
I'd just like to give a heads up to anyone that needs to get any work done today, don't visit the educational gifs subreddit.
Ok, I see. But I want to know what is more useful, efficient and applicable to my case. I heard that college courses are much slower that online courses. Have you went through either approach?
His issue isn't non-blocking IO. Processing is preventing his single threaded event loop from doing anything else.
Ask HN: Uh, what's the thin black line across the top?
What's the significance of the thin black line across the top of the HN menu bar?
The Lumosity Scam
As an Open-Access Megajournal Cedes Some Ground, a Movement Gathers Steam
Not really. You're strongly coaxed into doing it the right way by design, which is not my experience with the old-skool PHP approach.
Ah yes, the dread C++ lock-in to Windows.
Solar Impulse may turn into stratospheric drone
CardKit – A Simple, Configurable, Web-Based Image Creation Tool
Patents were my first thought when reading the OP. Any media format discussion without IP is fairly meaningless.
Awesome and fun idea.i bought the app. I wish it had more questions or ability to add own questions and supported Dropbox sync.

Good job!

If you need some help sometime let me know :)
Rick Hudson on Garbage Collection in Go
You mean like Smart Pipe?

https://youtu.be/DJklHwoYgBQ
Certainly a huge concern, however, an opportunity to actually support the modding scene and possibly even get support for other languages, particularly a language like python which would make it easier for kids to create mods.
> Call it what you like. The point is that clear separation between logic and markup can be done and is valuable.

You concede the original point. To your new point, saying something is valuable doesn't make it valuable. Why? It decreases cohesion, which is not good.

> Any web page that has inputs or controls is necessarily stateful - otherwise where does the input go?

If this is a serious question, it's too far off any original point to teach you unfamiliar concepts. Learn about what stateless, declaratively, & imperatively UI means so there aren't strawmans, and so you can weigh in on these discussions.

> There's nothing imperative about it. Have you looked seriously at Wicket or are you just throwing buzzwords around?

Please do not dilute conversations on here by name calling. Imperative & state are basic computer science terms... o_O
Show HN: AgreeOn – The debt, rent, IOU calculator for friends
It doesn't seem all that clandestine. The snippet at the bottom about the author:

Nicolas Thibieroz is the Senior Manager of Worldwide Gaming Engineering at AMD...

From the middle of the article:

GPUOpen marks the beginning of a new philosophy at AMD.
I don't care about the quality difference. You can just increase the bitrate and not re-encode from a lossy format to solve most of that problem.

I welcome an image format alternative to webm.
Bundy Supporter and Green Beret Threatens to Kill Police
It must depend on where you live and what kind of stores sell those supplements around you.

I purchased this bottle of 5-HTP at a pharmacy in the health supplements aisle next to vitamins and other products such as melatonin. At this pharmacy chain, this aisle is as important big and prominent as any regular medecine aisle. If you ask for over the counter medecine, there are chances the pharmacist will refer you to this very aisle (melatonin for sleep, etc.)
Theoretically no, perhaps, but practically I think there is an impact.

I can't dump html into a .rb or .js file, so I'm less likely to do so as a beginner. On the other hand, starting out with php, that seemed like the logical thing to do. Because I could.
I would recommend just downloading and trying whatever looks interesting. It is perfectly reasonable to have multiple browsers installed...anyone who runs Ubuntu desktop does anyway.

Good luck.
It doesn't yet. It's on our nebulous "we'd like to do this some time" roadmap, but currently concentrating on some more basic stuff around stability and time series features.

Of course this is a huge optimization for data warehousing applications, where two co-partitioned tables can be joined without any network data transfer, and in some cases could even use merge join instead of hash based strategies. But, it's the usual time/scope/quality trinity, and we'd rather not compromise the third element.
And one more reason: deterrence. Supposedly, would-be criminals are deterred by seeing others get jail time. Depending on the crime, that purpose is rarely accomplished as well.
To elaborate upon this point, let's say I gave you 10,000 calories of sawdust to eat every day for a week. Would you gain weight or lose weight, ignoring the other health consequences?
Ask HN: How do you manage spot instances in AWS or lower AWS costs?
How does this compare to FLIF? The responsive features of FLIF seem fantastic. http://flif.info/
For OpenSSL, I'm not sure. This highlights something I was going to mention, though. I wish each project would stop coming up with its own scale and just use, for example, CVE scores or some other "standard" by which all these vulnerabilities can be compared.
How is it fair for Notch to be upset at Oculus being bought by Facebook when he sold his company to Microsoft shortly afterward? Not to mention he sold simply so he could check out and retire whereas Oculus sold because they actually needed to -- Notch's tiny little $10k investment wasn't even remotely enough to jumpstart the VR revolution.

As far as I can tell, FB has treated the Oculus project with incredible respect, and not a single fear has come true.

I understand there was legitimate reason to worry over the Facebook acquisition, but I still strongly believe that Notch (and many others) took it too far.
This was likely the work of the web master or a PR person; I doubt a CIA agent wrote it.
Ahh I was misinterpreting the 3rd party affiliate links where they say they aren't responsible for any content on them.
I do agree with you. Preaching the converted doesn't require that much effort.

Now to nuance a bit this over-simplistic sentence I just written: do you think I am interested in mathematics teaching? I did read the article anyway so you might be right but I felt a bit overwhelmed by all this "jargon" when an example would have been so simple to understand.

After all, Mr Minsky was a teacher, certainly a mighty good one :)
>...being overweight is still your fault

Citation needed.

The ability of human beings to control their biology through willpower is limited (if you don't believe me, try holding your breath for 30 minutes, or not drinking anything for a few days). Willpower itself is limited, and motivation is itself influenced by mental health. And diseases like Prader-Willi and Emery-Dreifuss demonstrate situations in which motivation and willpower are irrelevant.

And that's only what we know.

Sometimes when I have dinner with friends, I'll observe a situation where two of them will order the same thing, the bigger one will wolf down the dinner and the thinner one will pick at it and eat maybe half. I don't see two people equally tempted, where one gives it to his cravings and other is morally strong. I see two people with two different drives.

Why do different people respond so differently the same meal? What is it our society that leads so many people to consume a calorie surplus? It's disappointing the number of people that don't even want to investigate the biological and psychological origins of such phenomenon, instead claiming (without evidence) that it's all about moral failure.

In the 19th century, when painkillers first started becoming available, physicians would refuse to give them to woman in childbirth, because the Bible says childbirth is supposed to be painful. Women had sinned, therefore they must suffer. That's nonsense, of course, but people really wanted to hold onto their moral judgements, even at the expense of biology, good medicine, and relief of suffering. I think we should be suspicious of any impulse to use moral judgement to avoid investigation into the causes of medical conditions. Like obesity.
Hah yep given how long GIF has persisted, I think it's clear that nobody cares about what is the best format in terms of technical achievement. It's all about what is most compatible.
I certainly did not mean to imply that it was easy. Simple yes, easy? Hell no. (I lost 45lbs last year, not fun). Nor did I imply that someone was a lesser person for being overweight. However, I do believe if you want to change your weight you need to take responsibility for the things you can control.
Assume it will be available at 1700 UTC then.

There was a time in the not so distant past when we didn't even get a "heads up" like this so, personally, I am appreciative of the advance notice.
Ok literally a flamebait title... Carmack is involved in the rewrite.

Let's face if, if M$ rewrote it, it'd be in .net and only run on their platform. Then support would be dropped in the next windows release
We have a few entries in the FAQ about this: http://getkudu.io/faq.html#what-is-kudus-consistency-model-i...
as well as some more in-depth docs: http://getkudu.io/docs/transaction_semantics.html

Basically the short answer, though, is that reads are not done by quorum, but the client can specify if they need "up to date" reads. If they do, currently, we force reads to go to the leader, but have a roadmap for how to read from other replicas (see the Spanner paper for a rough idea how that can work).
As you point out there's definitely a learning curve with this tech, however there's also a learning curve with rolling your own versions of many of it's capabilities which is the alternative. I also personally find XML configuration files distasteful, but luckily I found that the default configuration was good enough for me to stand up a clustered "HA" environment with all the bells and whistles.

There are projects out there such as Torquebox for JRuby and Immutant for Clojure which attempt to wrap some of this configuration in a DSL which I think is really convenient.

It is true though that if you want to extend Wildfly you need to create a Wildfly module which can mean writing Java code. I look at this as being similar to how if you want to extend NGINX you have to be prepared to write your configuration in LUA or C. Unfortunately the JBoss community isn't as well documented as NGINX is right now, so realistically there is some pain.

Since my application didn't need to have Wildfly manage database thread pools on it's behalf I didn't feel the specific pain point that you mention.

Over the long term, when thinking about scale I enjoy knowing that there are companies like Redhat out there who provide support for this technology, but I don't anticipate ever needing to engage them. With this tech configuration is always the hard part but once it's up and running it's performance characteristics are predictable and the Undertow web server is in the top 5 on the latest benchmarks: https://www.techempower.com/benchmarks/#section=data-r11&hw=...
Seriously, everything we were trying to achieve with c5, and more. I just wish the c++ was more modern, but I know when the project started.
Getting started with Angular 2
They brought on the Bukkit team years ago to develop the API but that never came about. https://mojang.com/2012/02/minecraft-team-strengthened/
Psst. It is ok to use compiler specific extensions and semantics, as long as it isn't MSVC++.
Jail is the constitutional exception to slavery, so American law enforcement has had a built-in incentive since reconstruction to incarcerate as many people as possible to make up the work gangs that had previously been filled with slaves.
Hey, if you haven't seen it before, this article by Scott Adams (the Dilbert guy) is a great summary of gender bias in the workplace:

http://blog.dilbert.com/post/114055529676/my-verdict-on-gend...

If you're going to read it, don't just skim it; read it from end to end.
Firefox is making DV certs look more secure, which is the opposite.

If Firefox believe users don't know understand the difference, the logical thing is to help fix that, not make it worse.
I've been thinking about MC's mod community as I recently picked Minecraft back up for a couple of days, and just how impossible any of it would've been if Microsoft had owned the property from the outset. MCP would've been C&D'd in a matter of weeks and that'd've been the end of it. Today, while MS has mostly left the existing mod community alone, I'm sure they wouldn't be friendly to someone who created an intermediary server that allowed the different MC platforms to interact, especially as they enabled this feature only for Windows 10 machines<->Mobile in June.

Let's hope this becomes Minetest's time to shine.
I think he may be the best refutation against people who don't believe in 10x engineers. Imagine you want to create a VR prototype and get to hire 100 average programmers with some experience in the industry, and you're up against Carmack with a month until your demo...
Remind me how long LTS gives you to upgrade to a new version.

If you're waiting until the very end of LTS support to upgrade, you're doing it wrong anyways.
Is Keck’s Law Coming to an End?
OK, so then lets change my equation:

unsecure-cert= me + some unknown entity + possibly others

no-cert = me + some unknown entity + absolutely others

So, and insecure-cert still seems like the lesser evil?
Sketch 3.5
When someone of great importance to the community passes away, a black line is added to the top bar as a show of respect. In today's case, it is for Marvin Minsky (https://en.wikipedia.org/wiki/Marvin_Minsky), pioneer of artificial intelligence research.
It says "Spot the differences? :) There’s none."

Really? The BPG is WAY worse, IMHO. It's immediately apparent. I noticed it with my eyes before I parsed the text.
LWT's channels look more like filehandles. I think the GP was asking about channels in the CSP sense. It looks like LWT has that too in the form of streams.
Well, this is derived from the Windows 10 edition which is a version of the original C++ pocket edition code, and has cross platform multiplayer I believe, I'd be surprised if they don't come out with a Linux/Max version eventually.
When I initially read your reply I was going to suggest perhaps the homogeneity of Scandinavia might be a contributing factor. There is less of "us vs them" whereas in the UK and the US, there are many different groups of people, most of them are conquered people. In those cases, it's quite easy to see why there's such a sharp contrast. However, upon greater reflection, China also has very harsh sentences and a strong desire for revenge and China is pretty homogeneous so my initial theory doesn't make sense. One thing I wonder about is whether Scandinavia is the norm or the exception. To someone like me, a Chinese-American, harsh sentencing and "good vs evil" is the social norm, even if it's incredibly naive. I am now really curious as to what lead to the difference.
Great format!

$20k for 1.5% if the company ever IPO's or becomes more valuable than $100MM. I wonder what YC's normal stake is in a company after a company is valued at more than $100MM.
CONSUMER CREDIT PROPOSAL: HOW OUR CASHLESS SOCIETY CAN LEAVE YOU PENNILESS
European Union Wants to Surveil Not Regulate Bitcoin
I take your comment to mean that you find the BPG version of that engineer picture -- being "overly smoothed" -- to be unrealistic, comparatively. I think the face, as a whole, looks crisper. Even though the sharpness isn't there, the lack of visible artifacts just looks plain better. This reminds me, weirdly, of seeing video through an old television. The resolution is poor, but it's not poor in a way where I think the image is fake. Things still look real.

Separately, though, take a look at other features of the image: the beams running lengthwise down the shell, specifically the ones on the top left of the image. The BPG version makes them look niceeeeee and crisp, whereas the WebP version looks very bad.

Other places where I think the BPG compression looks noticeably better: her uniform (right sleeve, right leg, etc), the rivets along the top edge of the platform she's standing on, where she's grabbing that power tool.

One thing I noticed in the BPG version is that some gradient areas have more visual banding compared to the WebP version.
Why not another BPG-like based on VP9, then?
...I'm fairly sure that by 'cognitive map', Minsky means that student should have an idea what the given subject / field is really all about, where it is useful and what kind of problems it tries to solve, even if they are taking the first baby steps on studying it. Visualizations would be only tangentially related.
[paywall] Workaround unknown.
To reiterate your point. I've used free/complimentary wifi that overlays ads (specifically: megabus wifi). It is awful and even made some sites difficult to use. My solution at the time was to use a VPN, but it would have been nice if I didn't have to resort to that.
Insólito: Un Ayuntamiento español en Cataluña declara “persona no grata” el Rey
Assuming MC does move to a C++ main version:

I wonder if anyone is studying this and drawing parallels to the Python 3 or Perl 6 efforts. There seems to be a lot of similarities.

* Existing product is great, but limitations are being encountered

* Decision is made (or reality admitted, depending on your view) that you have to make a dramatic change

* Community is split, progress is slow

* ???

I'm a huge Minecraft fan (it's about the only computer game I regularly play), and while the community has lots of grump people, it's also fairly adaptable. This would be a huge shock though, and I'm more interested in what happens over, say, 6-12 months than I am in initial reactions.
“Critical” is the highest. A link to the list of severities is smack in the middle of the message.

> Please see the following page for further details of severity levels: https://www.openssl.org/policies/secpolicy.html
We've just updated to C++11 as of a couple weeks ago. Partially the issue was when it started, partially the issue is that we have to support older platforms and we have a C++ client library to worry about.
To be fair, the majority of HN comments on the Oculus acquisition also took a similar upset tone, more than I've ever seen (except for maybe the announcement of Angular 2), so Notch's opinion only seems odd out of context.
GitLab's 50th Release: 8.4
I wonder if a solar sintering machine could be made nearly as precise as an SLS machine. Maybe if you could focus the beam into a fibre optic cable and measure the intensity of light to control the path planning.
Modern applications for a software-driven world
I don't see a distinction between raising kickstarter money and later selling to Facebook vs early access money and later selling to Microsoft.

Notch promised Minecraft would eventually be released open source when he was raising early access dollars, and he seems to have completely reneged on it with the sale to Microsoft.

Oculus got acquired by Facebook and still afterwards released the complete hardware schematics for DK1, the kickstarter project, for anyone to use on Github.

The Facebook acquisition still probably wasn't a good thing; they seem to be want to turn what are essentially Monitors+tracking into game consoles with exclusives etc. You'll have a headset from one company and have to buy the equivalent spec headset from another just to get access to all the games. It's going to be like a future where Skyrim 2 were only released for BenQ monitors. You may already have a monitor with a panel made to the same spec in the same fab, but now you have to have an extra monitor you hook up only occassionaly to play some of your games.

They've said they might port their store to other PC headsets, but have made no real commitments.
I wonder whether the converted equity includes pro rata rights, too
You only read half the statement. I said "push for legislation to seriously curtail solitary confinement, for children and adults alike, throughout the state systems."
If you are coming from .net look into xamarin else XCode is the way to go
"The fucking article's author"
Much more trivial way to do this. Take your google cardboard to your gym. No $$ or computer or arduino required. Not even a bicycle. Just use the accelerometer to measure how fast your bobbing up and down as you cycle. Increase the sensitivity as required. (Unless you're one of those master cyclists who can keep your head totally steady while cycling.)
That definitely supports their assertion, thank you.
Data analysis reveals that US cities are segregating the wealthy
Perhaps GIF wasn't intended for this use case? Oh right, it wasn't. There are plenty of video formats that are. That doesn't make them "GIF replacement".