skysight-inc/HackerNews huggingface dataset:
A lot of development around Azure tools is done in the open under various "groups" -- MicrosoftDx, Azure, etc -- there is no one "source repo" for all products. Even when I was at Skype, the repo for that was separate from that for S4B, etc -- I'm sure this has changed in the last few years. But, there isn't a monolithic repo.

Something like Office or Windows, well, that's outside my wheel house of knowledge.
Yup. GVFS: https://blogs.msdn.microsoft.com/visualstudioalm/2017/02/03/...
>part of me wonders if I'm not as unusual as I feel

It's probably not as unusual as it feels

https://www.youtube.com/watch?v=_iiOEQOtBlQ
Looks like Nginx has the highest usage in Russia. Why is that?
It's not as far as people might think though.

If I recall correctly, Nakamura used an older version of a weaker chess engine (Rybka). He also tried to force a relatively equal position (since he was behind in points anyway) which led him to lose because of risky play.

I wouldn't be surprised at all if Stockfish would lose to Stockfish + Nakamura or any of the leading chess players. These people have been using chess engines for analyses for quite a while now and certainly know their limitations.
OctoPrint Slicer Plugin 1.2 is released
If rust ever gets to the point where it's not much harder to write than java/c# then why not got for the fastest one and avoid performance death by a thousand cuts? A millisecond here and there can add up.

And then there's the environmental cost of slower code. How many tonnes of CO2 emissions are higher level languages responsible for daily?
> And while employees complain about San Francisco's high housing costs, the city's casual culture means they don't have to spend as much on clothing.

That's...interesting? I always figured this was an industry phenomenon - not a city one.
Sad Fran's Disco.
I was debating San Fran vs SF in order to fit the title limit, but was worried that not everyone would know what SF is. Based on the number of replies, I shouldn't have worried. Now I know for next time!
> "pi" and "e" - among the uncountably infinite transendentals - are probably reasonable responses to this article in it's entirety

pi and e are computable; we even know a bunch of programs which will compute them (to arbitrary precision; Google for "spigot algorithms"). Computable numbers are countable, so we can identify them with the natural numbers, and there's no need for "reals". For example, we might think about the tapes of a binary universal turing machine: we can enumerate them (empty; 0; 1; 00; 01; etc.), and hence the tapes/programs are isomorphic to the natural numbers; the computable numbers are the results of running those programs (this is easier to imagine with a separate "monotone" tape for writing "output").

What about the rest of the "uncountably infinite transcendentals"? I would claim that such an argument is too hand-wavey in the form you've presented it. Can you write down a uniquely determined transcendental number which is uncomputable?

Such numbers can be defined; Chaitin's "omega" is an example. However, it's difficult to decide whether such numbers "exist" or not: we can assume that the physical world "exists", by definition; things which can't exist physically, but can be explored mathematically, like pi and e, can be said to exist, although it's a leap of faith; uncomputable numbers can't really be explored mathematically, or in any way that we know. Can we still say they "exist"?

Consider that the digits of omega: whatever formal system you use to study it, the digits you "discover" are nothing more than a scrambled representation of your formal system's axioms; since the axioms are assumed rather than proven, the "discovery" is actually a circular argument.

> Whitehead & Russell's Principia Mathematica which (and please correct me) used logic to construct the integers

It's easy to construct the integers "using logic". For example, Peano constructed the naturals like this (more or less):

The symbol '0' is a natural
The symbol 'S', followed by a natural, is a natural

We can count through Peano's naturals as '0' (0), 'S0' (1), 'SS0' (2), 'SSS0' (3), etc.

We can likewise construct the integers like this:

A natural, followed by the symbol ':', followed by a natural, is an integer

We can interpret the first natural as positive, the second as negative, and the resulting integer as their sum. Hence '0:0' is 0 (0 + 0), and so is 'SSS0:SSS0' (+3 + -3); 'SSS0:0' is 3, '0:SSS0' is -3, and so on.

It's not too hard to construct something logically. The problem is what assumptions you're willing to make. Whitehead and Russell wanted to prove everything using only the assumptions of set theory; that's why it took them hundreds of pages to prove seemingly trivial theorems about integers.

Goedel's incompleteness theorem(s) showed that no set of assumptions is complete and consistent; hence proving some result using set theory is no better than proving it with some other system. In particular, if it's easier to construct a theory of integers (like the one above) than it is to derive one from set theory (like Whitehead and Russell), we might as well take the easy path :)
...and most of the world would assume the City of London (the Square Mile, as opposed to Metropolitan London).
Mozilla Awards $365,000 to Open Source Projects as Part of MOSS
I know your comment is probably tongue-in-cheek, but that answer sounds like a band-aid at best. More seriously, people who aren't used to spending $15 for a quick lunch and whatever a month on rent aren't going to jump at that opportunity. I moved to New York from Pittsburgh, and paying 3x for rent really took a while to get used to, despite an increase in income that afforded me rent in New York.
Absolutely and if keeping up with technology is not work then what it is "work"? Is it just typing out the code? What about when your IDE auto-completes your code? It's a little silly to think about it this way.

I try to keep my distractions to a minimum level but I've often encountered comments and articles on HN that have been of great benefit to my work and my clients. Things like a service I've never heard of, a library being used in a way that I haven't seen before or even just personal experiences.

Hell I even use HN to minimize distractions such as reading only the comments section about some new product Google/MS/Apple released(or is killing) just to get an idea of what's out there in the market and if it is of any use to me.
Same, would love to read more about this!
The difference is that a French text must be finite.
I don't think that counts. I'm not using c when I run grep.
Companies usually can't afford cash, so they compensate in stock. Vesting stock is usually taxed at ~46% and short-term taxes on top of it if you sell. So paycheck wise there won't be much difference.
Tell that to Rosa Parks.

The alternative is not anarchy. Peaceful resistance is a valid way to protest something that is wrong.

The reasonable man adapts himself to the world: the unreasonable one persists in trying to adapt the world to himself. Therefore all progress depends on the unreasonable man.

― George Bernard Shaw, Man and Superman
Oddly enough my pet peeve is people calling it "The City". Something so grating an arrogant about it, like other cities in the area don't exist, so of course you must be talking about SF. Also, I am pretty sure people from NY would probably laugh hearing people referring to SF as "The City"
If you have a good lawyer. What they've been building and want more of is classism in justice, justice as a product. You get more and better justice if you can afford more and better lawyers. If you can't, well that's merely unfair but good luck getting justice out of unfairness.
How the genomics revolution could finally help Africa
"The City" mean NYC everywhere buster, and don't you be forgetting it.
"Don't disagree -- I definitely struggle with this. The problem we are solving shouldn't exist."

totally understand that you can't solve the world's problems on day 1, but hopefully you're thinking of ways to address this bigger macroeconomic issue along the way, since you are already positioning your company on the social good axis.

"We should live in an society where people with equal incomes should have equal access to credit."

is there really a disparity among equal income earners for credit? credit getting unreasonably expensive as you move down the income scale (predatory loans and the like) seems to be the main problem you hear about in the news.
> Costs indicate it is full

The city of SF is half as dense as Brooklyn and there are a lot of empty lots here. There is a lot more room for development. The problem is that the current political situation makes it easy for people to block new housing.

As an example - there is a 600-acre empty lot near the Bayshore Caltrain station. The developer wants to build 4400 units. The city wants to build 0 units and build an office park instead. Which will get built? It's not clear - the 5 people voting on it will probably be swayed by how many people show up to the meetings and advocate one position or another. I showed up last Thursday and one city resident said we should not build housing there because an earthquake may cause the buildings to fall over.

You have agency in this situation.

I wrote about this a little more here: https://kev.inburke.com/kevin/sf-housing-politics/
I think the point is that if something else took over as the king search engine, they'd likely be able to get traffic there too.
100% of the time, because I do what I love.
I've had similar symptoms to those caused by ADHD for quite some time now, but I'm not sure if visiting a doctor will help me much. The symptoms I've experienced are inattentiveness, boredom, lethargy, and poor time management. My question is: if I do get diagnosed by a professional, what kind of improvement can I expect from ADHD medication?
Cross-site and cross-device encrypted stream identification with deep learning
Not going to SF even for a limited time sounds a bit extreme. You can rent a cheap AirBnB and buy groceries from Safeway if you really want to control your costs. If its the homeless issue that bothers you, don't stay in SoMa or the Mission. You can actually get around the city for cheap using MUNI. Uber Pool and Lyft are also affordable options.
Drop the "The". Just "City". It's cleaner
I've taken a minor personal interest in some of Ramanujan's more quickly converging sequences for pi. Giving myself a crash course in computable analysis/computable reals. Wish there was more out there about them (particularly limitations vis a vis traditionally defined reals).
Survata Is Hiring a Marketing Director
Vizio's $2B sale to LeEco called off
I used to take hour long lunch breaks, which I'd spend about 35mins walking to get food and finding a nice spot to sit outside, most days I done this I would come back into the office refreshed and often fix the issue I was working on shortly after coming back. But the hour-long break was always founded upon, which is why I ended up leaving. (it was also the only break I took each day, but the culture in the team I was in was to take no more than 30mins break)
I love where I live (CO) and, factoring in the cost of living difference despite higher market salaries, moving to SF would be a significant pay cut--and I'm far from the only one.
I love LaTeX in general, but man alive, the default choice of font style/size/face for headings & sub-headings looks god-awful
Please consider joining YIMBY Action, SFHAC, or other pro-housing groups to try to make/keep housing less expensive.

https://kev.inburke.com/kevin/sf-housing-politics/
Tesla Boy – it will entertain you
Show HN: A Go library for approximate string matching using character n-grams
"The City" makes sense when you are near a large city. I grew up in the Chicago suburbs and you would hear "the city" a lot. When I moved to Oakland, you heard SF described as "the city" a lot. When I go visit friends in Brooklyn and they say lets go into "the city", its a generic name, but we all know what they mean.
https://www.nytimes.com/2016/09/27/business/dealbook/twitter...
What Angular Is Doing with Bazel and Closure
Naylor Report on Strengthening the Foundations of Canadian Research [pdf]
> So he's currently using about 10TB of 60TB of usable space.

Other way around; he's using ~50TB of ~60TB with ~10TB free.
I think this gives too much credit to blacklist-driven policies and not enough credit to attackers.

Back when IRC was new, open federation between IRC servers was the norm until bad actors forced the networks to only federate with known good actors, and to quarantine parts of the network that still allowed open federation - there is a reason why EFnet was called Eris Free. That was back in the 80's and early 90's. Today, attackers are far more sophisticated, and not even Twitter, who has $$$ to throw at the problem and owns the entire stack, is capable of stemming the tide of bad actors, spam, and fake accounts. Taking money seems like a good idea at first, but then suddenly you have to deal with credit card fraud.

I anticipate that Mastodon will balkanize, ending up with a couple of large networks, IRC-style, that federate only with each other, and have unified, agreed upon set of rules and a super-moderation team that can act on any node. Networks that insist on open federation will lose the battle against the tide of bad actors and will dissolve into anarchy and either shut down or start whitelisting with the rest of them.

I would really like to be convinced otherwise on open federation.
> - Move semantics - we've had this since C++11.

C++11 move semantics and Rust move semantics are not equivalent. C++ requires every movable type to have a null state, and a (perhaps derived) move constructor that can potentially throw exceptions.

Rust avoids the null state problem by statically omitting the constructor call (or, in the dynamic case, inserting a flag into the stack frame rather than forcing the programmer to reuse the object itself). It gains some ability to optimize by forbidding unwinding during a move.

> I don't think you're gonna convince C++ (and C developers, of course) programmers who've been doing systems programming for a long time to stop everything and jump to Rust.

That's not the goal. The goal is to provide a tool for new projects like Servo, or incremental partial rewrites like Firefox, or new infrastructure like ripgrep.
>Even among its Silicon Valley peers, which have drawn closer scrutiny from investors recently because of their generous stock-based compensation practices, Twitter is notable for how much equity it doles out.

>And those grants of restricted stock units or options, which would have to be covered to some degree by any buyer, simply add to the purchase price of any deal.

>According to Twitter’s most recent annual filing, the company racked up $682 million in stock-based compensation last year. By comparison, the company’s adjusted earnings before interest, taxes, depreciation and amortization — which also excludes stock-based compensation — for the year was $557.8 million.

>Factoring in the payouts would have pushed Twitter well into the red for the year.

https://www.nytimes.com/2016/09/27/business/dealbook/twitter...
> Vesting stock is usually taxed at ~46% and short-term taxes on top of it if you sell.

I'm pretty sure that vested stock for public companies are taxed just like bonuses and wage-raises. I think the real reason why companies don't just "pay more" is because... well... they don't want to pay more. They either don't have the money, or they prefer to keep the money/stock for themselves.
Its worked quite well in a number of areas -- it tends to be good for sustainable growth, rather than adventurism, as the owners are concerned more about keeping the company sustainable and healthy than rapid growth. And the feel-good factor of it being a community organisation means people like to give it their custom.

John Lewis, one of the UK's largest retailers (annual turnover about £10bn) with one of the best-respected brand is employee-owned under a cooperative structure.

In terms of rescuing businesses from big egos doing badly, Portsmouth FC was rescued by a fan take-over after a number of disastrous owners who'd saddled the club with debt and left it on the verge of liquidation. It's now on a healthier footing and starting the climb back up the leagues.

For Twitter, which was in a strong position to become a social utility, it's probably not a bad model. But it doesn't involve going out in a blaze of glory, so executives will hate it.
Coming from an organization where I spent > 10 hours a week on meetings, I hear you. I believe I spent more time writing emails than writing code. The code I did write was done at night after everyone left and there would be no more meetings and useless phone calls. Managed to create the most used/useful application in the organization and still nothing changed.

When it occurred to me that things are not going to change in my lifetime even with all the promises of upper management, I started creating side projects where I am in control of the full direction. When that wasn't enough, I also started looking for a new job. Joined a startup as a CTO/Lead Dev and was happier.
The municipal and state governments that brought the measures into place generally operated in an ethically-compromised environment and mathematical fairy land.

The people that voted in the fundamentally-flawed plans are also the ones that are standing to benefit from them as the legislative fixes are rolling in. I sympathize that they have built plans around the expectations of the money being there, but at the same time I think it's pretty unrealistic to expect current taxpayers to pay for unrealistic and underfunded plans.
There were those manipulating Libor to prevent bank runs (somewhat defensible) and those manipulating Libor for self gain (not defensible).

Both manipulations went straight to the top and thus far, as expected, only mid-level operators have been held accountable.
Rust frontloads some required learning related to shared data because of the borrow checker and lifetimes (which is different example of the same kind of frontloaded learning that comes with static type checking.)

OTOH, I don't think this makes it harder to learn in net, because it saves down-the-road learning needed for high effectiveness of a likely greater magnitude than what is frontloaded. But it does raise the learning cost of getting to basic proficiency, in the same way as static typing (which, done well, has the same kind of down-the-road savings) does.
I have a previous generation N40L and highly recommend this line of products for people who can get away with 4 or fewer disks. It's well-designed and a solid product. The loudest component is the HDDs, followed by a case fan that occasionally acts up. The CPU is pretty slow at this point but I only ask it to do RAID10, not RAID5 or ZFS.
I use their papa johns codes frequently, they always seem to be good for 40% off - however lately I've noticed papa johns trying to cut out the middleman and run their own coupon adwords offers
I think this is common in and around any major city. I've lived in or near five major cities in the US and the only one that didn't have some use of "the city" was in Minnesota, where "the cities" is used instead to refer to Minneapolis/St. Paul.
> do Americans work less at work because of the work-oriented culture which requires them to stay at work longer for no reason?

I don't think US workplace culture is extreme in that regard. I usually look at East Asian work culture when it comes truly weird workplace norms and traditions.

My family lived in Japan for a short period, and my father told me that he and his colleagues had to wait for their boss to leave every night before they could leave work. Now that's extreme.
From 15 seconds down to 9 isn't "double" the performance. Impressive, yes. But then there's the disingenuous comparison of paying full price for 64MB from Apple that nobody in their right mind ever pays. This article is a complete arithmetic failure.
I never thought I'd have to create a throwaway for HN, but here I am

This is me.

On a good day, I might work for 3 hours of my 7 hour day. On a bad day, 1 hour. Somehow, I get the work done, and even get praised for it, though it's not taxing or particularly good code. I think my firm is afraid to lose me, and let me get away with too much, but that could be paranoia / imposter syndrome. That said, my productivity is on a par with others I work with (surpassing some) and I don't consider myself to be a better coder than they are.

I spend the larger part of my day on side projects, learning new languages, trying new apps, painstakingly reorganising my local file system, reducing the size and complexity of my dropbox folders (even though I'm using less than half of my free space), reading HN, tinkering with electronics at my desk, reorganising my workspace, blogging, reading, listening to podcasts or audiobooks (I find I can't do anything that involves typing at the same time, but I can do graphics)

I have curtailed my reddit / browsing a lot, but its still more than I'd like.

Lately, I've decided that my job is not challenging me enough, and I want to leave it. And so I blame that on my lack of focus. But if I'm honest, I've always been like this. In previous jobs, in college, in school, I've always done the minimum required to get by because I have other "more important" things to do.

I'm easily distracted. I don't think I'd go so far as to say I have ADHD, but I do have trouble focussing on tasks when a computer is involved. I have a theory that this is a side-effect of the modern computing experience itself. Switching tabs and multitasking is so easy these days, with the amounnt of RAM / Bandwidth / CPU we have at our disposal, that doing several things at once is very tempting. I barely bother to close apps. I would normally have 4-5 VS windows, Android Studio, Photoshop, Sublime, etc all open at once, and while I'm not switching between them every five minutes, I might alt-tab to one by accident and lose an hour fixing some bug or trying some thing out.

There were some college projects that really captured my interest, but those were an exception.
There is no combined Microsoft codebase
I don't know about the other cities in the table, but a studio apartment in Chicago does not cost $1490 a month. Even downtown you can find a few studios for around $1200, and in the rest of the city it's more like $1000, maybe even less. I live in a 2-bedroom for less than $1490.
If it's programming. It is highly don't need to be configured. The computer has been very meet your requirements. As for you buy a computer, will not be your computer problem, but also bought this year, the configuration should be no difference. Xp should be satisfied. But maybe your xp system installation may have a problem, such as your the xp, there are a lot of junk software plug-ins, viral integration in it. Or you install some software more rogue. Installation of the software or you have a lot of self is turned on, and so on. If you have any questions, can continue to ask.
Rocket is one big one. Just recently though, serde and diesel started working well on stable Rust. Other than that, unless you're doing embedded stuff or SIMD, you should be fine on stable.

Unfortunately, Rocket does not appear to be on track to work on stable Rust for the foreseeable future.
No, Frisco is in Texas.
And hiring the founder away from Google (Brendan Burns).
Fascinating. I'm curious if this will work, strong(er) incentive to not sell and unlikely that a teacher will receive a sudden windfall permitting them to move. But, maybe if they are a part of the success story of a neighborhood, they can share the increase in their equity with Landed.com. I love the long term bet that is happening here with this startup and their customers.