skysight-inc/HackerNews huggingface dataset:
> 2. They've never been the focus of a harassment campaign because they're not stupid enough to put their personal details out there on the internet and then be surprised that people will use that to harass them. They also don't feed the trolls in the first place.

This is a) simple victim blaming and b) impossible to fix in some situations. Illustration of (b) is that the companies of which I'm a director are a matter of public record, and for very little money indeed you can buy online a copy of that record including my home address and telephone number.
Robots Create Jobs.

I just purchased my second welding robot. It is a Miller/Panasonic PA-750S with a 92" welding turntable. We make truck accessories with it. I bought a made in Boston laser cutter at the same time, a 4000w IPG LaserCube.

All this new machinery lets us build in one (168 hour) week what we could build in 2015. And it took only one lease payment down to finance - about $8000.00, with another 59 payments of $8000ish to go - so I don't buy the "only the super wealthy can buy robots" idea. Some people on HN have paid that much for an office desk! These machines can make product to completely pay for themselves in one month, if you can get the work for them.

By purchasing these machines, I was able to get some deals that would have gone to China. Then I had to hire 4 new people to run them, and we had to go to working 24/7 from only 40 hours a week before. All of this to make a product that would not sell as well if it had to be priced at human weld costs. The robots are at least 3x more productive than the human doing the same part - if you have enough units to do. 30 minutes of change over time between programs can waste any times savings.

So in my anecdotal experience, everytime I add another automated machine, costs go down, prices go down, sales go way up, payroll goes up a little. I have to keep hiring humans. and I pay them bonuses that they seem pretty happy with. This doesn't count the machine manufacturers, their traveling support staff, the leasing companies who lent the money, etc. etc.

I have friends with manufacturing companies in completely different industries that have the same experience.

If anyone is in Tucson Arizona, you are welcome to come by. I will show you how easy it is to program the robot. It will take me 20 minutes to teach you how to make a basic weld.
Thank you, I haven't used SoGo in quite some time (v1) nice to see they've come along.
>I think there are more important causes than "reducing potential risks from advanced AI". Honest to god, $30M will go a long way in saving lives TODAY.

If the intelligence explosion hypothesis proves true even 100 years from now, it will have the potential to decide the fate of humanity.

Given the stakes, beginning foundational research as early as possible is prudent. $30M in the grand scheme of things isn't much at all. If you were to express that amount as a fraction of the planet's total wealth, it would amount to something utterly infinitesimal​​. Yet, the potential payoffs are immeasurable.

Philanthropy and research isn't some crude single-threaded triage process. The timescales involved, combined with the fact you can't just throw money at some problems demands a diverse approach that pursues many ends in parallel.
GitHub Enterprise is an on-premise product and separate from the "dot-com" (GitHub.com) product offering. Inside Microsoft we have great engineering systems that today are powered by Visual Studio Team Services (VSTS), so for most teams we try and use that for all private engineering work.

For our externally-facing open source projects, we are using the GitHub.com public product like any other GitHub user - we realize that GitHub is where open source lives these days!

That said, we have some unique challenges, as we have nearly 10,000 members in some of our organizations.

Full disclosure, I work within the Microsoft Open Source Programs Office and am responsible for our GitHub.com billing arrangements at this time.
Ads are getting smarter.
There is a neat macro I've been using to solve problems like the nested if-lets in the post:

https://github.com/Engelberg/better-cond

(b/cond
:let [x (foo)]
(not x) (do (log "foo failed") false)
:let [y (bar x)]
(not y) (do (log "bar failed") false)
:let [z (baz x y)]
(not z) (do (log "baz failed") false)
:else (do (qux x y z) (log "it worked") true))
The difference is that this time, there is no alternative. We'll be dragged there, kicking and screaming.

Normally, it's easy to dismiss statements that are all-or-nothing propositions. Usually the person making the statement lacks imagination. Isn't there some alternative?

Unfortunately, there seems to be a >90% likelihood that the answer in this case is no: https://www.youtube.com/watch?v=7Pq-S557XQU

Once you accept that there is no choice other than giving people money to survive, the focus can shift to accomplishing that goal rather than dwelling on whether it might lead to economic collapse.

http://blog.samaltman.com/technology-and-wealth-inequality

> However, if we cannot find a new kind of work for billions of people, we’ll be faced with a new idle class. The obvious conclusion is that the government will just have to give these people money, and there’s been increasing talk about a “basic income”—i.e, any adult who wanted it could have, say, $15,000 a year.

> You can run the numbers in a way that sort of makes sense—if we did this for every adult in the US, it’d be about $3.5 trillion a year, or a little more than 20% of our GDP. However, we’d knock out a lot of existing entitlement spending, maybe 10% of GDP. And we’d probably phase it out for people making over a certain threshold, which could cut it substantially.
The New York Times has endorsed Republican presidential candidates in the past.
I'm only commenting on seL4's approach not being very viable. I'm not advocating for C++ in the kernel either.
I remember when the internet was primarily shock videos and Newgrounds flash animations, and really crappy expages raw HTML webpages with flaming GIF animations.

That internet was horrible. It was filled with goatse, tubgirl, lemonparty, crush videos and much more.

The internet today doesn't have that. But it is politicized. And just like mainstream media control of the politics has created a race to control platforms and communities.

The internet has fracturous communities that break down into camps of people who are collectively gas-lighting one another. And in spaces where there is an established groupthink - anything that questions that groupthink is immediately a threat to the entire ecosystem of that space. And so the term "troll" has come to mean "anyone that doesn't agree with the groupthink."

Yesterday someone suggested that I was a traitor to my country and would be hunted down because I fact checked a group hysteria. I've been called everything under the sun and have received all sorts of threats. But in that community I'm the one who is labeled a troll.

(I've been criticized, and even temporarily banned from HN on the premise that I was a troll. In that case, I had been explaining and defending the Chinese case for their sovereignty over territory in the South China Sea. It was not bearable on this forum.)
I think that means, "No actual stove." A hotplate, a small fridge, and a microwave.
Have you heard of the Software Heritage Project? Pretty cool what they're trying to do to help and preserve the world's software.

https://www.softwareheritage.org
It's April 1st already.
does sunsama expose interfaces/apis that could be manipulated externally?
Much of the time what I'm learning today is how to write code that is obviously correct or obviously wrong to everyone who looks at it. It's not prima facie 'better' than the code I wrote before, but it's more likely for the original intent to survive multiple modifications by others, and emergency fixes are less dramatic.

The analogy I'm experimenting with now is stage performers for Opera or Musical productions. If you see them up close, such as video recording, they clearly 'overact'. They use exaggerated facial and arm expressions to project their performance far enough so the people in the middle or even the back can see what's going on. They are expanding the audience greatly, but admittedly at the expense of those closest to the action. But on the whole it's a better performance.

When I find bugs in my code, introduced by me or added by someone else, I think about how it looked before and try to determine if it was just a dumb mistake or whether I tricked them into it. Maybe I grouped the code oddly, or chose an unfortunate variable name that implied something else was going on. If it's the latter I think about whether I really want to use that pattern anymore. What's tricky is that everyone tries to make their code look like the existing code, so people may be copying the pattern thinking it'll get them a clean code review. If I think the problem is bad enough I may stop and refactor all the places it's used (it only works if you're really, really practiced at refactoring), otherwise I'll just make a note so stop doing that in the future. I might mention it in a team retro.

I want my code to be as plain as it can be and still get the job done. Indeed at this point I positively fume when a 'senior' developer writes clever code, because they should know by now this isn't about them and they're hurting the entire team trying to fluff up their own ego. Look how important I am that you need me to fix all the really hard bugs. Fuck that, and fuck your dazzling bullshit. The only thing that pisses me off more is a manager that thinks 'blame allocation' is a viable management style.
Except you're ignoring a whole big chunk of data in the form of expert opinion and knowledge.
http://withouthotair.com/about.html - "This is a free book in a second sense: you are free to use all the material in this book, except for the cartoons and the photos with a named photographer, under the Creative Commons Attribution-Non-Commercial-Share-Alike 2.0 UK: England & Wales Licence. (The cartoons and photos are excepted because the authors have generally given me permission only to include their work, not to share it under a Creative Commons license.) You are especially welcome to use my materials for educational purposes. This website includes links to separate high-quality files for each of the figures in the book.

A note to pirates, this license does not allow you or anyone to print and sell the book on amazon marketplace!"
A semantic model for a substantial fragment of C
Indeed, the idea of information (bits) as entropy is fascinating to me too. And not just Shannon entropy, they're all related somehow. See https://en.wikipedia.org/wiki/Bekenstein_bound

And then there is the fact that life encodes and persists information. There was a recent HN thread that got me interested:

https://news.ycombinator.com/item?id=13496133

I did read Gleick's "The Information" but was disappointed it didn't dig very deep into the concept. I got further following links on Wikipedia.
The internet has ruined April Fools day.
Just make sure whatever it is allows you to know as much as possible at compile time about memory locations and timing of operations. These are necessary for finding covert channels. One of reasons I told people using Freenet it couldnt be trusted is JVM might allow endless leaks. Also because the JVM. ;)

Main contenders are MISRA-C w/ tons of static analysis, Ada/SPARK, SafeD, and Rust. These are ones with plenty of tooling & libraries. Also double check object code in case compiler screws it up. SPARK Pro has that built-in. CompCert can eliminate need for it usually but expensive. Maybe just eyeball it per file in compiler.
Google Brain Toronto
Most newer Intel (Cyclone and beyond) and Xilinx (-7 series) support various levels of partial logic reconfiguration. If you plan your device layout right, you can simply reprogram a region of fabric that is hardwired wired to the 'shell' of your system (which is connected to the peripherials). If you have setups like Vivado's SDSoC/high-level synthesis, you can do things like dynamically reconfigure OpenCL kernels, etc.

Of course, the problem is synthesis, verification, testing etc is all rather difficult in practice and takes a long time. The boards themselves also can't do synthesis/compilation, obviously, since they're fairly limited and it's a time-consuming process. You'd have to make it act more like an OTA update system, but that comes with a lot of its own problems...
Using IPFS for IoT Communications
Operational, executable, and axiomatic semantics for C11
The link in the bottom of your first article was very helpful, and seems to confirm ChromeOS and Android would be the likely targets.

https://fuchsia.googlesource.com/magenta/+show/master/docs/m...
Hahahaha, yeah. Last time: Eisenhower in 1956.
> LE have abdicated their responsibilities in this area.

On the contrary. One of my side-projects is involved with the running an Internet-to-PSTN wake-up-call service. The service is free-to-use in the US (because domestic calling is so cheap) which also means it gets used by criminal-harassers who send wake-up calls at 4am to their targets (we do aggressively rate-limit which helps mitigate these issues). We are frequently contacted by local police departments across the country (we don't spoof our Caller ID) seeking information about who made the call (roughly 25% of the time we get a subpoena or court order) and almost always we see the call request came from an IP address hiding behind a simple PHP web proxy script or a Tor node.

While my story is an anecdote it does demonstrate that it is very easy to hide your identity online for quick hit-and-run harrassment - it's not that LE have abdicated - it's that they've done all they can do - because what can you do with an IP address allocated to Egypt?

While the issue I've described is a societal problem, it does have a technical solution: if the phone numbering system were redesigned so they worked more like email addresses then people could change their phone numbers or use disposable numbers and aliases which would put an immediate end to unwanted calls... but that's not going to happen.
> Sure - but we're talking about a new union for tech workers here. It can be what we want it to be. There's no reason to lock ourselves into some kind of historical determinancy. SAG-AFRTA never did.

There is, and that's the NLRA. It's a very rigid law, and there's a reason that basically all unions formed under the NLRA, regardless of the industry, have converged on the same sorts of membership agreements, employer contracts, and corporate policies.

You can start off with whatever you like, but pretty much any NLRA-regulated union will end up with the same result; it's not a coincidence.
I get "Not available in your region."

I love geolocked April fools even better than the regular ones.
The National Right to Work Legal Defense Foundation considers anything but "open shop" to be "forced unionism" and lists 28 states as free from that scourge.[1] No exclusive contracts, no agency fees.

[1] http://www.nrtw.org/right-to-work-states
Private state in JavaScript
> My main objection to unions is that, once they're in a company, employees lose the right to negotiate their own compensation

So don't have the union do that.

Have the union worry about coming down on places that fire members for refusing to work 60 hours a week, want you to train your replacement, force shitty unpaid oncall schedules, etc...
I do remember a time when Google was making real product announcements too good to be true on April, 1st. I guess this time is done.
The 8 Chinese Dishes You Should Eat in Chinatown
You're conflating "Freedom of speech" with "The right to be listened to" and "The right to have a platform".

Those concepts are inherently fuzzy and related in messy ways. Back in the day, AT&T claimed that it had built its long-distance network, and that it was in its rights to exclude others from using it. The effect of this was monopoly, however, so regulators stepped in and new laws were passed.

If "de-platforming" has the effect of censorship, then it might as well be censorship. If de-platforming resulted in no-one wanting to listen to certain speakers, then it would be private citizens convincing other private citizens in a way consistent with democratic values. But in actuality, de-platforming as practiced on college campuses often results in a group of people too intimidated to talk and too intimidated to attend, contrary to their desires. It's not convincing people. It's threatening and bullying them while just avoiding running afoul of law enforcement. (Or, in some cases, showing up in large enough numbers to frustrate law enforcement.)

Would you really call those people anti-establishment? They voted in favour of the corruption of the political system

Do you actually believe that all of them knew that's what they were doing? I know for a fact that some subset of them want the system to get more corrupt, so it will collapse sooner. David Pakman recently interviewed an ex-white supremacist who claimed that subgroup voted for Trump so the system would fail sooner.
Here Are My Quick Reactions to the Verizon IoT Announcement
I think this is because at it's core, the math behind deep learning is pretty simple and there's not much of it. Linear algebra, some simple activation functions and gradient descent. Implementing a net from scratch in python is pretty concise. The simplicity-to-effectiveness ratio is what I find so interesting about deep learning.
All it takes is a couple opsec slip-ups to give a dedicated group of attackers the clue they need to link your identities together. Maybe you'll never make a mistake or say something that the wrong kind of person takes umbrage with, but is it really fair to put that task on every single Internet user?
At least ECC turns a RCE into a DoS, even if it's not the best situation.
I'd say that's actually a good evidence that shows the age range where criminals are most active. As they get older, they mostly burn out. The fact that crime rate began falling in the 90s overall is directly attributed to babies that never grew up to be criminals, because they simply did not exist.

Please read the original paper, it makes a very good case for linking less babies being born into troubled demographics and growing up to commit crimes. There's strong evidence that suggests that babies born into poverty stricken demographics overwhelmingly commit more crimes than babies brought up in safe environment.

The fall of African American birth during the early 80s as a result of crack cocaine epidemic gripping the African American demographic, purposefully and full wittingly sanctioned and distributed by the world's favorite 3 letter agency and the Reagan administration. It's widely known that the war on drugs and marijuana was to crack down on the black community to target their leaders. Don't forget that the State directly played a hand in oppressing Blacks. This is indisputable evidence.

In contrast, the USSR, did not have systematic racism towards blacks. In fact, the oppression of African Americans is well documented in USSR media. Obviously, for their own propaganda reasons, but the USSR at the core imposed socialist ideas of racial equality and the KGB made sure it was followed.

Part of why the study was so controversial was attributing the fall of crime to less African American babies being born. Considering that 1 out of 3 African American male will be in jail (regardless of actual crime or institutional racism), it makes perfect sense to see less babies being born from this demographic caught in a inter-generational poverty cycle under the backdrop of racist and non inclusive white population.
> People who i don't agree with are winning the internet

fixed
They'd close support for it in a couple years, but they'd keep the voice recordings around forever!
One day too early for Aprils Fools, ain't it?

I'm not really one to kiss up Microsoft most of the time, but the fact GitHub is becoming the new SourceForge is not too keen.
I didn't say I still think my old code is horrible (well, some of it is). I said I wouldn't do it that way again. That's more like, "Well this is alright, I guess, but..."
Take, for example the referee of the KY game who got his business trolled as well as death threats. I don't think he did anything to "feed" the trolls however he may be irreparably damaged by such people. I don't think you can ignore them and hope they just go away when your business is threatened as well as your life.
Interesting. I haven't encountered that edge case. I've many times filled /boot and resolved by doing an auto remove.
Thank you for this -- there are a lot of pain points I completely agree with here. Repeating events being one of them.

Events view sucks. I don't think the visual information should be equal if I have a list of things to accomplish in a day that are "time locked" or "time sensitive" or "time orthogonal."

Integrating actual RescueTime data into gcal to provide automation of capturing activity would be an interesting angle if I wanted to hack together a solution for that problem.

RE: Apple -- iCal was honestly the best calendar I've ever used, it was just beautiful. Then I cleaned my soul and installed debian, and haven't looked back.
because then it has no power.

That's the whole point. Individuals have no power. You can fool yourself into thinking that extra 20k a year you managed to get is power.
What'll really smash your ego is saying "Jesus, who wrote this?", hitting the 'blame' button and finding out you wrote it...
Me too. And have. And am happy.
Couldn't agree more. Have never trusted password managers that touch the internet.
I think the startup industry in SF is, in its own odd sort of way, sending a clear message to young people: "Get married." You can share an apartment, and you don't need separate bedrooms.
Good point, the only dubious feature is the "recover passwords" one, but others clearly black hat in nature like "recover steam file", "open meatspin", "SYN flood", "lock computer with password" are from plugins.
Some people on HN have paid that much for an office desk!

I doubt many people on HN have paid $500,000 for an office desk
Anyone else tired of the April 1st stuff? Lots of stuff has been showing up since the 31st too. I used to enjoy the holiday because it had some built-in restraint (no pranks after midday) and I'll admit for the first little while internet companies getting in on it was fun. But they've ruined it by over saturating it. How many pranks does one company need to put out?

Edit: In fact it might inject more fun again if Google and everyone else only showed the pranks up until midday based on your location and if you were interested you had to find them before then or you wouldn't get to see them live.
- FLAVOR: Xubuntu, Lubuntu, etc (not Ubuntu)

- HEADLINE: Dash/Spotlight-like search for the rest of us

- DESCRIPTION: While Ubuntu users have the Dash, we Xubuntu'ers (and I assume the same goes for Lubuntu users, and others) would love to have something similar an `apt install` away, or even --god help me-- installed by default.

Options seem to be abundant, but few of them are truly lightweight and/or easy to get running and/or provide the relevant results that you'd normally expect. I think I've tried pretty much all of them, but after a day or two I always end up going back to Catfish.

Unity is great, just not for everyone. ;)

- ROLE/AFFILIATION: Software developer, journalist, aspiring musician.
It's actually a real product, my roommate has been working on it for the past months. I think it was initially supposed to be launched last summer, but there was a bunch of technical issues + scope creep and it's only happening now. Seems like a misstep to announce this so close to April Fool's Day, but apparently the higher ups couldn't tolerate any more delays. I understand the confusion, but if you look at the site you can see it's actually available for sale.