skysight-inc/HackerNews huggingface dataset:
The Seattle metro is a unique situation that exists outside of just city planning...we are trapped between various lakes, mountains ranges, and massive bodies of saltwater - and I don't say this in the regions defense - I have suffered an insane commute here before choosing to make the sacrifices necessary to live and afford to live in the city. At the same time the things that make commuting in this place difficult are what make it precious.

Hopefully ST3 comes to fruition as there simply aren't many more places to put highways.
React's model kind of feels like the holy grail of UI development to me (at least on web). Is there anything out there that you guys feel is superior? I'm not talking different frameworks like vue or angular, but rather UI paradigms on platforms that aren't web. People have been making UIs for desktop and mobile for a very long time now, and I'm curious how people have historically dealt with all the problems that React addresses, and moreover, how they deal with other problems like data-fetching, state-management, etc.
The biggest shift in my mental model of React was considering it closer to a programming language than traditional UI libraries. Dan hints at this when describing how it is used to manipulate view trees and proposing special syntax for hooks.
It's on Libgen.
What if you don't care about a McMansion? It's like a restaurant where they give you a 3-pound steak, but it tastes kinda crappy and you cannot box it.

We have a 1300sqft house in HCOL and it still has a bunch of unused space; we used to have the same problem even in a 1100ft apartment. My friends have a cheaper big house a 40-minute drive away; the reason they have a big house is because they want to be near certain outdoor activities, and there are no small houses in that area. Half the house is literally unfurnished, nobody ever goes there.

Come think of it, my two main problems with my house is that (1) it's too long of a walk to a bus (like, 7 minutes) and bars/etc. (like, whole 5-15 minutes); (2) (didn't affect us directly yet) heroin addicts stealing stuff. Both of those would be worse in a typical LCOL where I could afford a McMansion I wouldn't bother fully furnishing.

I'm not in BA and I think BA is vastly inferior to where I'm at, but for me an apartment in BA >> a 4000sqft house in rural Kansas. It's like, not even on the same level.
Judging by the prices, many people agree :P
What advantages would it have over using pypy with cffi as is currently done?
Yes, TFA says that impressions didn't decrease.
Isn't all this press by the Nature publishing group just about hyping up one of its newer magazines that the larger research community is boycotting?

By the way, Paul Cohen, who proved the independence of the Continuum Hypothesis, says that Godel did not express much interest in independence results (I think Godel believed in Platonism):

https://www.youtube.com/watch?v=VBFLWk7k1Zo

An article by Godel, taking a philosophical viewpoint about set theory and independence, is "The modern development of the foundations of mathematics in the light of philosophy":

http://www.marxists.org/reference/subject/philosophy/works/a...

Godel believed that for well-defined areas of mathematics, we can add more _intuitive_ axioms to make the theory decidable: The appropriate quote from the article: "I would like to point out that this intuitive grasping of ever newer axioms that are logically independent from the earlier ones, which is necessary for the solvability of all problems even within a very limited domain, agrees in principle with the Kantian conception of mathematics. "
Skillz: eSports for Everyone | https://skillz.com | San Francisco, CA | Leadership to Entry-level | Onsite Only

We believe our platform is the future of competitive multiplayer, and we are doing everything in our power to make that future a reality! As Skillz has grown, drastically, so has the breadth of our platform and SDK, providing a one-stop shop to easily add a full social competitive multiplayer experience to any mobile game with just a few simple integration steps. From social features to real-time gameplay support, Skillz focuses on bringing power, security, and customization to our developer partners, all while exciting and engaging their players in astounding numbers.

In 2017 Skillz won the Inc. 5000, and was named the #1 fastest growing privately held company in the entire US by Inc. Magazine. We then went on to be named a next billion-dollar start-up by Forbes in 2018. To give you an idea of how fast we’re scaling, in 2017 our top 10 players had won ~$2.7 million, but in 2018, our top 10 players, 7 of which were women, won over $8 million.

https://venturebeat.com/2019/01/31/skillz-top-10-mobile-espo...

Hiring for many different roles, but here are highlights:

• Director of Engineering - Data

• Engineering Manager - Back-end

• Lead Mobile SDK Engineer - Android, iOS

• Senior Technical Recruiter

Random assortment of technologies we interact with that you might find interesting:

Java (Of course!), React Native, Ruby On Rails, AWS, RTMP, XMPP, rUDP, C++, Objective-C, Elixir, Erlang, Immutable Cloud Infrastructure, et al.

Personally, I’m looking for an experienced mobile engineer who’s interested in leading, and helping build, a new mobile team here at Skillz! If you fit that description, you can email me directly at tfallon@skillz.com, because I would love to tell you more!

See here to apply, and for a more exhaustive list of all of our roles: https://www.skillz.com/careers/
LinkedIn Salary
Given how a lot of New Yorkers feel about Chase, is this really anything to crow about?
Clickable link: http://www.greenarraychips.com/home/products/index.html
Maybe you're a few years from retirement and your core skillset is itanium. Maybe you just need a paycheck. It was developed and maintained in many locales, including ones without a lot of alternative employment choices for an architect or vlsi designer.

I've met lots of engineers who are deeply passionate, but I've also met plenty for whom it's really just a job.
Yeah, it's easy. Living in the burbs effing sucks.
That was a really good read, and of course it would be Wisconsin who fought to the end for dairy. Personally I’m not interested in regulating “milk” and the term has been around for a while. I just think it’s worth pointing out the differences, but dying it a strange color is... too far.
And those other values are finite (NaNs, infinities, unequal zeros). I don't know why you're downvoted. What you said is absolutely correct.

It's an absurd thing for GP to say integers aren't infinite (apparently talking about fixed width integer types) and then turn around and say float/double are infinite (talking about single precision and double precision floating point types).
No, FOSTA hit sex workers. Tumblr just decided that lewd stuff would make it hard for Verizon to sell ads, so they banned lewd stuff and anything their shitty algorithm thought was lewd-adjacent. Now they're down something like a quarter of their former userbase, depending on whose estimates you believe; it might be higher. So that'll really help them sell those ads!
Sure, map viewing definitely doesn't need JavaScript, but Google Maps definitely does. I don't see how you could reasonably implement something like Google street view without JavaScript. Even just having the different locations on the map fade in and out of view as you zoom requires JavaScript, as far as I know. Personally, I don't want to have to use a stripped down version of maps, I want to be able to go into street view and see the locations, and smoothly see more detail as I zoom in.

Perhaps a better example is video calling. Definitely can't do that without JavaScript. My point is that disabling JavaScript entirely eliminates several classes of websites. I think it is better to have reasonable limits to JavaScript than make these types of websites impossible.
The new tunnel is a downtown bypass route. The viaduct had a couple downtown exits, but the tunnel starts by the stadiums South of downtown, and ends by South Lake Union, with no downtown exits. All of the into-downtown traffic will be pushed to surface streets. Tunnel tolling will kick in soon too. The viaduct had no tolling.

The city is pushing a one-time tax bill called a "local improvement district" to property owners in downtown for the benefit of better views and higher property values once the viaduct is gone. There is speculation of pulling a second LID for improvements in the area of Key Arena to coindide with the new NHL team http://mynorthwest.com/1242618/dori-rob-johnson-seattle-nhl/

The tunnel may be necessary but it's not all rosy as the WaPo article makes it out to be.
I review some of the statistical/experimental papers in https://www.gwern.net/Ads . For example, https://papers.ssrn.com/sol3/papers.cfm?abstract_id=2367103 observes that given plausible effect sizes / variances, you can't run an advertising experiment which will pay for itself; https://www.kellogg.northwestern.edu/faculty/gordon_b/files/... demonstrates that even using absurd amounts of detailed tracking data from FB, you still can't recover actual causal effects.
For the large tables, what about using timestamp based table partitioning to split data into smaller units ? And then materialize each of them one by one ?

So you get to keep materialized data and a single logical table.
Same here. All these god-damned opiate laws made it so hard to get renewals of medication for my chronic pain. And insurance stopped covering Tapentadol which was by far the most effective and safest drug. In 2011 I was pummeled and then tortured in LA by police/jail officials, which caused cervical spine damage.

So I switched to kratom. Its a shame but kratom is much healthier anyhow. It has vitamins and minerals and fiber, cant be overdosed on, doesnt cause massive constipation, isnt as physically addictive, its an all around better drug for daily pain management.
Do you want to hire people to evaluate flags and disputes, or to evaluate all videos? If just flags and disputes then there will be false negatives on pirated material that no one has flagged yet. If all videos, that would be very expensive because 400 hours are uploaded every minute[1]. And it still would have false negatives, because how is the human reviewer supposed to know that the song played at 3 minutes into some video is a copyright violation or not? The song could have been an original composition, or it could have been licensed by the musician to the youtuber. You can't expect a human to have knowledge of every piece of copyrighted content in existence to be able to know if the video matches any of those pieces of content.

[1] https://www.businessinsider.com/viewers-find-objectionable-c...
I read very little news except a print version of economist I’m subscribed to
I’m loving your posts, and here’s a fun fact to add, fat content can vary between pregnancies, and there seems to be a difference based on the sex of the fetus, time of day or night, and a bunch of other factors.

https://www.imedpub.com/articles/biochemical-differences-in-...

Human milk composition is dynamic, and varies between mothers in the same and different populations. Breast milk content was also found to vary diurnally, over a feeding and in some species according to the gender of the breast feeding infant. This study aimed to determine if there are any quantitative differences in the biochemical constituents of breast milk according to the gender of the breast feeding infant. Forty eight breast feeding mothers participated in the study, 24 were breast feeding male infants and 24 were breast feeding female infants. Five ml of breast milk was collected from each mother then analyzed for lipid contents, carbohydrates, proteins and calcium. Carbohydrates, amino acids and calcium concentration were measured using colorimetric test of absorbance. There were significant differences in the concentration of lipids and calcium in breast milk of male and female breast feeding mothers (P-value<0.001 and 0.02, respectively). Our study indicates that breast milk is more dynamic than previously thought and concentration of breast milk contents should not be taken as fixed. This can lead to developing personalized formula feeding specific to the baby’s gender and age and matches his/her growth needs.

Biology is damned complex.
The problem with binutils wasn’t make/gmake-related. I have no problem with requiring gmake as a rule, I maintain this: https://github.com/neosmart/gmake-proxy

But the whole point of autotools is to write a flavor-agnostic Makefile that gets compiled into a working Makefile. For it not to work defeats the point.
David Harvey Reading Marx's Capital Livestream
LOL, news coverage of corporations (except for covering some public scandal) is heavily biased as well. In this particular case, the source of the article is Kristin Lemkau, the bank’s chief marketing officer. So keep trusting the "unbiased" news. And guess what: you might think you ignore ads. You do not.
If this is your thing, you'll enjoy my wavefunction visualizer:

http://ridiculousfish.com/wavefiz/

You can drag around the potential, energy levels, etc. and it will do its best to solve the 1D time-independent Schrödinger equation (Numerov method). Turn the dial to see it in 3d, with imaginary components in the z direction. Momentum-space solution can also be enabled.

Built on WebGL and TypeScript, source is at https://github.com/ridiculousfish/wavefiz
I've had two options last time I negotiated, and I couldn't really tell which project would be better. It's really hard to tell from the outside when the people giving you answers about the good and bad aspects of the job are the people trying to hire you. So in the end I just chose using the money. The not-so-surprising part is that the project is not as good as it was described. The surprising-but-unsurprising part is that the negative aspects are not at all what I would have predicted. Sure, I could have gone with the other company for less money; the odds are, I would have still had no idea beforehand w.r.t. what I'm getting into. Unless one of the teams/offers is obviously better, it's a crapshoot and the money is literally your only reliable data point. If you have to bail in a year (which I never had to do so far), at least you get more out of it.
With the current level of traffic (tens of commits a day on master) it would be within pocket money budget as well.
Cool Command Line Tools for Your Linux Terminal
All those milks and yet i still can't find a single one that's not completely saturated with Calcium. The levels of calcium added to these milks is truely staggering. Sure, the carton says 30%, but it's actually 65% of your RDI because here in the US the dairy industry has been pressuring for higher and higher recommendations of Calcium. the WHO recommends 500mg, not 1200mg!
Ask HN: Do any Lisp beginners want to collaborate on a simple project to learn?
I recently decided that I wanted to take my CS skills to the next level, and learning LISP(Scheme/Clojure/etc.) was going to be a part of that process.

I am fairly capable with code in general(did a lot in undergrad, and now work with C# professionally), but really just beginning with Scheme(bought SICP), and Clojure and I want to continue by making something cool, simple and open-source.

I really just want to gauge interest among people in a similar stage of learning, so we can possibly come together to write something simple, yet meaningful enough to motivate us. I'm open to really any major LISP, although it seems that Scheme and Clojure offer a nice community to work with.

If you are interested message me on Keybase at j3elam, or twitter at elamje. Or comment of course:)
Git reset vs. Git revert – Pixelstech.net
Tofu and tempeh are protein heavy with little carbohydrates.
Personally I think just leave it to users to vote with their feet. If I think a site is too slow to load or too slow to use, I'll stop using it. If I'm happy to wait for 10Mb of js to run a web app, then let me.
From my dabbling with QT's QML, I gather it would be a lot more concise than React for some use cases.
Lol, I ran out of characters to type Bay Area, so SF had to suffice. Apparently, I made a mistake
It also seems to be popular for countries playing catch-up on that whole "we can make our own computers from grounds up" metric - both China and Russia make their own MIPS CPUs, mostly for military use at the moment.
Homebrew just started offering Linux support but they would put stuff under /home/linuxbrew/ but wtf is this about? Won't be using until this is fixed.

https://docs.brew.sh/Linuxbrew
Branded ads on the Google extended network are incredibly cheap.
More likely, US registrations declined that month as numerous model 3’s are diverted to foreign markets.
Our toolchain is actually GPL-free, but the app itself involves the use of a disassembler with support for formats (at least not previously) supported by llvm-objdump.
It's incredible how much of essential services are crap and destroy the well-being of the people thanks to government management."

When I see this I want unregulated telcos, transportation, banking, and more.
I think the title writer probably meant "Using big freeze to deny global warming".

But yes, it's ridiculous no matter how you look at it.
C:\ isn't protected by UAC like C:\Program Files, though
Yeah, really a corrolary is the clearer explanation: Binutils runs poorly on BSD because no one working on BSD wants to work on binutils because they hate the FSF and are focusing their energies on llvm/clang toolchains.

Which is their right, of course. But it's a little salty to then turn around and demand that the GNU people then be responsible for supporting them anyway.
> Journalism on it's own is just not interesting - being a wordsmith is not more valuable than actually knowing what you're talking about.

Knowing what you're talking about and informing the public are two different things. Both are necessary parts of journalism, with neither sufficient alone to fulfill the vital role of the press as a check on the three branches of government.
> Simplest scenario, the read-increment-write cycle with 2 threads. Even with a mutex, it is still possible to have data race, if the lock is on per operation level.

What you're describing is not "serialized access with a data race"; it's "multi-thread access that you didn't explicitly control properly".

> For the second part, yep, it is a mistake, not processes, but threads.

Ok, that clarifies things.

> the active thread is free to modify those data structures without fear of data races, and there is no explicit locking required, if it doesn't hold its own copies of those interpreter internal states.

I'm not sure I see why a thread would want to hold copies of those interpreter internal states, since if it did the issue would not be modifying them properly but having the local copies get out of sync with the interpreter's copies, since other threads can also mutate the latter.
I don’t know. As an open source developer I put the onus on myself to make sure my releases (at the very least, not every commit) at least compile and run on Linux, macOS, WSL, and FreeBSD even though I don’t use the first two.
%APPDATA% doesn't require permission
I definitely have looked at my home directory in awe at the number of dot files, but I think the article is a bit hyperbolic. I get that it's "clutter" but I think the simplicity of storing configuration in $HOME might be worth that trade-off.

Even the $XDG_ env variables still require the user to set that up, or the OS maintainer needs to set it up. If the OS maintainer sets it up, the user probably won't know where to find configuration.

The reason $HOME is so commonly used is because the developer knows with almost 100% certainty that the unprivileged user will 1) be able to read/write to it without superuser privileges and 2) it keeps all configuration data contained in the user's home directory for portability, instead of throwing it all over the file system in locations nobody will know.

That portability will come in handy when you're backing up or restoring from backups, which I just did yesterday. It means restoring is as simple as copying your entire home directory back. I don't need to tell each app where my configuration is, it just knows it will be in $HOME.

And that assumption will be correct for almost any *NIX-based operating system.

I do agree that non-dotfiles should not be created in $HOME, that is a nuisance.
Sioux Falls.
I think the Sony VAIO P series would be a great admin notebook.

https://en.m.wikipedia.org/wiki/Sony_Vaio_P_series
> Binutils runs poorly on BSD because no one working on BSD wants to work on binutils because they hate the FSF and are focusing their energies on llvm/clang toolchains.

Salty much? Where are you getting this from?

binutils is included in the FreeBSD ports, which is a maintained collection of patches and build files to make the latest version of xxx to install and run on FreeBSD.

> But it's a little salty to then turn around and demand that the GNU people then be responsible for supporting them anyway.

I don’t represent FreeBSD and the above was my opinion alone. And I am a core maintainer on several popular GPL projects despite picking the MIT and BSD licenses for my own projects.

Please take your hate and FUD elsewhere.
I'm reasonably sure that it's there at levels sufficient only for the calcium fortification. Calcium carbonate was only approved for use as a food colorant by the FDA in late 2017 (e.g. https://sensientfoodcolors.com/en-us/regulatory/fda-approves...), many, many years after Silk was launched. Note that calcium carbonate is listed in the ingredients under the mineral and vitamin supplementation group.
Even easier, peanuts are _very_ protein- and fat-rich with almost no carbohydrates. I boil and can a kilo of peanut soup every two weeks and chug a can for breakfast every day—25g proteins, 50g fat.

Pouring it into a bowl with soy milk makes it a lot more palatable, but if you're just concerned about your macros, there are definitely more sustainable, plant-based ways to get 'em.
"Why is Google so successful? Because the culture allows people's ideas to develop into what became huge products loved by millions of people."

So During Ballmer's tenure, they always made a ton more money than Google.

So 'Ballmer's culture' was therefore the winner?

I'm afraid your argument is not based in how the world works actually works - it's more based on a 'feeling' of how people think it 'should work'.

Ballmer was somewhat aggressive in character, so was Gates by the way - they build a world class company that changed the world.

And FYI just because he was aggressive, does not mean he didn't 'foster change' or 'allow ideas'. It's really more a disposition than anything.

And FYI - MS made it's money by focusing on Windows, that decision is not because 'Ballmer is mean' and 'Satya is nice' - it has nothing to do with their emotional posture.

To imply in any way that they were not successfull or couldn't adapt, while they launched a series of world class products is just false.

" Because the culture allows people's ideas to develop into what became huge products loved by millions of people."

You mean while they spy on your every move? You've seen the headlines right?

Google is prying into my (and your) personal life in every possible way and trying to leverage that.

Was 'meanie Ballmer' every trying to read your mind to profit off of that? No?
Both AI and bureaucracy are sufficiently opaque enough to be indistinguishable when it comes to ascertaining their decision making processes.
yes just like a big chunk of what ML is.