skysight-inc/HackerNews huggingface dataset:
I really wish people would use word's features - having the entire document marked up with appropriate headings makes its a breeze to go through and restyle a document.

I find that while collaborating on things, I have to make a pass that involves purely going through and marking up heading text appropriately.

----

I've found the best compromise is to have a sort of technical prologue that discusses how to edit the document, or forcing people to work in something like markdown where the lack of font sizes force the use of a heading class notation.

I prefer https://stackedit.io/editor because it includes mathjax support which means you get access to a large swath of LaTeX style math tools.
A collection of NASA sounds from historic spaceflights and current missions
Cool! How do you draw heights? I always wondered whether the ground texture was really texture-mapped, or whether it was just drawn flat and then shades were drawn over it.
There's a chap who collects tons of videos like this on YouTube. He was mentioned on MetaFilter the other day: http://www.metafilter.com/143903/Do-you-like-vintage-trainin...

Or you can find his channel direct on https://www.youtube.com/user/webdev17/videos
Using Clojure at MixRadio
If I understand correctly Uniqueness Types cannot be used in place of regular Types? That is, if one function takes regular Types you can't have it work on an Uniqueness Type?

If so, doesn't that make Uniqueness Types very awkward to use?
You're absolutely right. The great unwashed doesn't view agile that way though.
A free, personal bus that delivers you to the front door of your place of work? That's not quite "public transportation."
On a sleepless night, I was playing with my iPhone and accidentally activated Siri. I never use Siri but I was bored and the screen had a couple of suggestions, one of them being something like "Is my daughter home". Puzzled about what that could possibly make Siri do (I don't have a daughter), I asked her that. Excited about the sudden attention, Siri decided to call a person in my contacts, a guy that I barely know and only spoke with years ago. Panicking, I pressed the home button instead of hanging up immediately, so the call probably went through, possibly waking him up in the middle of the night. I never heard from him so I don't know. But the experience was rather unpleasant.

I think the demos in this video look neat but I don't see myself using AI for anything that I have to rely on any time soon. I would constantly feel the need to double check it anyway.
Staples Investigates Breach – Expert Comments
Ah, sorry, I meant to ask if you think it's currently possible with asm perhaps, considering that we can already do quite a bit of heavy stuff in js right now. I have no doubt over time it will be doable, I'm just curious if we might already be there (purely technically, of course, I can imagine we might not have the right tools to actually pull it off right now).
It's sad that in the case of REST, this is not a minor deviation, but a major violation of core principles.
The Anti-hero of CSS Layout – “display:table”
Cardinal sin of disruptive product development: Not consulting the data source ....
I've had good luck using tools like Pandoc as part of a workflow to translate between various messes.
lol... this trend is striking me as stupid. perhaps it works for a few... perhaps switching from standing to sitting to get the jitters out.. but i would adjust an adjacent desk to the height of a chair and sit on it halfway through the day... cause then im not wondering why the fuck im in a standing position doing something my brain tells me i should do sitting...
I need to be able to span 500-1500 feet inside buildings and over complex terrain - a microwave shot is easy to do, but most of the stuff I'm doing is not that simple - worse off, most of the places I do this, have their own wireless networks that we are competing with for spectrum.
One of the best discussions on the subject, made by old hackers, but new guys to GUI programming, who tried both: https://www.youtube.com/watch?v=ON0A1dsQOV0
Adding Concurrency to Frege (Part 1 of 3) (2013)
Well I thought it came from the company behind it.
These unsubstantiated claims are pointless.
Interesting, it's something to think on. Creating such visualisations manually may be prohibitively complicated, but I can imagine some cases where they can be derived automatically (e.g., for compiler passes, an example IR can be displayed before and after).
+1 for SyncBack. With free version you can do NAS backup without problems. Not sure about the Amazon backup. But if you have Synology then you can set it up to do backups to Glacier from NAS instead of from your PC.
Well aware that gluten is not a product of the milling process. Never said that either.
I guess we are still waiting!
While CurrentC sucks, it's hard to blame retailers. When you use your credit cards, you are the one paying that extra 2% for the privilege to use a piece of plastic because every single merchants simply transfer that cost on to you. Apple Pay only makes getting rid of whole evil of credit cards harder.

Credit cards are drag on consumers and invisible tax created by banking system. They are effortless machines that generates profits without producing anything or adding a significant value. Before you make a case that credit cards protects against frauds, you should know that less than 1/700 of each dollar of credit card transactions are lost due to fraud. So in essence, 99.93% of your transaction fees goes in to bank and other middleman's pockets for no apparent value add. A small part of this CC companies throws at you as "reward" breadcrumbs. Also credit cards are hardly useful as debt instruments because of exorbitant interest rates most of them carry.

What we need is not another mechanism to use credit cards more easily but eliminate them completely. So if we can build a mechanism that identifies you, debits some sort of spending account directly and provide fraud insurance at the rate of 0.07% of your annual charges then we can get rid of all these fat middlemans who are essentially leaching on consumers without a value add. CurrentC doesn't seem like perfect contender yet but it's step in right direction where retailers are fighting back.
My problem with backblaze is that it takes soooo long to backup everything. It's got a good version control setup and web interface, but seriously, it took like 2 or 3 months before it had at least 80% of my data on their servers.
This is definitely underhanded. I have to say that I didn't believe their offer from the beginning, though. There are just a couple of "unlimited backup" services out there - Crashplan and Backblaze - and they make it pretty hard to upload a ton of data to them.
2007: http://research.google.com/pubs/pub32774.html
How can Google and its competitors consult the data source at the scale they deal with?
I think one of the main points is the language. GTK is a C framework, Qt is C++. A lot of people in Linux community prefer to use old school C. Also licensing was certainly an issue at some point. The open source project I was working on made the choice to use GTK because it was Free. If we had to make the choice now, again, we would choose Qt. But it is too late to rewrite years worth of code.
It's not like he has anything (more) to hide.
On-Demand Delivery heats up in Paris
http://www.windows93.net/c/apps.js

Gateway Anti-Virus Alert

This request is blocked by the SonicWALL Gateway Anti-Virus Service. Name: GriYo (Trojan)

This could be a false positive, but thought I'd spread the word, I was wondering why it wasnt loading.. Will have a look at that JS and see if it's trying to leverage some browser exploits somehow.
Ubuntu is switching to Qt for Ubuntu Touch. If I remember correctly it is about building resolution independent applications, which GTK has (had?) poor support for.

For Desktop you can build Qt QML-applications with Unity/GTK themeing I think.

http://developer.ubuntu.com/apps/qml/
This should have mandatory crypto built in from the beginning so that third party push providers can be used without causing privacy/security concerns.

The browser and the web server should negotiate an encryption key, or set of encryption keys during setup, and any push messages signed and encrypted. That way, any third party push provider can't inpect the messages.

Also, pigs should learn to fly.
Congratulations then :)
Works great, smooth. Thank you!
The anti-competitive behaviour was the conversations with Apple regarding collusion to undermine Sun. These conversations spanned email, phone calls and meetings all within close proximity. The email was the clearest indication of it as it spelt out the "clear plan" on which Microsoft would proceed.

As per the email, the phone call (which in itself cannot be proved but more matter is shared later on when Microsoft CFO/Treasurer met with Jobs and other documents came to light).
Before I started to use Qt in my python projects, I was using GTK. At the time, there was no absolute reason for doing so - it was merely the first thing I tried.

For various reasons (memory is vague, it was a while back), I soon began to get frustrated with GTK.

Then I started reading various articles on the subject of 3rd-party Gnome theme designers getting extremely frustrated because for every point release of Gnome/Gtk, their themes broke in lots of annoying ways. I read about those frustrations, about incredulity that a point release introduced non-backwards compatible changes, about anger at Gnome developer's responses to those frustrations.

A very good article to read is http://igurublog.wordpress.com/2012/11/05/gnome-et-al-rottin...

Gnome itself.. I stopped using Gnome desktop not long after that - the big push for me was the transition from being a great desktop environment in Gnome 2, to some horrible abomination in Gnome 3. Now, some people like Gnome 3's way of doing things, I don't. For similar reasons I refuse to have anything to do with Ubuntu's Unity.

The Gnome developer response to issues leaves something to be desired... "We know best, shut up!" is the best way I can describe my impression of them. There's something almost, dare I say it, Communist Party in my opinion, of how they do things. It puts me off.

I've been using KDE since then - it presents me with a desktop that's useful to me.

It also led me to try out the Qt library. What a breath of fresh air! Well documented! No unexpected changes in operation or backwards-incompatibility in minor revisions! Great responses from Qt/KDE developers!

Anyway that's my own personal experience - I wouldn't dare suggest that is why others choose Qt & KDE in favour of Gnome/Gtk.
Returning Arrays
Breaz.io Opens Up Its Tech Talent Auctionhouse to Interns
Google Plus for Business Marketing: How to Improve Your Engagement on Google+
Cool I see your point.

In my mind grinding is processing. It is being processed so we can make something something else out of it. Would you eat it on its own?

I broadly wipe that anything that can't be done with ones hands is processed. But that opens the question if cooking meat is considered processing.

I can't see prehistoric man grinding wheat to make a meal.
Ah, yes, if there are other transmitters nearby or in your target area then that complicates matters considerably, especially if you can't dictate what channels those use.

Another option then might be to have a spool of fiber and to use that instead. Fiber will happily go longer distances without much chance of interference or repeater issues. It's a more expensive option than copper but if you need to go over the easy-to-do-with-copper distance that might be a viable solution. Best of luck with this, it's funny how doing the last kilometer of a link can be harder than getting packets from here the other side of the Atlantic. Very easy to take infrastructure for granted.
You have repeatedly called flour a processed ingredient; and linked that processing to gluten.

It's not surprising that people think you're claiming that milling flour is "processing" it, or that you think gluten is a result of whatever people are doing to flour.
You might also want to check out live programming, which focuses on interactive debugging rather than the improvised problem solving (as well as live performance) of live coding. Once you get to live programming, techniques like time travel become viable, which otherwise don't make much sense with live coding. You can then better tackle traditional programming problems with better live feedback.
Also, while GTK is written in C, it is designed with cross-language compatability in mind. GTK has first class support in C, C++, Vala, Python, and Javascript (there are still more official bindings and countless unofficial bindings). Qt is almost exclusively a C++ framework. There are Python bindings, but they aren't comparable to GTK's.
I think the user created "echo chamber" is a real problem that is mentioned in passing here, but not really addressed.

Many times, friends have told me that they either hid or simply unfriended connections that posted political or ideological viewpoints which differed from their own. Although I try to keep my feed diverse, I admit to doing the same for the particularly extreme posters.

It suspect this is one of several factors in the increased partisan polarization and really should be studied further.
Wheat is used in many recipes without being ground into flour. See cracked wheat or bulgar wheat for examples.

Cooking meat causes chemical changes - maillard reaction. http://en.m.wikipedia.org/wiki/Maillard_reaction

Many low tech cultures use carbs obtained from crushing or pulping grains. The reason they don't use wheat is not because of the need for grinding but because of the need for agriculture.
You actually don't want to wipe on refresh; i.e. if you are doing a physics simulation using a standard stepped based integrator. You'd be surprised how many artists want to live code particle simulations.
That's correct. You can however have a function take a Type\star, meaning it accepts both Types and UniqueTypes. If such a function is passed a Type, that Type can only be used in the ways that UniqueTypes can be used ("any value of type Type* must also satisfy the requirement that it appears at most once on the right hand side"). The linked page provides an example of function composition defined using Type*:

(.) : {a, b, c : Type\star} -> (b -> c) -> (a -> b) -> a -> c

(.) f g x = f (g x)

Not being able to use UniqueTypes in place of regular Types could indeed cause some inconvenience, however I think to some degree it's unavoidable. Rust for instance doesn't let you pass a reference-counted or garbage-collected pointer to a function expecting a unique/borrowed pointer.

Note that \star should be an asterix character, but I'm not sure how to escape it properly here.
Any side chain must therefore be able to generate currency out of the blue and on-demand. This might be possible to do in other protocols but not bitcoin. So the symmetry is basically lost. am I missing something?
Sometimes I'd like to host my IDE online so i can just pick up my work from anywhere, then run my tests from anywhere.

Maybe thats one advantage.
It's hard to write something that's generic over a uniqueness type and a normal type, which is indeed a bit of a pain. It's not completely impossible: we have a kind 'Type*' which covers both unique and normal types, which can be used to make some polymorphic functions which preserve uniqueness, but that's all at the minute.

On the other hand, I see them as something you use when you want more precise control over memory management, control of in-place update and so on.

As ever, there's a trade off between efficiency and abstraction, which is where the partial evaluator comes in. This is still experimental and we're working on it, but I'm wondering if we can use partial evaluation to turn nicely abstract high level code into something efficient based on uniqueness types at run time.
Elon Musk: artificial intelligence is our biggest existential threat
Thank you!

I need to make a video demonstrating the midi recording functionality (its implemented entirely in Lua). I need to keep it short, write a script that is succinct and to the point, use a decent microphone, keep it short, actually narrate the thing and most importantly, keep it short.
I had real problems with the Glacier backup on Synology. Always failed.
We've seen a lot of articles talking about big dangers to Google lately. It's an interesting topic but I'm skeptical there's anything there. Because Google has got so many things going on everywhere, it's easy to find and latch onto missteps that fit with your preconceived notions of why Google is in big trouble.

In the meantime, big picture they are still the best search in quality, market share and revenue in 200 countries and continue to out-innovate the competition. The primary threat to their existence over the first decade, MS/IE, has been vanquished and Android is the future global OS and Chrome is the best in breed browser. Despite the constant privacy chatter, Gmail is still the #1 platform a decade after launch and they are again out-innovating everyone else in the email space. China is of course a problem for Google but that's a decision they are comfortable with for now.
From what the article says, it seems to imply that simply being in the KDE accounts file (a list of everyone who's able to commit to KDE) puts one in the "KDE" camp. That's almost certainly a bit misleading since many of the early engineering hires at Trolltech were KDE people who for more than a decade have been more "Qt" than "KDE". Also, since there are obvious dogfooding benefits to using a desktop built on the toolkit you develop, there are a good many people who worked for Trolltech (and later Nokia, then Digia) who used KDE and would have accounts created to commit an occasional patch.

A more interesting metric would be to see what percentage of Qt commits come from people who commit more to KDE than they do to Qt (and vice versa). As such, this just seems to establish what everybody already knew -- that the two projects are very intermingled.
I love KDE, except when my graphics card doesn't cooperate with it. When I first tried KDE3 when I installed Slackware the first time I tried Linux it was perfect. Now years later, Kubuntu with KDE4 is perfect. I really love the IRC client. I love Qt as well, I wish Qt Creator had a plugin for developing KDE apps. Great projects that solve many problems.
Behind the firewall lines – Internet firewall in College and Company
nice tip.. these standing desks still havent hit me as being anything other than a trendy absurdity.
Really? I know that GNOME 3 (and maybe also Unity) are the DEs of choice for HiDPI displays, so I'd be surprised if there were any real deficiencies in GTK's resolution handling.
Pedophile behavior in online communities doesn't harm anyone, and doesn't need professional help any more than homosexual behavior needs professional help. It's the illegal production of the product that causes the harm.
Using KLS backup in the last years with no issues:
http://www.kls-soft.com/klsbackup/
I'd rather smaller lines for each story. I can scroll in and out if I want it bigger. I'd also like to see a different font used. I don't like the logo placement as its distracting and in the way.
Importance of being Iceland
Two Yams and Marshmallows
Neither is a bicycle, but they're both alternatives to personal car ownership.
I was wondering the same thing, I use gpg-agent for both and it works perfectly well for me, and it seems to be the same for the author of the linked post.
I believe this spec is aiming to standardize the service offered primarily by Google (GCM) and Apple (APN), and open/standardize it for other people like pubnub/parse/pusher/...
The cyber enemy within: Rise of the insider threat
I haven't tried these, but there seems to be QT bindings for quite a few languages: https://qt-project.org/wiki/Category:LanguageBindings
Your comment pissed me off a bit.

> The more important question is, was there anything that prevented Sun or anyone else from implementing those in the other OSes?

Yes, they made calls to native microsoft frameworks etc.

> I do remember the MS JVM was significantly faster than Sun's.

Lets dig out the binaries and do a perf test.

> So the solution was to slow it down or for Sun to make it's own faster?

This comment makes no sense. No idea what you mean by it.

> It's in Microsoft's interest to make things run faster on it's own OS.

This isn't about performance

> How is that a good thing and what MS did bad?

Who said it is any different?

> Instead of improving the JVM, Sun decided to make money by suing MS.

Yea they just abandoned the JVM in 2005. Hasn't changed since.

> I remember using a popular bittorrent client called Azureus that ran on the JVM.

Java for front end had requirements that most desktops of the time failed to meet. So what?
Related plug: http://popist.com — launching shortly.
From what I've heard, GTK was born due to licensing restrictions of the older versions of Qt - Qt used to be dual-licensed, available either under a commercial license, or under GPL (not LGPL). Some people found that too restrictive.
Some peodophiles predate young people using online communities to do so. This does harm those people.

Making a link between homosexuality (consenting adults) with the paraphilia paedophilia (adults predating children) is a fucking weird thing to do.
And here's the problem: all of them are mutually incompatible in most situations. Even moving .tex documents over different platforms is an enormous pain, and pdflatex/xelatex don't possess the error reporting you need to quickly find which packages are missing on which systems.

Don't get me wrong, I love LaTeX, and I agree that the author misinterprets 'proprietary', but from a user standpoint the problem is the same: old documents are not rendered correctly, and new documents don't work with old compilers. It's a mess.
The article is correct, but you have to find a way to convince clients of your 2x estimate since they don't realize they are going to spend it over time with your competitor.
> For $100k/year workers (the main HN audience), it's cheap

So you don't believe the tale that the primary audience for Hacker News are actually working on startups?

If someone can't afford US$500, they can make a desk out of a plank of wood on top of some bricks or old furniture. A standup desk is a minor modification. One can then put a bunk bed for sleeping above the desk, and thus share the room with co-founders. Co-founders can then take turns sleeping in the car.
Alphatise is revolutionising the way we shop
> If you're dependent on creating products that people love with features that help people in their day-to-day lives, you can't afford to be completely insulated.

> A trader who is focused on a numbers all day - can.

Though I agree that insular corporate cultures can be bad, I do not find this argument very compelling. I thought part of Google's operations was turning things into numbers so they can make decisions based on those numbers. Yes, in practical terms, the features of Google products are what is important. But with a huge user base, they can afford to do A/B testing, try new features, etc. and turn it all those things into numbers which can be analyzed for trends. I suspect that is what they are doing when they kill things like their RSS reader, modify Google+ requirements, etc.

Edit: tweaked working
I've been using https://bvckup2.com/ to backup large files to a USB drive. Hasn't failed me yet.
I don't believe this outcome is possible for anything related to a rules change. Maybe for better functionality, but I have my doubts about that too.

In terms of the rules, it would mean we collectively have learned to solve something like the tragedy of the commons problem or a collective prisoners dilemma.

Market participants would have to en-mass choose an asset which is worse for each of them as individuals (as it loses value) for the sake of the greater good. Without a government forcing the issue, it is my belief this can't happen.