skysight-inc/HackerNews huggingface dataset:
In 1993 my wife and I had a son, and we decided to homeschool him. I took responsibility for my son’s mathematics education. I started by collecting hundreds of used math books (and some new ones), and then I identified the best of them to use as textbooks. I discovered that most of the books were of very low quality, and that only a few of them seemed to be any good. I did not realize until my son was in college that the reason the “good” books were good was because they were based on formal mathematics.

My son did not have any noticeable talent for mathematics when he first started learning it. In fact, he was not very good at math at all. I couldn’t directly teach him math because I did not understand it very well at that time, so I had him work through some of the math books I set aside. Before he went to college, he worked through one “Saxon Math” arithmetic book, one book titled “How to Think Like a Mathematician” by Kevin Houston (which dealt with how to do proofs), and a book titled “Fundamental Mathematics” fourth edition by Wade and Taylor (which was based on 1960s New Math). Around a third of the way through the fundamental mathematics book he apparently saw how formal mathematics worked because he started being able to do mathematics quickly, accurately, and with confidence. He did not like math very much up to this point, but as soon as he was able to do math, he began to like it more and more.

Before college, my son never took even one math test. When he entered college, he majored in mathematics and physics. He was easily able to do all of the work in the mathematics and physics courses he took. This past spring he graduated with a GPA of 3.9.

Since 2008 I have been developing open source mathematics software that students can use to learn how mathematics works at a deep level. Here are some examples of what I have created so far:

http://patternmatics.org/test/expression_structure.html
http://patternmatics.org/
https://www.youtube.com/watch?v=kYtsQ_PczlY
http://www.mathpiper.org/

The last link is to an education-oriented computer algebra system. If you (or anyone else) is interested in learning more about this software and my thoughts on mathematics education, feel free to ask questions about it on the MathPiper developer list.
Not at all. When companies decline to obey local law, it's reasonable for them to be cut off from operating in that country. Which is what the judge is proposing, temporarily. Probably with longer cutoffs to follow if this doesn't inspire obedience of judicial orders.
Only if the "driver" can decide to move out of the way if needed, without the passenger directing it
You're assuming a constant arrival rate and zero overhead. Both of which are definitely not accurate.

As a wild guess, you're off by 1000x. You may say 400MBps is still not too crazy, but it's beyond the real capacity of many systems out there.
I am a regular Windows user (split between OSX and Windows, actually, but Windows gets used on a daily basis) and I can't think of a single Qt app I use on a regular basis now. Actually, with my current workflow, I can't think of a Qt or GTK app that I use on a regular basis on either platform.

I guess Wireshark's Qt and it gets used occasionally. But most of the cross-platform Qt and GTK stuff I used to install (Pidgin and GIMP immediately come to mind) I haven't even installed on a machine in ages. I've moved to native alternatives for a lot of the stuff I run, and what cross-platform applications I do run (Chrome, Sublime, etc.) tend to implement UIs with the native toolkit, since that's a much better experience on non-Linux platforms.
isn't this the minmax of the peak rate?
Skype might be the most popular.
Does your microwave let you override its safety choices?
The author holds a rather loose definition of redundancy. If a user-friendly loop construct is redundant because you could use use jumps, then a car is redundant because you could just walk everywhere. Phones? Redundant, just go over in person and talk. Running water?
There are numerous existing authentication and authorisation layers/tools available that already support things like rate limiting, locking on X failed attempts, etc.

There are also numerous existing open source TOTP/HOTP 2FA systems.

Yes, you will likely need to do a little work to make things work together - but you are a software developer.

Using these existing systems is not like rolling your own crypto, it's like building your app on top of an open source crypto library.
Google Cloud Storage does not support append.

One reason these things don't support append is at some point they need to choose the "version" of the object. Usually this is done when an object upload has completed.

If they allow arbitrary appends to objects, then they would have a hard time assigning any type of ordering to them, as the concept of an object being "complete" would be thrown out the window.

(EDIT: and what does it mean to have a GET on an object, if you don't know the latest version to return?)

I think something like this could be implemented, but it would probably be an entirely different product that supported some specific traditional file operations (rename, ftruncate, link, etc) but had different scaling properties.
Despite being a big fan of Producthunt, I honestly don't think that PH can raise that kind of money unless they change into a techcrunch sv news type site and even then...(which I guess is sort of happening given how they are changing their homepage content).
Why should a lowly regional judge in Germany (or the US for that matter) be allowed to meddle with a national or global communications network? There must be millions of judges in the world, many of whom are corrupt, power-hungry, or just plain stupid. It would be silly for Facebook, Google, etc. to blindly obey each one of their ramblings.

Edit: s/shut down/meddle with/
You mean appending things on the end of files or what? If so, probably because its trivial to work around by storing the data in new files - and large data where this would be valuable should be broken down into pieces for n different reasons anyway.

Why do people who ask questions fall slightly short of providing enough information to meaningfully answer them?
Because reconciling 2 separate appends to 2 separate nodes which have different copies of the data would be a huge mess.
To be clear, I'm not advocating for the use of Telegram. I keep posting this in hopes that moxie will understand just how important UX is and hire accordingly.

WhatsApp, Telegram etc. are going to eat Signal's lunch because of the UX and I would like that not to happen.
> Other countries often just call it PR.

Very urgently needed PR, if one considers the pace at which the country is turning into an Orwellian total surveillance state (most recent data point: CISA bill hidden in the federal budget bill).
Also my last Lexmark printer was awful
Dolphins Using Sea Sponges as Tools (2014)
Stanford students using computer science for social good
Did 1.5m brazilians just decide to sign up for Telegram, or is number the total amount of Telegram users?

The tweet isn't exactly clear on this and doesn't actually even indicate that these are brazilians.

Edit: This shines some light on it. Brazilian Judge Shuts down Whatsapp, leading to more Telegram users. http://techcrunch.com/2015/12/16/brazils-congress-has-shut-d...
Yes, that's all true.

But they don't compel third parties to block the company's app.
I don't believe it matters what you or I think about the seriousness (or lack thereof) of someone's chosen name and gender. If someone tells me the name they prefer to go by, I'm going to call them that; I don't have to take it "seriously", of course, but I'm not going to call them Frank if they tell me they're the Lady Chablis. It's just a basic show of respect.

No one can make you call Lil Miss Hot Mess by her chosen name, but, ethically, I don't think anyone can tell her not to go by that name, and I don't believe it is ethical to demand she "prove" that's the name she wants to go by, either. If she says it's the name she prefers...well, who would know better what she wants?
This is really cool. Wish it was a standard class in all CS departments.
Running, and lately I became more dedicated to powerlifting. Running is great because it gives you a chance to disconnect from all electronics and clear your mind. You can run alone or as part of a running group, so it can't be an extremely social or individual activity. If you go to a gym dedicated specifically to strength building and not just a commercial gym, you can meet great people who are willing to help you with some lifts.
It's neat that one person did that. But debugging on-highway? Bad idea.

Finding a safe place to test an autonomous vehicle on a budget is hard, but not impossible. Our initial testing in 2004 was in a large unused Sun parking lot in Fremont.[1] (Sun got carried away with expansion plans, and started building a big facility there. They paved the parking lots and poured the building foundations, then stopped construction.) Later off-road testing was at the Woodside Horse Park. We also looked into testing at the Hollister off-road vehicle park, and discovered we could book a sizable area on a weekday for our exclusive use. We never used that, though. We'd also looked into using the old FMC tank test track in San Jose, but never found a good contact there.

[1] https://goo.gl/maps/8CZsJZ6SPbA2
The idea is that if WhatsApp doesn’t want to be blocked, they have to follow the laws.

And so they are blocked for 48 hours, warning them that they might be blocked permanently.

It’s the only way to deal with lawbreaking companies in a globalized world.
So, I just bought 3 rental properties and laid out my "landlord stack" in a recent comment here: https://news.ycombinator.com/item?id=10727238

I'm not sure this tool is compelling enough to get me to switch away from my existing tools. My biggest issue is that you don't have any big screenshots or a demo account to play with. I would suggest you fix that RIGHT NOW.

Beyond that, some other thoughts:

- "Watch your properties get paid off" sounds like watching paint dry. Even though I paid cash for my properties, I can't imagine a several years process like this being something people would check in on. That's not to say there aren't many valuable analytics you could provide.

- 7 day support turnaround for a paid plan? You might as well say "We're going to treat you the same way Comcast does" I'd remove this right away and raise the price of that $10 plan.

Overall, it's hard to see the value-add beyond trying to replace my accounting tools and address book. There definitely are some needs I see as a landlord, but I can't tell if you offer them. Feel free to email me if you want more feedback.
You can definitely fall into that because yes, the ride always ends up in the same place.

But if you think you can steer it, then you can still have the growth mindset. I don't think you need to convince yourself that there's a point in order to have that.

I think if it as, well, I'm on this ride, I'm not hopping off prematurely, which means I'm stuck here for a while, so why not see the interesting places the ride can take me?

Whenever I find myself starting to stress out, it's because I think I _need_ to be somewhere when I'm not, which is a result of being attached to the outcome of some part of the ride. But there's really no point in being attached to an outcome because even that part will be over soon anyways.
Thanks. "Polish" isn't my strongest suit.
Why should a company use a disparate number of login systems for their various products? Having a login system for each and every product is a huge liability, as you then have to either roll out code amongst several different systems, or you have to continuously audit several different codebases, all of which function in the same exact way.
S3 is a key/value store. Appends don't make sense in that context. If you think of it as a key/value store, then a lot of their constraints start to make more sense.
But unlike drones, he is in the vehicle the entire time and can easily intervene.

The article does a good job of explaining the inherent danger someone (and those around him) faces when attempting something like this. The point is that he's attempting to push the boundaries and not asking for permission -- generally the conditions required to innovate. Maybe that should be celebrated before you bust out the "b-b-but it's dangerous!"
New Rules for the New Economy (1997)
Huh. Well, I'm just going to go out on a limb here and say that it's probably some other aspect of libertarianism that offended them. Just saying.

Unless they're actually offended by non-violence, in which case they probably did you a favor.
I've never seen any of the films and don't plan on it anytime soon. I've certainly heard about the new film though, but I wouldn't want to spend all that time in a movie theater.
But whatsapp don't have a business presence in Brazil.

Just because they have users there is not the same as a business presence.
The Greatest Juggler Alive, Now in Concrete Construction Business (2014)
Why is this allowed?
There is no intrinsic motivation.
http://researchnews.osu.edu/archive/inmotiv.htm
Your `friendship` table is a simple adjacency list representation for an undirected graph. As you point out, the main trouble in using a relational database for a true graph model is to process graph traversals, which you can do with nested inner queries, joins, or Postgres' WITH RECURSIVE. A graph database, for that reason, is usually optimized as a very efficient sequential JOIN machine, where you can imagine successive JOINS as connecting the endpoints of edges along a graph path.

By the way, if you're interested in graph representations for efficient querying, check out TripleStores [1], and the Wiki list on subject-predicate-object databases [2].

[1] https://en.wikipedia.org/wiki/Triplestore
[2] https://en.wikipedia.org/wiki/List_of_subject-predicate-obje...
He added a demo account per a later comment username:demo, password:demo
Which is exactly the point I (the parent comment of this thread) was trying to make: The desktop/laptop (which I described using the term computer in my original post) market is declining. Not because they aren't used anymore, but because I don't need to replace them anymore.
This is great, thank you. I know more needs to be added to make this ideal for every use case - but I was never going to get there without introducing it to other people. Thank you for your feedback, I'll certainly be implementing most it!
I never came across any MSX machines when I was a kid and collecting weird computers. Did they ever make it across the pond to the US market? eBay has a few at the moment, but all are Japanese imports, I think. Likewise, the Amstrad seemed to have an interesting history, but I never found one and guess they never sold in the US.

Not that I need more computers...I live in a travel trailer, and already have a C64, a modern desktop, a modern laptop, a netbook, two tablets, and probably other crap I'm not thinking of. But, whenever I see stuff like this, I really want to tinker with it, on the real hardware (somehow emulation isn't quite the same). I wonder if there are any FPGA recreations of these machines that would run SymbOS? That's been a subject I've started getting interested in, since one can have a "real" Amiga, Atari ST, and C64, in a single hardware package just by loading new images.

Edit: So, I did some googling, and the Replay FPGA computer has begun shipping to pre-orders, and it currently has support for Amiga and a few others. The developer seems to be planning support for MSX (as well as the BBC machine, which was also on my "I wish I could play with one" list). So, the MiST, the MiniMig, and the Replay are all options for retro computing nerds who want to not fill their closet with old machinery. That's pretty cool.

http://www.fpgaarcade.com/platforms/
This is exactly what I was trying to say, thank you.
It's been years since the Google car has been in research. I've seen a video of it, perfectly driving a blind man in 2012. It was amazing, but now it's almost 2016 and I know nothing new.

What have they been doing over the last 3 years? I even tried reading their blog, but they only report on building more prototypes or driving more miles. It's a blackout of actual information about their challenges and achievements. When will they be confident enough to launch it, or at least talk about it?
Hmm, that's helpful, thank you.
SSL has just been added, I think it's slowly being propagated out.
Adding ESLint to the Microsoft's New Code Editor
FYI, in the dashboard, I clicked Rent Payments (which is not under SSL), then Subscribe which opens Stripe Checkout.
The last time I tried to play with encrypted circuit code it was extremely, extremely, extremely slow. To put this into context: just adding and subtracting 64 bit numbers on a garbled circuit was considered quite a complex operation - taking several seconds to several minutes to evaluate.

Needless to say - I was very disappointed. I had originally started looking into FHE, functional encryption, and hommomorphic encryption as a novel solution to several trust problems in the Bitcoin world (as you could potentially write fully self-contained, encrypted, ECDSA signing and verification programs that could operate as fully decentralized autonomous entities.) So when researcher say that FHE is holy grail type stuff - they really aren't joking.

My question is: how long until any of this stuff will work for large algorithms?
S3 is eventually consistent, appending an eventually consistent file is going to get very messy, very fast - what happens when an append reaches a replica node before an earlier one does?

If you're happy with out of order appends, just use a container file format like Parquet where appends are actually additional file creations
Erlang Programming Language Erlang/OTP 18.2 has been released
How does this site stop the tap on the top of the screen / title bar of safari from scrolling up to the top? Rather irritating.
Craigslist is a great idea! Thanks!
Main issue with that part of Nvidia middleware is proprietary license so no one can publicly share improvements for other vendors GPUs.

Also as far as I understand the default licensing option for most of Nvidia middleware don't contain source code at all.
The 7 Things Great Listeners Do Differently
In a Self-Serve World, Startups Find Value in Human Helpers
"security" question on a login form: "What's your favorite sports team". Anonymous message asking the same. Would I reply? Probably not.

Also, the question might reveal the future present. Perhaps ask more questions at once to mask the real intent. Still, I would not reply to this, not sure what the solution would be.
SSL is being propagated out! Thanks for pointing that out!
Dictator-like behavior has a polarizing effect, which is generally the precursor to large realignments (and possibly violence). On that note: please be careful!

"The more you tighten your grip, the more star systems will slip through your fingers." - Stars Wars Episode 4

Large realignments are the fallout: those who benefit from the dictatorship will be in favor of it. Dictators also have difficulty maintaining their grip on power.
Hint of New Particle at CERN's Large Hadron Collider
> Or increase taxes? Social security taxation is limited to the first ~$120K of someone's income. Why?

Because social security is billed as a retirement scheme, not a wealth transfer scheme. The idea being that you get back out approximately what you get in.

Since benefits are capped, payments necessarily are. If you want to change social security into an explicit wealth transfer scheme, expect heavy resistance.
Having lived around Davidsonville, MD for awhile, I'm pretty certain that the 'pragmatic' folk you referenced feel absolutely trampled by the establishment in the nearby megalopolis. I know a farmer there, he barely scratches out a living - much of the local farmland was bought up by rich lawyers to build large homes.

My point being that I think you actually unwittingly identified this 'midwest/coastal divide' in your own backyard.
I think your basically right, but the paradox actually makes more sense when you understand a few nuances of Protestantism:

0) Reformed (i.e. Calvinist) theologians made significant efforts to argue their understanding of predestination was not deterministic because humans are moral agents and responsible for their actions. They were aware and quite comfortable that God predestining morally responsible people is a paradox (technically referred to as an antinomy).

1) Reformed theologians also taught the predestined are 'born-again', meaning they are given a new spiritual life that changes that person's perspective and attitudes towards everything. The predestined evidence their salvation by good works.

Here's where the growth mindset would apply. Reformed theologians taught predestination as a motivating belief, rather than a fatalistic one. Grace, or salvation, in Reformed theology doesn't comes through religious observance but comes from faith, which demonstrates itself in how a person lives.
Also note that most homomorphic encryption schemes proposed so far are based on LWE and are therefore also conjectured to be resistant to quantum attacks.
Stanford researcher scans his own brain for a year and a half
> helping to make a craigslist add from the property info and photos

FWIW, postlets.com is great while we wait for rentolize.com ;)
Why Mars colonies should be independent from Earth
More reliable I think. Node doesn't get the very high kind of uptime that Erlang does.
> From my perspective, Windows is an inferior system to any UNIX-based system on almost every front.

The core architecture of Windows NT is actually pretty nice. Its chief architect, Dave Cutler, was one of the lead developers of VMS. I think Windows NT and VMS do IO much better than Unix/Linux - making the basic primitives asynchronous, and layering synchronous IO on top, instead of asynchronous IO being a fragile afterthought. However, Microsoft has (no doubt forced by backward compatibility) layered a lot of less than pleasant legacy cruft on top of this nice core.
We make sure our justice system is not corrupt. You don't get to ignore our laws, just because you conveniently hint to corruption.

If you feel our country is too corrupt to make business in, great, stay away.

Why should we allow extra-legal, non-elected company managers from abroad to trump our constitutional, legal and parliamentary-approved laws?
>Simply teaching you some respect, as well as some factual accuracy.

The author of the parent comment has established that they made a mistake. Maybe you weren't outraged before but now there is some readily apparent hostility.
Same kind of thing happened to me with google chat, years ago, when it was an xmpp service. They turned it into a gmail account and automatically inserted it into the address book of everyone I chatted with, and it was close to half a year of confusion before I worked out why certain people just couldn't seem to get in touch with me anymore.
"Why must WhatsApp comply with Brazilian laws? They have no offices there.
"
They don't.

They only have to comply if they don't want to be blocked.

"If I run, say, a porn site, hosted in the US, as a US company, is it my responsibility to prevent users in a country where pornography is illegal from using my site? Do I have any duty to comply with said country requesting the identity and viewing history of citizens living in it?
"

Generally not, as long as you are not going to travel to that country and subject yourself to personal jurisdiction ;-)

"Of course not. That country can certainly block my site if their laws allow them to, but the idea that whatsapp /has/ to comply is ridiculous.
"

Errr, they have to comply or be blocked from brazil's perspective, and that's what the poster said.
It doesn't sound like you disagree with that, so i'm not clear on what you are arguing for ...
Is it so much to ask that people don't keep erroneously stating he built the car? The car he used was an off-the-shelf component.