skysight-inc/HackerNews huggingface dataset:
I thought you could have calculus using 'computable numbers' that is reals that have a rule. It's been on my list for a while to look into it - there's some notes here for the curious http://math.stackexchange.com/questions/963061/can-the-set-o...
If there is one thing for which Canonical deserves some criticism is its insularity.

Many things Ubuntu end up being Ubuntu-only, sometimes for historical reasons, sometimes because a solution solves the problems Canonical has better and sometimes because things are done and few people know about them. Sometimes it's because Canonical is seen as an aggressive competitor. Launchpad is wonderful, but Github won. Bzr is not bad, but Git won. Unity is great for small screens, but Gnome 3 is an incredibly polished desktop environment and is clearly the future. Ubuntu phone is interesting, but Android clearly is unstoppable (and that has been clear for some time now).

It's really hard to compete with a whole industry by yourself.

Their software is good. They do awesome things but far too often they do it by themselves, without any help.
"Beef brains and veal (juvenile beef) or calf's brains are used in the cuisines of France; Italy; Spain; El Salvador; Mexico, etc. where they are called sesos in Spanish and are eaten in tacos and quesadillas; Pakistan, where they are known in Urdu as Maghaz; Portugal; Indonesia; and in the United States, especially in St. Louis, Missouri, and the Ohio River valley."

People do eat cow brains...I have at regular ol' restaurants in the USA.

https://en.wikipedia.org/wiki/Beef_brain
While it isn't work, reading technical articles regularly on HN can be very beneficial.

In fact, the first thing I tell aspiring developers is to start reading HN on a regular basis if they already aren't. It confers a sort of broad awareness of various stacks and ecosystems over time that's hard to obtain otherwise.
Once upon a time RetailMeNot was just a fly-by-night operation that scammed retailers using PPC ads and affiliate links. Look at them now.
You didn't say how fast it is?

That many drives, you should be able to saturate a good part of a 10Gb link. The difference for streaming read/write loads (like copying movies..) is night and day vs 1Gbit. That is assuming you've got enough CPU to run ZFS that fast. That is part of the reasons I stick to linux MD/xfs. Every time I try to use ZFS I run out of CPU or RAM. Also, given that I want low idle power means I'm not willing to throw enough hardware at it to make ZFS run well.
reddit, imgur, news sites. It was via an ad delivered over an ad network, so who knows really.
No it isn't. Speech is action. It has consequences.

https://en.wikipedia.org/wiki/Speech_act
https://en.wikipedia.org/wiki/Performative_utterance
[One of the co-founders of Landed]. This post doesn't really talk much about what we do. What we do is run down payment assistance programs for private schools and public school districts to help their teachers become financially secure near the communities they serve.

That's a mouthful! The economic problem here is that if you're a median wage household in a city like SF, NY, DC, etc. you will struggle to save enough money to make a conforming down payment while paying rent. Most of our teachers get trapped in a cycle of their wages increasing at the exact rate of their household expenses.

Homeownership in cities is not for everybody. But for those community members who are making a very long-term commitment to a place with very predictable salary schedules, locking in your housing payments is an important part of your security. In the absence of rent controls (which we can talk about at length on why they are often misguided), homeownership is the only form of insurance on rising housing costs.

As an owner (especially in California thanks to Prop13), you can be protected from the failure of all levels of government to build sufficient housing for rising economic activity in cities.
I'm really curious how people administer their K8S clusters for installation, upgrades, etc.

I'm very familiar with docker, which we've been using for over 2 years.
But now, we're trying to get k8s running, with either kargo, kubeadm, deb packages, etc.:
They all failed with different bugs on different set of clouds / settings. (Trying to stick to running it on Ubuntu xenial).

Not sure if it's because 1.6.* just came out of the oven when I started...?

Thanks to Minikube, I understand how powerful k8s can be, and actually find kubectl quite simple to use, but I'm confused by how fragile and complex installation and setup seems to be.
I'm unsure how someone is supposed to maintain this system considering how (overly?) modular it is and the bugs I've encountered. Knowing that docker has a LOT of bugs, and k8s builds on top of it, I'm a bit scared. And there is no clean documentation on how to install it, with sections for all your choices, in a generic/agnostic way (deb+rpm distros, cloud integration or simple abstract VMs, ...)

What is you workflow? :)
Of course a venture capitalist was no match for CMU’s updated poker-playing AI
Ember-Electron 2: Building Desktop Apps with Ember and Electron
One could argue that people buy iMacs because the Mac Pro pricing does not suit them, rather than anything to do with specs.

One would have to be a right chump to buy 4-year-old hardware at those prices. They were already pretty steep at release time, which you could justify as Apple tax; today they are just stupid. I know I'd rather get a computer that makes me wait a few seconds more for this or that intensive task, than subject myself to daylight robbery.
surely that figure is for all employees, not the politicians?
"According to Pythagoras everything is number, and God is a mathematician. This point of view has worked pretty well throughout the development of modern science. However now a neo-Pythagorian doctrine is emerging, according to which everything is 0/1 bits, ... , God is a computer programmer, not a mathematician, and the world is a ... a giant computer" [p13 of the pdf]

If you only have one finger then zero and one are just as real (ahem) as numbers that arise naturally when you have 10 fingers. The 10 toes are a bonus. I doubt that we can really know what Pythagoras really thought but given some of the results attributed to him I think Chaitin does him a disservice.

Getting wound up over whether French is a sophisticated enough language to describe numbers and some of the odder consequences of allowing construction to equate existence will probably only lead to a headache.

As a civilian wandering on the outskirts of all this philosophical foot stamping, I believe there are a fair few pretty rigorous arguments out there that can't be denied by resorting to "it looks wrong, cos reasons" style illustrations in a 13 page pdf.
60% or more :(

But there are SOME DAYS that I work 150%! ("in the flow")

So how to achieve flow consistently?

One of the few things that works for me is to get started working first thing in the morning: no news, no HN, until 10am, etc. When I can do this, I know I'll have a productive day.
Every time someone is acquired by Microsoft I can't avoid feeling sad for them.

It's true they'll get a decent amount of money, that, from now on, they have infinitely deep pockets, that they'll have some of the best keyboards and mice, but it's also true their wiki will end up in Sharepoint and their e-mails in Exchange.
The Definitive Guide to Emoji Domains
> You're invited to provide citations to the violated rules, regulations and laws.

From united contract of carriage:
UA shall have the right to refuse to transport or shall have the right to remove from the aircraft at any point, any Passenger for the following reasons...:

C) Force Majeure and Other Unforeseeable Conditions – Whenever such action is necessary or advisable by reason of weather or other conditions beyond UA’s control

H) Safety – Whenever refusal or removal of a Passenger may be necessary for the safety of such Passenger or other Passengers or members of the crew including, but not limited to: 3) Passengers who fail to comply with or interfere with the duties of the members of the flight crew.

He was definitely not complying with and interfering with the duties of the members of the flight crew.

Also, the distinction for boarding granting and non-granting is unclear to me. Is the fact that you receive a boarding pass indication that you're on the plane for good? Apparently not.

> people engaging in victim blaming

Assuming that the passenger was a victim. You should be blamed if you're at fault and unreasonable. If you're unhappy with the situation, deal with it later in the courts. Just like you can't talk your way out of a speeding ticket by "asserting your rights".
Well, that explains housing prices in SF...
I spent 60-70% of my time not working because even though I'm working with interesting technology, it's stuff that won't get used by almost anyway, my peers don't seem interested, my manager is absent and the requirements are all over the place (symptom of nobody caring, whatever is done is okay as long as it impresses, for some random definition of "impresses)...

... so it needs to be done to check an item in a list but nobody cares. If nobody cares, I don't care either, which makes me think I'm wasting my time, which leads to depression, feeling burnt out, procrastinating even more, etc.
Not counting lunch break, I'd say I probably spend ~90-95% working.
Well, before the development of fat Javascript heavy AJAXy type apps, with websockets, webrtc, etc. the difference was more marked.

A huge difference in granularity, at least. But also a conceptual one. In MOO type worlds the 'physical' objects one 'sees' in the [textual] 'world' are directly associated with programmatic objects (w/ prototypical inheritance but nicer IMHO than Javascript's).

And the environment was such that any MOO user could author -- by creating objects [cloning prototypes] and -- if they had programmer permissions -- by adding "verbs" (methods) to those objects.

And code written in the language was well sandboxed with decent permissions systems and a runtime that enforced good behaviour on programs. Tho in the early days of LambdaMOO it was somewhat easy to DOS the system, that got fixed.

Authoring was easy, barrier to entry low, but there was a consistent metaphor: users in adventure-game-like rooms, with objects that could be manipulated through English-like commands, and a descriptive narrative applied throughout.

I can't help but think this would all be much cooler in this day and age with the arrival of robust natural language parsing, 'augmented reality', and so on.
While the information stored in the disk is stored in the "analog" world (magnetic potential of parts of the platters), there's an infinite amount of states that lead to the same digital disk contents.
You can't take the digital representation and reconstruct the analog state that leads to it, since by doing the analog-to-digital conversion there was information loss.

And growing a body with a "blank" brain, what does that mean? Your conscience is absolutely intertwined with your body. If you take my mind and put it in Usain Bolt's body, that Frankenthing won't run 100m in <10s.
And what's the fate of their source control system?
Of course not. And if he'd said "alive implies needs resources", the argument would not be valid.

ianterrelwt posted the article explaining this.
Really? Pretty sure this is common in group conversations if you talk about divisive topics like politics, nuclear power, GM food, vaccinations etc. I guess with Facebook the group is a lot bigger though.
Why do people even need these level of pensions? They're very substantial if you consider many of these people will have paid off their mortgage by this time, and housing is the only really exploding cost for people recently (apart from healthcare but that'll be covered under Medicare).
What are some justified uses of rewrite rules?
Are you backing up all 36T to crashplan?

I've been using crashplan on my NAS for a few years now, but I feel bad and only really backup critical stuff. (aka its just a few TB) rather than the full 50T+ on the NAS.
Yes. When I sit at the desk I start working and time tracking and I don't slack off till I leave, except maybe to browse some music on Spotify to keep me concentrated.

When I was spending 9 hours/day as an employee, I'd be slacking off a cumulative 2/3 hours every day.
This is what "public funding for research" means. If we didn't want politics to affect research, we shouldn't have sold it to politicians.
First of all, that is amazing. But you are obviously the extreme exception (at least from my observations of other humans in America).
Almost ate a POISONOUS insect on the way to Chiquito Falls
Odd that you find closures weird. I use them everywhere that I can because it allows you to make your library more modular and, at the same time, allows you to write unit tests for otherwise impossible functions to test without dependency injections and other convoluted external setups that won't pinpoint the cause of an error very well.

Case in point, in the Ion shell that I am working on, I have a shell expansion module within that takes a structure containing closures that are used to grab and expand array variables, string variables, tilde variables, and process expansions.

Because of this, the module can live as an entirely separate piece of software with no dependency on the specifics of Ion, and I can write reduced unit tests that extensively test every component. I could strip it out of Ion and use it with a completely different shell project. That shell would just have to provide the batteries (closures) that define what to do with certain tokens.
Arguing for public pension reductions is a bit like arguing for your employer clawing back your salary, after you stopped working for them.

Most public jobs pay far less then private sector jobs. Pensions are one of the reasons behind it. They are part of your compensation package, not some communist largesse.
yo dawg, I heard you like kickbacks, so give us a kickback because you gave someone else a kickback, so we can kickback and relax

I'd prefer if our government did not engage in this practice
TFS+git would be my guess.
Not a specific cert per se, but super important info for a lawyer to understand if she wants to do law around technology.

http://kfrankc.me/cs88s/
Rust aims to be mainstream hence the effort to improve ergonomics and marketing,documentation. Or atleast safe systems programming to be mainstream.
Let's please not go there, here.

https://news.ycombinator.com/newswelcome.html

https://news.ycombinator.com/newsguidelines.html
I'm sympathetic to the parent comment. All workers should [be allowed to unionize]. But public sector unions are dramatically more effective. I don't know enough economics to convincingly argue it but this is what worries me:

1. Privatization has a terrible track record, but it gains steam when the government is hamstrung by the labor-cost differential.

2. Governments are paying social democrat labor costs, while taking in neoliberal revenues. This makes nice things look inordinately expensive.

3. Jealousy in the private sector fosters conservatism / lazy govt worker stereotypes.

...

Basically long term the private sector unions undermine their own cause.

Once again, if you have a bunch of short-sited actors (c.f. financialization of business) you better be damn well they reach some equilibrium.
Sound Art
That's an overly simplistic view that assumes that everything else stays constant. If the central bank policies increased the GDP as hypothesized then the overall effect to pension funds would be positive compared to a world where GDP languished at or below recession levels even with higher nominal returns.
Did you know I can't find a single link from this blog article to your website?

Even the link at the bottom which says 'landed.com' actually links to 'blog.landed.com'! And then there's actually text that says 'www.landed.com', which isn't a link! Why do you do this?!

It's brought up lots of HN and I can't believe people still do it. You've got me reading your blog, but you aren't going to link to your website? Presumably the whole point of the blog is to get people interested in what you're doing, but you aren't going to link to it? It's madness!

Edit: actually there is just one - in the author's profile at the bottom. There isn't one in any of the layout of the blog page, or the blog front page.
Facts. The baby boomer generation set up public commitments on the back of the taxpayer, from municipal to federal, that simply cannot be met. On top of that, after inheriting a system that allowed them to get a post-secondary education doing unskilled labor, they sloppily set up incentives that caused their children to inherit mortgage-level debt with horrible employment prospects for a comparable education in their era. Thing is, they are reliant on the people they saddled with this piss-poor situation for continued retirement payments.
Microsoft is aligning on Git, so it's unlikely that anything will change (and the horror stories of the past are no-longer applicable for new aqui-hires.)
>Would you ever consider a job in PHP?

Heh. Most of the programming work I get is with PHP. I wish I could find work not in PHP. I'm still paying off a degree for building business applications in C# - and trying not to forget C# because I never use it. I can't seem to get a chance to forget PHP.

To me, the worst parts of PHP are, first, that the language was designed and intended to be used the way Wordpress (and many small hacky sites) use it - with PHP, HTML, Javascript and CSS all mixed together.

And second, that PHP isn't aware of context - it doesn't treat XML as objects (the way Hack does with XHP) and doesn't escape variables by default. One either has to manually escape every instance of every variable with a function whose name is too damn long (htmlspecialchars) or use a framework which does that for you.

The second point entirely undermines the purpose of PHP, and turns the first into an utter minefield.
And what percentage of general fund spending goes to salaries, and salaries of contractors? The other 80%?

Pensions are part of employee salaries. Not budgeting for them is like buying a house, and not budgeting for anything past the first mortgage payment.

Why are we talking about defaulting, or haircutting pensions, instead of defaulting... On any of the other people or companies that the state owes money to?
If you can describe a set of objects thats fine. But by itself that would be nearly useless. The problem is that ZFC and the like add an axiom that you can identify an element of any described set, and use that to prove further theorems. That makes no sense; its an elimination rule with no corresponding introduction, materializing members of a set from nothing.
Work for a startup, preferably one that is already somewhat profitable. I have worked for this type company my whole career and this "devops vortex" you speak of is a foreign concept. I run a small IT dept and we have one 30 min staff per week plus a one-on-one for each dev. And they code and solve other problems all day, and of course surf the web or socialize to break up the day too.
Agile != Scrum.

Code review is as much a part of ensuring quality as automated testing. Be agile - if your Scrum rules don't let it happen, throw them away.
Nothing wrong with pointing out that someone's logic is wrong. It is true that the only way to address these 'concerns' is to change Rust into something that it is not. Rust without closures, structures, traits, pattern matching, and algebraic data types would not be Rust, it would be C. We don't want C.
https://www.forbes.com/forbes/2010/0628/opinions-rich-karlga...
Oh my goodness. She totally captured my career in a nutshell. There is nothing quite like running into an interface while you are trying to trace a problem. Your head just immediately hits the desk and then you go looking for aspirin.
Holy crap. I used to say things like "San Francisco is getting so expensive that essential service workers like teachers, police, and firefighters won't be able to live there." Well, I guess take police off that list: http://transparentcalifornia.com/salaries/search/?q=Police%2...

The overtime amounts are often more than the base salary.
Doesn't this basically rehash stuff covered 100 years ago by Hilbert, Whitehead & Russell, and Godel? If it wasn't such an eminent author, I would give it a pretty solid eye-roll. As some other poster noted in a link they provided, "pi" and "e" - among the uncountably infinite transendentals - are probably reasonable responses to this article in it's entirety.

And again, even the point about describing the world in 1s and 0s at the end seems to me to be repetitive of Whitehead & Russell's Principia Mathematica which (and please correct me) used logic to construct the integers?
> No, but when asked about utilitarianism, you go to utilitarian genocide.

I was talking about utilitarianism with regards to quantifying human lives, not strictly utilitarianism in general.

I believe cases from the past where utilitarianism, with regards to quantifying human lives, was used to justify objectively bad things like genocide or sterilization deserve to be considered.

Again, these are my beliefs, I'm not out to slander others.

> And is the time-cube guy considered representative of science?

Given that people with power and authority have used the utilitarian principle to justify bad things, along with the prevalence of such arguments today, makes this an unfair comparison.

Timecube guy has no authority or serious adherents to his ideas.
DONT BE AN ASK HOLE
Does this cause a productive mental state, or is it merely a symptom of it? I suspect it's causal (based off what I know of brain chemistry), but I could definitely be wrong on that part. Like, "get assigned bullshit work, can't focus on it because it's bullshit, end up on HN" is definitely also a plausible story to me.
I work in the USA and i would say I'm about 30-40% productive, maybe less. My productivity is strongly related to the density of meetings throughout the day: My productivity killers are relatively short gaps between meetings (<45m) during which i am completely unable to focus because of the anticipation that i will soon be completely distracted. So if I have three 1hr meetings with 45minutes gaps between them, my daily productivity plummets to nearly 0. Open office plan also doesn't help with staying focused.
As early as 2013: http://www.businessinsider.com/computers-beating-humans-at-a...

Next year: https://www.chess.com/news/view/stockfish-outlasts-nakamura-...

And computers were only getting better since then.
I don't disagree -- I definitely struggle with this. The problem we are solving shouldn't exist. We should live in an society where people with equal incomes should have equal access to credit.

The reality is though that intergenerational wealth transfer are the primary way people acquire the necessary equity to buy homes (they get help from Mom and Dad). So I think you need both... both higher incomes, and mechanisms that create intermediary stages being renting and owning.

And on being a stretch, don't disagree. I feel the incentive is to be provocative beyond reasonableness, so apologize for that! Public schools in America are suffering death from a thousand cuts. I will tell you though that when urban school turnover (largely as a result of rising housing costs) is now up to 25%/year... it becomes your primary issue pretty fast.
Depending on what articles one is reading, this activity could fall within "sharpening the ax" (which is also beneficial for the company).
Yeah, Spring is one of the worst offenders I've seen. At my current job I'm working on code written with Spring and debugging takes probably 5 times as long as it should.
How much is the average pension?

According to CalPERS https://www.calpers.ca.gov/docs/forms-publications/facts-at-... it's $32k/yr, which is hardly extravagant.

But that of course includes a lot of people who have spent little time accruing benefits.
Peter Drucker: How to (Actually) Manage Your Time