skysight-inc/HackerNews huggingface dataset:
> That's not the point... by bringing up age as an important factor, you are then discounting the work.

I think this isnt valid in this case - the work is more impressive exactly because it is being done by someone that young, and this is so huge accomplishment because it is so much easier and more common thing to achieve at later age. I can't see his work being discounted here.

> Regardless of my age, I think my work should stand on its own against anything that currently exists.

I also can't agree with that - if you have 30 years of programming experience and what you're making are hello-world type of programs (that's what I was doing around 14) then you are obviously underperforming and simply doing bad. However, at 14 the very same work was already outstanding when compared to my friends at the same age, because most of what they were doing was running around on the yard. And none of them ended up as a professional runner (but still, they might be happier today than me, being professional hello-world engineer ;)
Star+ice_-_Lekpa.mp3+-+MegaTox.Com
The Surprisingly Simple Way to Handle Impostor Syndrome
So most of my meals are very bachelor-like. Cook some sort of protein(chicken/steak/fish) or eggs/meat/cheese in a pan on the stove and then an entire steamable bag of frozen veggies of some sort. If I want to get really fancy I will do either a stir fry or beef/turkey chili with some veggies/beans mixed in. Depending on how busy I am during the day this can be anywhere from 4-8 pm.

If I have hunger issues later on I will drink cold water or unsweetened vanilla almond milk (It's crazy, IIRC, an entire half gallon is only 200 calories).
Even if PDF.js is in general more secure than certain external PDF readers, it now provides a common attack surface for potentially every platform FF runs on, and therefore, it could make FF less secure on certain platforms than it would be if it simply delegated to whatever PDF reader the platform or users prefer. Instead of having to find 0-days for Adobe Reader on Windows, Evince/Okular on Linux, and others, they only had to find a flaw in PDF.js itself.

The PDF.js project was started largely because Adobe Reader has a horrible security track record and Windows users don't keep it up to date. Well, Linux users don't generally use Reader, and they benefit from package management, so they were just needlessly put at risk to protect others.

I have changed FF to open all PDFs with Evince, and I couldn't be happier. It's faster and has a better UI. I've added it to the ever-growing checklist of things to do after installing FF, which includes installing multiple plug-ins to partially mitigate browser fingerprinting, something that Mozilla has known about at least since 2010 but has done virtually nothing to prevent[1] and something that I and many other users would prefer they work on instead of PDF.js or Pocket integration.

1. https://wiki.mozilla.org/Fingerprinting
But none that describe the cause of the bug, right?
It's not that you couldn't have, it's that you didn't.

Although when I was 14, the references to do this were not readily available. With all credit to "Omar", it's also credit to how available and intelligible our reference material is for techniques like this.

Honestly though, writing OSs? People make it magic. In reality, they're just programs. It's fun. There are even really smooth (albeit way outdated) tutorials like NachOS out there (https://www.ida.liu.se/~TDDI12/material/begguide/)
Aw man, Hacker News is going to fail soon because hackernews.com is taken by someone else. (At least this means I'll spend my time writing useful software instead of making snarky comments on the internet.)

On a more serious note, if I'm reading the article right, `ipython` is still the IPython CLI interface, it's just that less-related commands like `ipython notebook` are now `jupyter notebook`, right?
Somebodies got to do the ASM, write the operating systems and compilers, and those guys are more hardcore than I!
Kalman Filters are super efficient to calculate - they're what kept the Apollo program on track (60s compute!). Another post gives the asymptotic complexity - but as a rule of thumb if you can do any practical computation at all you can run a Kalman Filter.

Basically they're both implementations of a recursive Bayesian filter, but the Kalman filter requires very strong assumptions about the distribution (all Gaussian) and the particle filter requires none.

The Kalman filter is optimal for the Gaussian case (and is very efficient to calculate), whilst the particle filter can use more accurate distributions but is far less efficient to calculate.

You kinda use them in different places - a Kalman filter is useless for pedestrian dead reckoning (step made + estimate of direction), whilst a particle filter would be similarly dumb on submarines.
My go to with Chipotle is to get a bowl w/ fajita veggies subbed for rice and beans, double barbacoa, cheese, lettuce, hot salsa and sour cream. I will eat what I can and then mix the leftovers with eggs the following day.
Great, but before people submit they should consider whether or not the page they are submitting is legible. If I handed you a printed manuscript that was hard to read would you persevere or hand it back to me?
The context appears to be low level programming.
Learning, understanding & doing: real value for self
Testing: external value for others

The latter is useless in both the real world and for the student. Tests/grades aren't the only way to show progress.

(disclaimer: dad homeschooling a kid)
Mathematician says Kansas voting machines need audit
The Chubby lock service for loosely-coupled distributed systems [pdf]
An SSL proxy server for a high traffic website is a good example of something that needs a lot of secure random numbers, I think.
Learning Fluency – An Essay
Formative or summative tests?

There's no rule that says every test has to count to your final grade.
Another cool resource for learning to apply and implement Kalman filters is Udacity's AI for Robotics (focused on self driving cars) course by Sebastian Thrun. Apparently Kalman filters are how Google's self driving cars predict the velocity of other cars from their position.

https://www.udacity.com/course/artificial-intelligence-for-r...
Generally you can't grow silicon crystals in your garage, although you can create the photovoltaic effect with amorphous materials (see CIGS solar cells). A good start is to apprentice with a solar installation company to get a feel for what is the "current" situation.
This is cool, but I'm not sure why it's a hard problem to solve for a computer running through a ton of 5-sided polygons with some basic rules and attempting to tessellate them? Is there a reason that approach doesn't work, other than being rather un-romantic as far as discovering cool new things like this goes?
Europython 2015 videos
You also have to lift weights of at least 70% of your max on a regular basis. It also has a single specific limit on carb intake for every body type.

Sleep is probably the best diet in existence.
How hard would it be to strengthen a Linux-system to make the browser operate with less rights in order to give an attacker less access to the /etc/* folders? Because that seems to be the main angle of attack. Get user permission via bug in browser, just download a lot of files / folders and see if anything useful pops up.
Yeah, the bowl is the trick, even with the double protein. When I tell people the tortilla is 300 calories alone they universally gasp and refuse to believe me.
Toad 12.6 for Oracle
Not really. If you're moderately good at both then you'll get a similar score on both, and they will average out to about the same as both. So you'll still get the score you would've gotten before.
Honestly, I think it is a mix of glycemic index being affected by the longer fast and eating less. As I stated in my response below, my experience has been that the fewer meals I eat, the less I overeat.

I know that last statement isn't anything groundbreaking, but if you can get through the initial hunger created by changing your eating schedule, it can be hugely beneficial to limiting your caloric intake.
An algorithm defines a startup. Don't sell yourself short.
Great news, Does any one know/recommend a python ORM for RethinkDB ?
Yeah, great reasons why it doesn't work—what 5-sided polygons are you going to run through? The hard bit is the side lengths; there are good reasons to think that the angles cannot be too weird. But for example, this pentagon has one side of side length 1 / (sqrt(2) (sqrt(3) - 1)). How long is your exhaustive enumeration going to go until it finds that one?

Anyway, it sounds like clever enumeration is exactly what these authors did—but you do have to be clever to find something at all.
The screenshots link is dead at the time I write this (5h after submission).
Have you ever watched (heard) someone talking with the mic held between their lips/teeth - you can be a couple feet away from them and not hear them over the sound of the train/bus. It's actually pretty awesome.
I have never understood scaling, exams are meant to provide employers and yourself with a rating of how well you know the subject, ideally in comparison to everyone else in the field. So if you fail, but everyone else fails too, you get an A. If yo do 'well' but a group of 5 out of 30 excel, you get a lower than representative grade (representative of your knowledge). How about making the questions worth points and the 100 points = 100%? 93+ = A, 80-93 = B etc. That's how all 3 of my undergrad degrees worked. I knew what I needed to do for a grade and damn everyone else.
Empty advice. Risk is an element no matter where you invest. I expected to read more about risk management or factors to consider, etc. Instead, you're left holding thin air.

Regarding holding employee stock, I consider it as part of an investment strategy that's based on market conditions and personal profile.. much like any other stock.

I surely wouldn't sell for the sake of risk. The premise sounds naive and confusing.
Well, I've been around the SV block once or twice.
I dont know about Linux, but if you'd be comfortable leaving it-is-linux-only-that-exists land, then PC-BSD[0], which is a desktop focused distro of FreeBSD[1], allows you running your browser in a Jail[2], which is a container technology with years of battle experience in production :)

[0] https://www.pcbsd.org/

[1] https://www.freebsd.org/

[2] https://www.freebsd.org/doc/handbook/jails.html
Having worked in both Linux and Windows shops, yes, there are people that would readily use Windows on a π, because that's what they know best. Could they use Linux? Yeah, probably, they're smart people. However, that's a bunch of extra steps when you really just want to get things working and hack around on some code.

At some point they might get curious and try Linux on it as well, but I'm all for whatever makes it easier for someone to get into trying something new without a lot of burden. For some people that means using Windows so they can use the platform and tooling they're most familiar with (Visual Studio and .net).

Yes, there's mono and such, but even that still brings its own complexity when you actually consider what else it takes to get set up and going for someone that's never used Linux before (or outside of some courses in college).

It's like wanting to build furniture, but then told you should plant a tree, wait for that tree to grow, chop it down, cut it up for wood, then you can start building some furniture. Most people would give up long before actually making any furniture in that case.
The server hosting his site went down. Here's the github link: https://github.com/omarrx024/exdos
math dept is getting shitfaced tonight...
Miscellaneous interesting quotes from Coders at Work
Management must of course be honest. And, especially at inflection points like initial hire, new financings, or major changes in burn/strategy/etc, it should share with employees an optimistic-yet-plausible projection of the business prospects. (Attentive employees should ask; management should answer.)

But once that's done – and perhaps in somewhat coarse, conditional, speculative terms – a running detailed 'soap opera' of the sustaining-funding-hunt can be destructive. Many employees would honestly not want to be distracted by a play-by-play: "that prospect fell through but we've got more meetings next week! drop dead date is still 152 days away! next update tomorrow morning!" Employees also don't want their most-jittery (but possibly still key-role) coworkers to depart early: making the worst-case scenario incrementally more likely.

The balancing will always be tough: is a believed 80%-chance of uninterrupted operation enough to keep sending a cheery, full-speed-ahead message? Or must you alert, "20% chance of failure!", to everyone? (Which, of course, causes some to assume the risk is even worse, and might derail the 80% chance of success.)

It's the idea of a firm, quite-long threshold – and in a startup domain that's inherently uncertain – that I find absurd. ("6 months" is three times larger than the 60-day federal law for notice of mass plant layoffs, by giant well-capitalized corporations.)
"That same year an unlikely mathematical pioneer entered the fray: Marjorie Rice, a San Diego housewife in her 50s, who had read about James’ discovery in Scientific American. An amateur mathematician, Rice developed her own notation and method and over the next few years discovered another four types of pentagon that tile the plane. "

https://en.wikipedia.org/wiki/Marjorie_Rice
Also look at a caloric intake / use over a larger moving window. The notion that our body functions on a daily unit of time is artificial. If you look at a larger window, managing a diet becomes easier.
> 1 / (sqrt(2) (sqrt(3) - 1))

I don't mean in any way to demean their research, but I think your exhaustive search could build up formulas in exactly that form and iterate on them. It starts with a valid pentagon. Then it permutes that pentagon with an evolutionary method by modifying the formula.

For example, maybe the lengths it tries are:

1 / 2

1 / sqrt(2)

1 / sqrt(2) * 3

1 / sqrt(2) - 1

1 / sqrt(2) * (3)

1 / sqrt(2) * sqrt(3)

It would try both these and many others along the way.

1 / exp(2) ...

2 / sqrt(2) ...

Again, not to trivialize, but there are only so formulas made up of a fixed number of terms and operators, and as long as it's easy to check whether a shape is a valid pentagon, and whether it tiles, then I think you could check a considerable number of them. It looks like a number of the pentagon formulas have a few sides with complex lengths, while the others are simple or equal to each other, so you could bias the algorithm to search for those.

I'm sure there's way more complexity I'm overlooking, but that's how one might get started.
Maybe we should get rid of weight classes for boxing, women's leagues for sports, and anything that acknowledges accomplishments for anyone that is not 100% objectively the best on the planet.
As others have said there seems to only be a single Word document Microsoft have published on the "Windows Platform Binary Table". I then found the following MSDN Forums question (with posts between 2013-07-16 and 2013-07-18) about how to implement WPBT by someone with the username "kevinwu1980". A Google search for "kevinwu1980 lenovo" gave me this (the page is now a redirect). If that MSDN Forums post is by the same guy then Lenovo was likely working on this in mid-2013:

> Kernel Service Protection for Client Security

> doi.ieeecomputersociety.org/10.1109/MSP.2010.112

> by HJK Wu - ‎2010

> ... for Client Security. Hui Jun (Kevin) Wu , Lenovo Global Desktop Development Laboratory ..... Contact him at kevinwu1980@gmail.com or wuhj@lenovo.com.

https://social.msdn.microsoft.com/Forums/windowsdesktop/en-U...
I researched Yokozunas and here's my findings.

They skip breakfast every single day and exercise for at least 5 hours before breakfast.

After lunch, they sleep. With plenty food and no physical activity, the body converts the food to fat. Same thing happens after dinner - sleep.

Before electricity, people ate dinner before sun down. This left enough time for some digestion and burning of excess energy.

My conclusion:

Skipping a meal is a great idea. The question is when. I've decided that the best time to skip a meal is dinner - not breakfast. Or as I tell my friends, Sleep Hungry.

Edit:

Yokozunas in Japan have perfected the art of inputting normal sized people and outputting obese people. I figured doing the exact opposite is the key to weight loss.
The angles don't seem so weird though
It is a filter and an adaptive one at that. To see it let's compare it with the simplest IIR:

x(k) = h * x(k-1) + (1-h) * u(k)

To use the same language as the blog post, at time k-1 our best estimate of the state is x(k-1). Here we don't know anything about the system dynamics (but if we do we can incorporate it as an FIR as well) so our projection for time k is simply x(k-1). Our measurement at time k is u(k). Based on the same criteria of combination we should combine these two sources of information with appropriate ratios controlled by h. Without an adaptive algorithm we appeal to our prior knowledge of the signal and noise statistics to fix h. Kalman filter as presented in the blog, on the other hand, can estimate the covariance of the signal to determine the best h at any time and therefore adapt to changes of the signal.
Yeah. Between nutritionists and economists it's hard to know who not to trust the most. Nearly everything we were told as children about what constitutes healthy eating turned out to be wrong - it's no surprise obesity is such a problem.
A big difference that can make it reasonable to have long or even infinite copyright terms is that copyright works are the creations of people's minds, not discoveries about nature. Somebody else creating something doesn't prevent you from creating your own thing that's just as good, or even the same thing if you can show you did it independently. But somebody else patenting a method for compressing video does prevent you from independently creating and selling your own video compression method if it happens to work the same way. Maybe that's the best way to compress video and the world would be denied it as long as the patent remains valid.

So nobody really needs to use other people's copyright works. Unlike patented ideas, you can always create your own instead. Or course, sometimes it's expensive and feels like a waste of effort reproducing what's already been done, but it's still not a restriction on doing your own thing the way patents are.

The way I see property ownership is that it's like a store of human labor. When you do work, you might get money from it, you might get a physical object from it (I made a table, now I own that table), or you might get a copyright work from it. All of these things can hold the value of the work you did and can be used to trade for other things. I don't think it's unreasonable to imagine that in a fair world, the people who did that work can keep the stored value they created as long as the market is willing to trade things for it. In the case of computer software, some value is lost whenever somebody uses your work, since you're not able to sell it to them anymore. Value is also lost if the the demand falls (obsolete software) but that's the risk of investing your labor in something with an uncertain lifetime, just as the value of a table is lost if fashions change and people want steel tables instead of wood.

Some copyright work has value and that's why people want to copy it, so they can gain that value for themselves at the expense of the copyright holder. But wouldn't it be more fair to make your own, instead of siphoning value out of other people's work without compensating them?
I'd be even more curious about the computation used to determine if a given set of sides and angles tessellates, and how long that computation takes. Approaches to enumerate possible expressions don't seem that far-fetched, if the resulting possibilities can be evaluated quickly.
There are a number of weird things about this article that make it hard to get through:

> For now, let’s talk about the type we’re going to generate for a particular value in terms of a generating function, $$F(x)$$ where $$x$$ can vary over our input domain of valid values for our dependent type system.

"Generating function" normally refers to a certain kind of power series in mathematics. The usage here is completely non-standard. An appropriate term would be "type constructor", "type operator", or "type-level function".

> To state this mathematically the function must satisfy the following rule $$\forall x_{0},x_{1} \in X, F(x_{0}) \neq F(x_{1})$$.

The rule contradicts the "idempotency" requirement given earlier in the article. The correct rule is: $$\forall x_{0},x_{1} \in X, x_{0} \neq x_{1} \implies F(x_{0}) \neq F(x_{1})$$. Speaking of idempotency...

> The first property is that a given type must be idempotent based on $$x$$ - that is, the type generated for a given input must remain the same and compare as equal regardless of how many times we call the generating function. Another way to state this is that we have to guarantee that $$F(x)$$ is a pure function, that is, it causes no observable side effects, and relies on no external state.

This is a super weird usage of the word "idempotent". Idemptency would mean $$\forall x. F(F(x)) = F(x)$$. Here, the author actually means $$\forall x, y. x = y \implies F(x) = F(y)$$, which is a totally different statement.

It's just really hard to get past these weird usages of terms. It feels like the author is just trying to sound smarter by (mis)using terms and concepts that are not familiar to him/her. Also, this article really misses the benefit of true dependent types, which is that you can encode mathematical propositions in them (where values of those types are proofs of the proposition).

I really appreciate the author's attempt to tackle this challenging material, but I think the presentation was poor.
The Bleeding Edge: Spark, Parquet and S3
The wording was confusing for me too. At first reading I understood it as saying CVEs were no longer being issued for Acrobat, which definitely isn't the case. I assume the intended meaning was that Acrobat was first released in 1993[0], but the first CVE was CVE-1999-0001 (source: downloaded the raw dump from [1], ran grep -m1 CVE-....-0001).

But, I'm doubtful there would have been all that many CVEs issued for Acrobat from 1993-1998. There was only one CVE that mentioned "Acrobat" each year from 1999-2001, and three in 2002. The more recent years are the fun ones - but I have no idea whether that's a result of freshly-introduced exploitable bugs or just increased attention.

[0]: https://en.wikipedia.org/wiki/Adobe_Acrobat_version_history

[1]: https://cve.mitre.org/data/downloads/index.html
There is a field of study around "mindset". The fairly famous book is called Mindset by Carol Dweck.

This infographic summarizes the ideas very well.

http://i.imgur.com/HGBY1tW.png
Monitoring Survey 2015
That approach does work. From the article:

"We discovered the tile using using a computer to exhaustively search through a large but finite set of possibilities,” said Casey.
I feel like Uber's PR team is stepping up their game. Yesterday it was how Uber is improving service to New York Boroughs.
I wonder what this means for the Vive.
As opposed to everyone else who will get a higher score than they would've gotten before.

That means your grade will be worse than it would've been otherwise when compared to your peers (which is the only useful meaning of a grade).
Well I suppose that is the Oxbridge model.

And you're right. It allowed me to pursue extracurriculars (rowing) throughout the year and then adjust to final exam studying at the end of the year.
Given that people are going in debt to buy stuff they don't need I think there may actually be a point to the reduced savings. Advertising and cheap credit go hand in hand.