jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
One of the classic papers on category theory and databases is "Comprehending Queries"[1], which is ultimately the basis for Microsoft's LINQ. In one sense, it's a fairly straightforward paper: Joining two tables is just a special case of a list comprehension, which the paper later transforms into optimizable combinators. Nonetheless, the paper presents a clean and elegant framework, and it lays out the category theory quite well.

As for category theory being mostly definitions, and not so much theorems, well, there's some truth in that. But don't underestimate the power of well-chosen definitions. An enormous number of mathematical structures are either topoi or closed cartesian categories. Once you understand how to map a closed cartesian category onto the lambda calculus, for example, you can design some pretty exotic programming languages. And many of the purely mathematical uses of category theory have a similar quality—smuggling theorems from one branch of mathematics to another. (One pretty reasonable introduction to category theory is "Basic Category Theory for Computer Scientists"[2], but there may be something better.)

[1] http://www.inf.uni-konstanz.de/dbis/publications/download/TG...
[2] http://www.amazon.com/Category-Computer-Scientists-Foundatio...
The snipping tool is actually one of the major reasons I upgraded to windows7.

I used to use an old japanese program called screencut that while useful was an abomination man. Snipping tool is so much nicer.
I'm from Europe, and my electrical engineering degree didn't cost me a single euro. So with me, it was more question like "Is it worth the time? I could spend time on something much more interesting."
Droid Does? What is this, copywriter was a fan of "sega does what nintendon't"?
Don't put words in my mouth.

My original point, long ago, was that criticizing art is separate from criticizing the artist personally, and that it's absurd to "look down on" the artist simply because you don't like some or all of their art. Even if you hate their art, you're not necessarily better than the artist.

As for the critiquing of art, I don't say that nobody should say their thoughts on it. But your thoughts are not the final word on anything. If you say 'that is horrible' and I say 'it moves me', then it has value to me and none to you. For one of us it is bad art, for the other it is important.

From a society standpoint, we tend to value works of art that have some sort of influence. This is exceptionally hard to measure real-time, and is the reason so many great artists made little money during their lifetime.

As such, I don't say that all art is "good art", even though you dishonestly put those words into my mouth. I simply say that criticism is personal, and that real-time, societal criticism has large error (particularly when done by people who aren't familiar with what else has been tried before), because you're predicting the results of the art rather than waiting and observing the effects.

But mostly, my point has always been that it's absurd to "look down on" the artist because you don't like a particular piece of work.
@jeanyang - Thanks, this is a terrific answer!

"When you only have access control, you're trusting the programmer to tell you correctly at one point where a piece of data is going."

Right, that pretty much sums it all up, and I have my suspicions (independent of your response) that something like Jeeves could add value even to a "state of the art" company like Facebook :)

I'll be watching your project with great interest and may even follow up with you "offline" once I dig in some more, because I think you're really onto something of great importance. Any sufficiently complex enterprise system eventually needs something not too different from what you're working on here...
I was genuinely asking in my question above. I'm all for it as long as it makes sense. I've never messed with aliasing or anything like that - I'm decently fluent in Objective-C but have only really dabbled in ruby/js.

After looking around halfway through writing this, this looks pretty nice:

http://stackoverflow.com/questions/11091740/is-it-possible-t...

I see what you're saying. Maybe it's Stockholm Syndrome, but I do like knowing associated files in 3rd party libraries easily too. I don't know, I'll experiment with this more in ruby and see how it feels.
Oh, so you want to go for bonus rounds!

Bonus question #1: If sea level rise is an exponential with respect to time, at what rate would we have to extract sea floor material to keep the level at a current coastline constant?

Bonus question #2: What is the minimum sea wall you would need along the coast of all continents in order to hold back sea level rise?

The point being such questions are always useful for eliciting the interviewee's response who questions they might consider to be "unknowable" when they start the interview.
Indeed, flexibility and adaptability are vital to a global language.
The prize is based on ROI anyway, right? So the value in having more capital streaming in just means you have the luxury of adjusting your picks. The trade-off being that you're now obligated to put it all to work.
You are not required to understand this concept. But if you're working on a large team and your branch history gets this complicated, you can still effectively use git to manage it. Try that with less-popular version control systems. (Mercurial comes to mind, actually.)
2048 - React
>Any time I hear complaints about "the other side" being bad without recognition of failures of "their side" I can't help but dismiss that as petulance.

My side has never been in power. Cant really have failures if you've never gotten into power. Suppose we could discuss failing to win an election but alas.

>The "freedom" protest was an anti-vax protest, no?

No. It was simply anti-mandates. It was highly successful in eliminating most mandates.

> I get the problem with being subjected to a mandated medical treatment but that's also balanced by a less than respected take on the anti-vax movement in general (IMHO being anti-science and anti-reason).

That wouldn't be a fair characterization. For 2 years there wasn't a freedom protest. When much of europe and the USA had dropped mandates, Canada had actually gone the other direction and increased restrictions. The key catalyst being a new mandate that put significant number of antivaxxers out of a job.

>And as to censorship, there's some speech which is not healthy for society and should not be promoted. How that is done is a delicate and dangerous dance but to engage on that subject without acknowledging that issue is disingenuous at best.

If twitter quietly banned every tweet that just says racial slurs for example. Nobody would ever hear about it, if someone shows me they got banned because they said nothing but a racial slur. I would ignore them.

In fact all the twitter alternatives do filter racial slurs and such. There is no 'not healthy for society'

That's not what I showed is happening. I never said racial slurs. In fact I never said anything wrong at all. It is by mere association that I am punished. This is intentionally done.
Because process isolation under unix is pretty lax. Processes have by default have all the rights of the user. And you might end up with a system different from the initial state
Copyright industry pressure.
Hopefully not (although possibly) just like Skype: https://en.wikipedia.org/wiki/Skype_security#Eavesdropping_b...

Presumably the encryption of open source SIP clients and Firefox hello are more trustworthy(?).
Your all plebs
Doesn't that sound like a poor architecture then?

If the system is reliant on the main device, what happens if that gets run over or destroyed? WhatsApp have no control over the fate of the device.
Why wouldn't they store the messages on the server and sync from that? WhatsApp have control of the fate of their own servers, which is far more reliable, SURELY.

If I send a new message from a device, either the other devices can poll periodically for messages that I have sent, or they can use WebSockets and be notified when a new message is sent, or when the app opens it can fetch all the recent messages that I have sent from other devices. It isn't difficult with a fine grained timestamp, surely? That's what Google Talk does.

You'd only need to order my messages by timestamp to get all messages that I had sent.

It's a bit of a daft architecture if it is incapable of this basic mechanism, isn't it?
They're not just comparing the faulty drives numbers. Maybe you misunderstood the way they presented the data: in the first table, the "Number of Drives" column refers to the total number of drives they studied for each model, not just the ones that failed. So they give the sample size and the rate of failure for each model.

Or are you saying that the difference in worldwide sales for each drive model somehow renders Backblaze's failure rates invalid? The size of the population is irrelevant unless the size of the sample exceeds a few percent of the total population you are examining.
The point being made is that 'merge request' is a better description than 'pull request' for the same functionality, where one requests that a repo pull from your fork's branch and merge it's commits.
I was scared that the Japanese version, Yahoo Chiebukuro would shut down also, but at least at the moment it seems to be only the English version that's shutting down.

Yahoo Chiebukuro is an indispensable resource for me every time I want to ask stupid questions or see candid answers about Japanese culture / way of thinking.
Yes absolutely. If things have to move fast, people/institutions have to refer to heuristics. But in my understanding this also is pretty much what the article described.
Anybody use CherryPy?
Hi HNers! John from Trio here. I'm working on Trio because I want to have richer social experiences with my friends online and develop the social video space -- I feel like there is a lot of potential to make video as effortless as in-person communication, but there is a lot of work to be done to find out what works and what doesn't. it's a hard UX problem. AMA! :)
> The music is done with a shader, which is in itself insane.

I don't really see any advantage/disadvantage to doing music with a shader Vs CPU.

No modern CPU would struggle with the computation for this code, and nor would a GPU. It seems it's just a matter of the programmer being more familiar with the world of graphics.
sex != porn indeed, however porn = sex + entertainment (+art?).
what about php
There is now an exporter, both in netscape bookmark format and json :)
After reading the full story I read all the comments here on HN. I didn't see mentioned several thoughts I had while reading the story, so I thought I'd share them here.

1) Transparency. I thought it was really interesting how candid and transparent the author was with his story. And this was in 1995. In many ways this was an experiment of its time, as he was willing to let all parties involved know about what he was thinking and what others were thinking as well (by republishing the public's opinion letters). You don't see this much of a "black box" in people's activities these days, even with all the social networking status updates. People simply leave out a lot of detail in fear of what others will think, or how it might affect them in some way (personally, professionally, etc...)

2) Big corporations often forget how to relate to their customers. This story exemplifies how nasty and out of touch big corporations often are, even when a loyal customer (10 years is a long time for anything) attempts to negotiate a reasonable outcome. Big companies simply "feel" bigger and stronger than individuals; and they generally are. Millions of people feel insignificant when they're treated so systematically unappreciated. These problems are likely worse today.

3) Insider details revealed. It is interesting to note that he revealed a lot of details that only someone in his position (or work for a bank, news agency, or television studio) would know. That really makes the story interesting because you feel like you're learning about how things work behind the scenes. In particular, it was interesting to follow the route of the check and hear about the clearinghouse bank, as well as how quickly the check landed in the hands of the Fed. Additionally, it was really valuable to see how the media works, specifically for how stories have to be pitched/approved/edited all across a large organization such as the WSJ before it's printed. Also notable was how the radio seemed to take a back seat to television, and would only really come in after national press already covered the story. You walk away from this story thinking you have a better idea of how these systems work.

4) Social engineering / social influence. His approach to getting information, or changing a person's attitude is evident in his anecdotes. He was social engineering in several instances, whether he realized it in those terms or not. It was interesting how he was able to change a person's negative attitude by simply sticking to his guns, but then phrasing things in a way that comforted the other person. There is likely a lot of value in his approaches for all of life's situations (business, friends, etc).

It's hard to imagine that I missed this story when it was originally happening. I certainly remember the OJ trial, and I was very active on BBSes and the Internet in the 80s/90s. Quite awesome that a 15 year old story resurfaced and I got a chance to feel it out now.
From MSNBC:

"When he was first arrested, Manning was put on suicide watch, but his status was quickly changed to "Prevention of Injury" watch (POI), and under this lesser pretense he has been forced into his life of mind-numbing tedium. His treatment is harsh, punitive and taking its toll, says Coombs.

'There is no evidence he's a threat to himself, and shouldn't be held in such severe conditions under the artifice of his own protection.'

"The command is basing this treatment of him solely on the nature of the pending charges, and on an unrelated incident where a service member in the facility took his own life," Coombs said, referencing the February suicide of a marine captain in the Quantico brig. Coombs says he believes Quantico officials are keeping Manning under close watch with strict limitations on his activity out of an overabundance of caution. Both Coombs and Manning's psychologist, Coombs says, are sure Manning is mentally healthy, that there is no evidence he's a threat to himself, and shouldn't be held in such severe conditions under the artifice of his own protection."

http://bltwy.msnbc.msn.com/politics/bradley-mannings-prison-...

C.f. also Glenn Greenwald's column from the other day, where he says:

"From the beginning of his detention, Manning has been held in intensive solitary confinement. For 23 out of 24 hours every day -- for seven straight months and counting -- he sits completely alone in his cell. Even inside his cell, his activities are heavily restricted; he's barred even from exercising and is under constant surveillance to enforce those restrictions. For reasons that appear completely punitive, he's being denied many of the most basic attributes of civilized imprisonment, including even a pillow or sheets for his bed (he is not and never has been on suicide watch). For the one hour per day when he is freed from this isolation, he is barred from accessing any news or current events programs."

http://www.salon.com/news/opinion/glenn_greenwald/2010/12/14...

Greenwald is currently addressing the perceived discrepancies between what he wrote and what Coombs said on his twitter account:

"@jon_persky Quantico is emphatic that he's not on suicide watch. And what would that have to do with 23hr/day solitary?" http://twitter.com/ggreenwald/status/16417820896141312

"@sivavaid "His treatment is harsh, punitive and taking its toll, says Coombs. http://is.gd/iYYbv " http://twitter.com/ggreenwald/status/16297100627156992

"@jsb (1) He's not on suicide watch & Coombs didn't say he was; (2) Combs: "he is not allowed to have a pillow"; (3) 23/hr/day solitary" http://twitter.com/ggreenwald/status/16249290229809153

So possibly he was on suicide watch for a couple days, but they quickly determined he was not suicidal and have since been taking punitive action against him.
I am a pharmacy student in a top university in the UK, so the workload is pretty daunting. I take time to focus on my books and run my websites. I use the holiday period to build websites and during school period, read my book and run the websites (not build). This method works really well for me.
In the startup world, there is a lot of love for young founders, because many believe only they can be disruptive and come up with innovative startups. As I get older, I should resent such a preconception, but I agree with it.

And now I understand why it is so: the more experience I gain, the better I am at knowing right away if something is going to work or not. But what I gain in efficiency, I lose in innovation.

http://blog.fairsoftware.net/2010/12/16/young-and-clueless-a...
I just read a bunch of reviews in the app store and there are plenty one star reviews that say something like "what a rip off! This isn't free at all! You need to buy the language packs to do anything", a lot of those reviews even add that if it just cost $10 instead of falsely claiming to be free it would sell like crazy. So maybe the freemium model is a little too clever.
Same feeling here. I reinstalled yesterday and sold my MacBook Pro last night. Feels so refreshing to be going back to Linux after all this time.

“Freedom as in liberty”
Worth noting that Xcode doesn't just include the IDE, but also an entire LLVM/clang toolchain as well as SDKs and simulator OS disk images for macOS, iOS, watchOS, and tvOS.

It probably wouldn't hurt to split that up a bit — perhaps Xcode could install only the toolchain and macOS SDKs by default with the rest being downloadable on demand, but there's definitely a lot more going on there than just IDE/text editor. It's an all-in-one appleOS development kit.
Al-Jazari lived centuries before the Ottomans existed.

Otherwise, having studied the Ottomans extensively, I wouldn’t say they chose stability over anything else. Their slow downfall was due more to a gradual fossilization of their institutions. For example, the Janissaries went from a highly-trained elite force to essentially a social club that everyone wanted to join. The sultans themselves also gradually became less competent.

Also of note is that the Ottomans were initially on the cutting edge of military technology and even exported quite a lot of it to the Mughals, who then had an advantage over their opponents. So, they certainly weren’t “behind” technologically.

Pretty much the same pattern as any empire, really. Initial warrior class conquers land, their immediate descendants develop a refined culture, and it’s all downhill from there as following generations aim but fail to recapture the magic.
"Men own most bitcoins"

"Mostly men are into computer technology."

Where exactly in the bitcoin purchase or process the gender of a person relevant or disclosed? Why do people try to drag gender into things where it has zero relevance.

I'm not trying to be a lawyer, the point is, that this argument has as much logic as "Aquarians are better swimmers." You can't prove or disprove it.. either way, it's irrelevant..
Lovely hardware porn.

Incandescent lamps under re-label-able (what a word) keycaps. Seems like a fantasy level of "design to the UI and damn the cost" to me. Makes perfect sense for gear that is installed as important infrastructure and must be serviceable etc.
The point is: If Rust is supposed to replace as _the_ systems programming language, it needs to be as portable as C.

There is no point in arguing what architectures are considered obscure and which are not since there a lot of fields of applications in industry and research which use architectures most people never heard of such as Elbrus 2000 or Sunway.
Because you get your food as described 9/10 times, and the 1/10 times you don't, you can report the driver who messed up and they will, most likely, lose their job. (One of the benefits of the new "gig economy.") It's very much against the driver's best interest to deliberately mess up orders.
I thought he was honest about it and specifically said it was more of a problem due to his perspective of it.
He's a citizen, so denied entry would be pretty curious.
It looks like Cypress added Firefox & Edge support last year but initially it was just Chrome.

Playwright also has a python version (https://github.com/microsoft/playwright-python)

And I just discovered that they now have a real nifty debugger you can use to inspect/step-through tests as they run (https://playwright.dev/docs/next/debug/#playwright-inspector)
The integrated ethereum wallet is a red flag for me.
Grades show a strong influence from conscientiousness, but exam scores do not.

> And consciensciousness is actually negatively correlated with IQ.

In the same way that SAT math scores are negatively correlated with SAT verbal scores, which is to say only in thresholded samples.

https://sci-hub.se/10.1016/j.paid.2014.06.014
Am I correct in assuming that this is sarcasm?
Yes! Marker components, as we like to call them are a common and encouraged pattern :)
Hasn't this extend/embrace thing got a little tired now. Are people still living 15-20 years in the past?
Great, but I think he is missing one more big requirement. Your vote must be secret.
That is, there must be no way for YOU to prove others how you voted. If not, bribery and enforcement become possible - and will happen.

To make things even more complicated, it would also be good if you can be sure and CHECK at any point that you vote was counted the way you intended. I don't know if there is a solution to this, but I'm imagining something like a hash code, that you see the moment you vote, together with feedback. That is, you can actually see, that your vote got counted the moment you vote and then later you can use the hash code to see, that the data base was not corrupted. Of course you should not be able to prove how you voted.
They didn't need to release through Kickstarter, but this was a nice gesture from Pebble to offer their products to Kickstarter backers at a discount and priority (backers get their Pebble Time watches before it goes to retail).

It is also a huge marketing success in getting their brand out there. They properly framed themselves as the underdog with a superior product vs Apple.
I think the bigger news here is the Chromebit. A $100 device that turns any monitor into a computer? Fascinating.
Anyone who finds any database sexually attractive seriously needs counseling.
I wonder why TCP implementations don't monitor mid-stream changes to things like packet TTLs and optionally drop the connections as a result, or rather, I wonder what would break if they did something like that.
Continuous integration can -- and does -- happen with local development teams using their own equipment. In general, those are typically pretty trusting environments where Firecracker style isolation is not as critical.
They don't even need to do that. If they are large enough where it would become millions there is a different license for them that they can negotiate with Epic.

Note: it doesn't have a royalty