skysight-inc/HackerNews huggingface dataset:
On the topic of "attracting attention", there's also this which I came across a few months ago when someone else on an electronics forum brought it up: http://sexycyborgisaliar.blogspot.ca/2017/05/naomi-sexy-cybo...

Maybe a bit slanderous and biased, but certainly some interesting evidence to ponder...
> That's the same thing. It's just a matter of it being automated.

Re-read what he said. He presented runtime checks as an acceptable but non-optimal scenario for performance reasons. My reply was that runtime checks don't prevent a wrong program from being wrong, and it's this wrongness itself that I consider unacceptable.

> IIRC, you've used Rust some, so you've used bounds checked array access, except where Rust was able to prove that out of bounds access was impossible and elide the code that checks.

Runtime bounds-checked array manipulation is literally the single thing I hate the most about the languages I like the most (ML and Rust). It introduces a control flow path that shouldn't be reachable in a correct program, and hence shouldn't exist. This is particularly painful because beautiful array-manipulating algorithms have existed since, like, forever, yet in 2017 I still can't express them elegantly.

> If you want to see a proof, you dig in and find it, or find where it's accepted canon that we don't need to reproduce (do we need proofs for integer addition)?

I don't need to rebuild arithmetic from scratch again, because I've already done it at some point in time, and once is enough as long as you understand the process.

On the other hand, when I'm first confronted with an already existing program, I don't understand why the program is correct (if it is even correct in the first place), so I do have to set some time aside to properly study it.
Cloud Is Not a Digital Transformation Strategy (Unless You Are Amazon)
ggggp's whole point was it was going to compete with fresh squeezed. this whole discussion is how this isn't "fresh" in anyway. Unless FOJC is also fresh.
Ugh, I'm sorry, it's just frustrating and I got used to venting.
Is it a new cryptocurrency, or a new project based on an existing cryptocurrency?
Good for Amy's, just figured I would plug another vegetarian fast food chain worth eating at:
https://www.cloverfoodlab.com/

Thirteen locations in the Boston area.
It is recursive descent. Scala's parser combinator library is beautiful, and has been, hour-for-hour, the most useful tool I have learned as a programmer. Parsing problems became so common once I understood how to parse things.

I'm writing my first compiled DSL right now, inspired by the sense that parser combinators gave me: "maybe you don't have to be a genius to write a compiler."

In addition to parser combinators, another great functional tool for dealing with recursive structures (e.g. abstract syntax trees) is recursion schemes. I've been banging my head against them this week, and I finally made some headway. They are useful for the nanopass technique referenced in the article.
California tops in U.S. for company creation
Kcups leech BPS, which I've heard is problematic similarly to BPA (about which opinions vary).
> 1. He harmed her emotionally for life and ruined her spotless record.

Almost right. Her spotless record is still spotless. As for the emotional harm, he may have had to balance that against the harm done to his family if he were to lose his job. If the USA had a proper and useful social safety net that equation would look different.

> 2.

Good, then you should at least care about this information being spread.
I was directed to a good talk on the idea of "legal talismans" or legal terms like free speech that can end up being out of place, such as in terms of service:
https://cyber.harvard.edu/events/luncheons/2016/10/Albert
(transcript) http://opentranscripts.org/transcript/beyond-legal-talismans...
(Also accessible as a podcast)

This isn't to mean they should avoid supporting "freedom of expression" but that these terms come with history and obligations that aren't always obvious.

If a company mentions 1st amendment rights, it isn't realistic to assume it will also have the capacity to correctly and quickly adjudicate all cases of expression that will occur within its service boundaries. People forget how parts of constitutional law itself are specializations with a lot of legal history and precedents.

The summary takeaway seems to be that service providers should avoid using these shorthand legal terms in their terms of service. Providers should try to spell out ToS specifically avoiding as much legalese as possible. Avoid using shorthand legal terms to give the illusion of a neutral position in an attempt to avoid liability.
I am still wondering what it is. Theirs no documentation.
When I moved to a building in SOMA (1045 Mission), I thought it was odd that the unit had air conditioning. Turns out the damn unit needed it most spring/summer days to keep the interior temp in the 70/80s. It probably had something to do with my unit being one of the live/work units on Minna that had all 6 walls made of either concrete or glass.
I'm sure it has dropped many many bytes of data, it's just that the other layers of IP and TCP covered for it. Just like every internet connection.

But that's pretty cool they handled it.
I don't think it's about price really. People pay $700 for all sorts of high quality kitchen appliances. But all that was good about the machine was offset by the lock-in, stupid pre-pulped juice packs, DRM, always-on internet, and other user-hostile stuff.

You're right that people may have been able to stomach all that 1984 stuff if the price was low.
Your students are probably hiring people off Wyzant to do the problems for them. It's impossible to identify the author when they're a willing participant.
Cooling towels are great. My 10 yo stepdaughter had one for three days at Universal Orlando in August, 95 degrees, 90 percent humidity, and it saved the day(s).
If your choice is only between your current $50k job and the $100k job then of course.

For most people looking at a $100k a year job, that's not the case.
Been doing that over in the Sierra Nevada foothills, except that last few days - as the smoke from the Yosemite Fires is hanging around all night (nasty stuff).

Big thing is, if you can, open the windows at night/early morning and then close em up before it gets warm. Then keep windows AND curtains closed all day till later in the evening (after 7pm) when the temperatures go down. Curtains are a big insulator from the sunlight generated heat.
Good night to sleep in your Tesla.
https://www.bloomberg.com/features/2016-tesla-camper-mode/
Can't wait to see how these words sound in 20 years
One of the things that bothers me about recent censorship on hate speech is how selective, and how inconsistently it's applied, if it is to be applied at all.

My grandfather escaped the Soviet Union. Stalin's regime killed all of his siblings. All of them.

But yet when I check YouTube, Twitter, and so on I see lots of videos professing communisms values. Hell I've seen a pro-communist march in a city I recently moved from.

Neo-nazis are awful, and Nazis have done unspeakable terrible things in this world.

But to me the Neo-nazis are being actively forbidden from expressing support for another ideology that has been responsible for tens of millions of deaths, while the communists are allowed to do the same thing.

I hate nazis and I hate communists. But to pick and choose which people are allowed to express support for these regimes is inconsistent at best, and tacticitly implying a preference at absolute worst.

This needs to change.
Why such an old version ;-;
I could be extremely wrong about this, but I doubt they've spent the majority of that money. I think they're likely to be giving it back to avoid shareholder unpleasantness and seeking a buyer to try to neutralize the overall outcome. They raised $98m of the money in the last 18 months, I would bet 2/3rds of that is still there if not more.
If it were me I'd seriously consider staying in a hotel for a day or two. Hope you are okay.
There is no such thing as 0.9... There is 0.9[k], for k as large as you'd like. However, no matter which k you pick, I can squirrel a number between 0.9[k] and 1, for example 0.9[k]5. Your alleged proof is wrong :p
1, 4, 6, 7, 8, 10 are not even valid complaints. Nothing prevents you from using wireless headsets if you want to. 2 and 3 both exist with USB c and lightning connectors, for charging if nothing else and are both remedied with an inexpensive but still decent quality case.

I use BT headsets in my phone when I run for the same reason you do, but my phone certainly doesn't last a full day running BT, nor does anyone I know tbh. Sounds like your phone is magic, or you're not using your BT often as it's a power hog on every phone I've used. I believe you're not being disingenuous, but it's not a standard experience for most people.
You might be seeing global warming deniers in every shadow. Sometimes people just mean what they say without a popular political motivation behind it. I agree with the GP and the title irked me too. "all-time" is OK for sports or other human inventions where we do have a record of all time, but for the Earth, it's just wrong to misuse it for sensationalism.
Free speech is the wrong framework for thinking about this. Tech companies are not government actors, so this is not a free speech issue. The better way to think about it is to analogize to gun sales. Gun sellers are within their rights to refuse to sell guns to people with nazi affiliations, etc. But they wisely choose not to go down that road, because if they did (1) they’d be enlisted into screening all sorts of other people (hate groups, abusive spouses, mentally ill people, etc.) and (2) when one of those people inevitably did buy a gun, there would be increased pressure to hold the gun seller/maker liable for failure to use their discretion to prevent to the tragedy.
For being pitched against InDesign, yes. Document, page, and per-frame baseline grid alignment is a standard feature in InDesign and Quark. Scribus and even Publisher do document-wide baseline alignment.
Seriously though, you can use neo-Nazis to justify censorship, but then what about the less extreme alt-right? How about the slightly less extreme religious right? How about economically right-wing libertarians? Neo-conservatives? Where do you draw the line?

As I mentioned a few days ago on a related article, https://news.ycombinator.com/item?id=15122311 , the extremists are good "canaries" for indicating the gradual erosion of freedom of speech. When the edges collapse, the line moves just a slightly bit closer to the mainstream, and a new set of views are considered extremist. Repeat until everyone is brainwashed into a monoculture. That's the scariest part.
> Unfortunately, this requires writing assembly, because writing high-performance arithmetic is not possible in Go — it's simply not a design goal of the language. (There are a few reasons, most notably that there's no way to directly compute the (128-bit) product of 64-bit integers.)

Can any language do this, without also calling through some library that has hand-crafted assembly in it? Will assigning the product of 2 longs in C to a long long result in the correct instructions?
The problem caused by flooding is exacerbated or at least continued by government subsidies in the first place. Flood insurance it too cheap, especially in flood plains (Houston being one such). Moreover, the floodplain prairie is paved over diminishing the capacity of the floodplain itself to absorb water.

Congress tried reforming it back in '12, but unreformed it after they reformed it because "premiums were getting too dear" (and congress always seeking re-election, got cold feet and again undercharges). Now flood insurance is $25B under (before calculating Harvey in to the mix).

If the government were to do the right thing, they would ease up on subsidizing these homes over 50 years (so people don't suffer catastrophic asset loss) but at the same time discourage new development (in the floodplain) from enjoying the same perks.

Encourage new development to take place in non flood plains.
After living in Davis for university, coming back to the Bay Area feels like a walk in the park. I used to be bothered a lot more by the heat than I am now.

On the other hand, I can't stand, say, Atlanta. I guess they say you should live in California at some point, but just not first. Humidity is something I just can't seem to adapt to.
It's like $40 per AC unit for second hand equipment. Not very expensive.
How many make > 200k and will be paying 100% of that 1k back as a tax? maybe 30%? So you can cut that by 30%.
Change that "Anywhere" to "REMOTE" as OP suggests
That is a terrible example. Above a certain wage, jobs disappear because there is not enough value created to pay a higher wage. That's quite different from a consumer buying a luxury good.
Sure, but you learn that in a country you described as teaching to respect hierarchy, did you not find the contradictory?

Almost any books in China described the country as founded by overthrowing the rich and powerful oppressed the people.

Certainly the government is the rich and powerful and is no longer what it should be as described in the text book.

But is it appropriate to fabricate statements to patron the western stereotype?!

Do you know what Deliang Hou's line: isn't the truth already powerful, why use lies to support our causes?!
I mean how does the pruning constraint tree search applied in prolog implementations differ from the tableaux method
We already got some post-Harvey drone imagery, but not much yet - government restricted civilian drones. So far, we primary have been annotating imagery from prior to catastrophe or other catastrophes.
This is basically removalists, yes?

The last time I moved house, I paid a removalist to get rid of a bunch of my stuff. Paid them by volume of removed material; they did all the work to take the stuff away. (I basically said "take everything in that room over there"). Took a couple hours, and it was done.

They disposed of everything responsibly, and would try to sell things which were reusable or salvageable. The cost to me was dead cheap, because most of their profit (I assume) came from reselling the stuff that could be salvaged.
Should post here also: https://wiki.haskell.org/Jobs
If that's your motivator, find something else to work on, seriously.

If you do want to do this, and do it right, then grow a hide. Might talk to some of the people who've been doing similar things for a while. Because if you're revealing truth, you're going to make a lot of enemies.
If anything, I'm surprised they're only laying off 25% of their staff. I have a feeling more lay offs are around the corner.
They should have gone, not went.
Dude is 64 years old, and was never seen using a computer. Give him a break on this one, he's likely just parroting Medvedev, who in turn is parroting one of his distant underlings.
Several places in Europe have so far failed to empirically verify your hypothesis after passing laws to ban certain types of extremist (i.e., Nazi) speech and symbols.
A hot shower would dilate your blood vessels and thereby bring your blood vessels's walls closer to your skin to enhance dissipation of heat. But if you're coated in water that's warmer than you, you're going to heat up.
What makes you so confident in that assertion?
Yeah, it's a dry heat, thankfully. 100° without humidity is better than 90° with 80% humidity, IMO. Fans are much more effective when it's dry; when it's humid, the evaporative cooling that they're supposed to create doesn't work as efficiently.
> Putin: Leader in artificial intelligence will rule world

Correction: remove "Leader in" from the title.
>If you have no issue with breaking the law

We have no issue breaking an unfair, unjust law that actively hurts people. Example: A judge ruled that the gang-rape of a sex worker was merely "theft of services".
Solution for October 15th Bitcoin Debit Card Refugees
He doesn't need to be a computer expert to recognize a force multiplier when he sees one.
This subthread isn't too civil. There's no reason to be aggressive. It's good that you care about climate change, but forcing your beliefs on others isn't a popular move.

A better way to do it would be to point to this as an example of a possible climate change, otherwise both sides become even more entrenched in their beliefs.
I'm sorry, but please think very carefully about this. Exactly how would "closed pores" change thermal regulation? You don't need a biology degree to work out that this is at best a minor effect compared to evaporation.

You're bathing yourself in hot water which will raise your body temperature. Afterwards it'll evaporate and remove some of that energy and by compariosn, yeah it'll be cooler.

But you can get the exact same effect by taking a cold shower.
How to Unblock Disabled Facebook Account by Using Fake Id Proof
Umm, no. If you are hot, the last thing you want to do is add more heat.
> And what exactly is "hate speech"?

Generally, it's public speech intended offend, harass, or threaten a group of people that is defined by an inherent trait (e.g. skin color, sex/gender, sexual orientation), in addition to legally defined protected classes (e.g. religion, disability).

The SCOTUS has generally ruled that hate speech is protected by the first amendment, with only very narrow exceptions (e.g. credible, imminent threats).

> Black lives matter?

Obviously not hate speech. Asking for the rights of black people to be respected isn't a threat or harassment.

> White lives matter?

Assuming you are referring to groups such as those protesting recently in Charlottesville, then this might be hate speech. A lot of speech wouldn't qualify, but the chants that specifically targeted protected groups probably do count as hate speech. Details matter a lot, but it's probably reasonably safe to assume the protest became hate speech when the chant "You will not replace us!" became "Jews will not replace us!"

> Black lives matter?

Obviously not hate speech. Political opinions are never a protected class.
There's no way the price is right for custom Skylake Xeons, especially considering how easy it is to disable features on chips after you make them.
Yes but Davis is fun for taking walks at midnight when it gets like that. Safe and warm with a subtle cool night time breeze mixed in.
There are things in-between, too - Enjoy the fun software development process to make an end product successful! And this is exactly my own feeling and goal, though I'm not doing it very well as of now ;)
Well, that sounds like a simple window mounted unit, when they probably meant a whole central air (ducts through the whole house) kind of system.
Humans survived without A/C for most of their existence. While it is common today it really is a luxury.
And here I am thinking of going mining in 115F (46C) temps tomorrow.
Show HN: ServerlessBlog = Python + Flask-Blogging + AWS Lambda
This is always going to be a challenge with managing the content of any platform. It's not easy to be a moderator of different views.

Arguably, Nazism tends to ring more obvious to moderators. There is more than one form of communism that has been implemented, and it's likely these videos alll aren't professing a support of Stalin's bloody reign. Communism also (usually) lacks a racial/nationalist superiority component that calls for the decimation of all others. But that doesn't mean people should be free to use Marx's good intentions to let terrible communist regimes off the hook.

It's probably not a bad idea for people with your experiences to attempt to organize with the goal to inform users and moderators about propaganda videos on their platforms.
> Even now, engineers are not held in anywhere near the same regard in China as they are in the West.

what a joke. Three Chinese Presidents in a row all had engineering background, yet this is still not enough?

President Jiang Zemin was an engineer for decades.

President Hu Jintao was an engineer for almost a decade.

President Xi Jinping majored in chemical engineering from Tsinghua.

Then you look at property prices in Shanghai, Beijing and Shenzhen, it almost got a point that you can't afford to buy a home unless you work for some Internet companies or some banks. That is still not enough? How about the fact that most Software engineers got paid far more than lawyers and doctors/dentists?
SF hits 106 degrees and it's earth shattering. It's around 100 almost everyday in places like Bangkok, Kuala Lumpur.
Maybe exact equivalent was an exaggeration, but anyway..

Half of those examples are just valid because x,y,z in particular have a de-facto ordering that everybody follows, for any other record type it's just confusing (what does slicing an EmployeeRecord mean??!). Csv module will produce named records based on the header so i don't see the use there. With sqllite3 you can set row_factory=Row which will produce results which already has access by name. If you for some reason need to convert to a dictionary, you could always use __dict__

Comparability, space, hashing and immutability are important though. Altough frankly, i can't take any immutability argument seriously since python has refused to add a constants for decades, it's just hypocrisy to one day have the philosophy that everything is dynamic and then then the next day say it's not.
I think all that they are implying is that the recorded maximum of the short past is unlikely to place predictive limits on or reveal much about the potential enormity of that maximum's successor.
The software industry doesn't need to be "fixed". Within years, code will write itself completely.
I doubt very much that he understands, even in the most basic terms, what any of this is about. Nor does he really care about any of it. Source: am a Russian-American, with a pretty good understanding of what's going on over there.
Wow he must have been an iron man.

I'm sure his house has A/C, but that doesn't mean his apartments need it, or could even use it.
Time to move.
I feel like going vegetarian was a wake up/"ah-ha" moment for myself. I don't think of myself as making healthy food choices. I think of myself as realizing what I should have been eating all along.
You're correct, this can be subverted. Though it would not last very long. The thing many people seem to forget when talking to us is that this business is already happening. People are working off classified ad sites, like eros.com. The verification procedures are being used by workers charging from $$$ to $$$$. So while this isn't perfect, it's far better than anything existing.

And in the end, what does LE end up with by doing all this? A few individual prostitution "busts", with no real change.
This is especially true when combined with mass surveillance, domestically and abroad. Huge trove of data that is likely already being mined with machine learning and other techniques.
Show HN: passgo, cmdline password manager written in go
Yup, inflation is a thing. Alaskans get Dividend checks every year -- almost $2k. Right after they get their checks, the price of everything skyrockets, on top of already extremely high prices for everything up there. The best time to spend the check is to wait until next year right before the checks are sent out to increase your buying power. If UBI made sense, Alaska would be a utopia. Not seeing it..
I've quarrelled extensively with both.