skysight-inc/HackerNews huggingface dataset:
You can indeed consider a context plus a term to be reduced as a program, which is executed by term reduction. But the unit of code in Leibniz is the context, not the context + term-to-be-reduced. If you want to compare to programming languages, a context is more like a library.

The difference is in the focus rather than in the principles. Leibniz is a Turing-complete language, so you can use it for programming. But that's not what Leibniz is designed for. Term reduction is more a way of exploring the definitions in a context than a way to run code.
Sounds like Germany right now.

Next year we will spent around 25% on refugees. I wonder when the point of an emergency budget arrives.
Bernard?
There's something strange about the ROC curve here. It seems that the feature engineered and logistic regression methods can pick out some examples very easily (20% true positive rate at a very low false positive rate) but the CNN seems to not be able to make many predictions at a low false positive rate. It then catches up later. It's almost like it can't pick out the easy examples, but does just as good a job on the harder ones.
https://news.ycombinator.com/item?id=12981736
https://news.ycombinator.com/item?id=12985645
That is about the X server, which is not some Linux specific component as it is also used by all the other *nixes as well.

There is Wayland which aims to solve these security aspects mentioned in the blog post, it will be shipping by default in the next Fedora release IIRC.
Not bad at all! Nice share indeed :)
>You gotta appreciate the honesty...

It is easy to be honest when the implication is that the money will be used to fund "Mars colonies", and won't be used for his private comforts.

Only that every business operate on a similar premise.

"Oh, we just need more revenue so that we can build a bigger shop for you where you can buy more stuff with less effort!"

The world wont be saved by going to Mars or going electric. The world will be saved by fixing "people". Because that is what is hopelessly broken at the core.

But no one will do it because people being broken, is the foundation stone of our current system of existence and it gets no one excited as going to mars or some bullshit "idea" like hyperloop or ubeam...
Of course he only meant some.
I really hope so!

I basically stopped using ps ( for smaller stuff) because the startup tone is so awful.
Already happening at the more advanced ports.[1] Flat AGVs move containers around. No drivers. No crane operators. No people at all in the container area. Trucks of the future may be more like those AGVs than today's trucks - flat wheeled platforms with no cab.

Fully computer-controlled traffic looks quite different from human-driven traffic. The coordination is much better.

[1] https://www.youtube.com/watch?v=zm_rlLyelQo
Leibniz and Modelica indeed share the objective of writing digital scientific models rather than software. But the kind of information that can be expressed is quite different. Perhaps the most important difference (for me at least) is that Leibniz permits analyzing and reasoning about models, not just simulating them. I don't think Modelica can do this, but I can't claim to know it well enough.
"Lawyers for the students agreed to forgo legal fees as part of the settlement."
Yeah no problem. Just wanted to clarify. The vocabulary is confusing.
The learning curve is difficult in any 3D application and Blender is no exception. It's challenging to learn, but a very capable application in the right hands.

I don't get the hate for Blender. It can use RenderMan, it supports Python scripting. It's just different from what people are used to.
Show HN: Slack Bot for Google Analytics KPI
And you still have no clue why he won, although the nature of your statements have helped to it.

The more you'll repeat words like "racism" and "bigotry", the more this "black magic" will come to play. They have lost its real meaning by blanket use, people are desensitised by them and this shows with their support.
Geometry from order: causal sets
> Taxing mass automation to pay for basic income is just too fragile.

No no no no. Souvereign investment is not income constrained, taxation does not even need to enter the picture.
No mention of Cluster??

https://nodejs.org/api/cluster.html#cluster_cluster
There was an article on HN at some point talking about how GPS is one of the first free-for-everyone services ever.

GPS requires maintaining an array of satellites, but governments have decided that footing the bill for maintenance is worth it to give the whole planet access to GPS.
Reading those "fake" news stories I would say that they don't actually claim that. Now, I am sure there's an exception, but I haven't found one and I've honestly read every article in the first 2 pages of google results for "Obama sharia law".

Most take offence at Obama defending muslims and sharia law, voluntary application of sharia law that is, after Newt Gingrich's call for mass-deportation. They do not claim Obama said anything he didn't say. Obama was very political, leaving out any actual controversial statement.

So I don't think, on the whole, that your statement is fair. These articles mostly lack quality, so they're easy to attack. They're not wrong, in a strict sense. Clickbaity, spammy, unpleasant, even misleading ... yes. Wrong, no.

And I have no trouble whatsoever finding all those properties in articles linked from the homepages of CNN, MSN, ... especially in the business and science sections. And I have to say, I am against Trump, but most of the frontpage stuff I would agree if anyone said half of them were hit pieces.
SQS – FIFO Queues with Exactly-Once Processing and Deduplication
Wow. This is such an excellent work. Thank you so much for it.

This is unrelated. I recently went and watched Markoto Shinkai's latest film : Kimi no Na wa. (Your Name.). Like his previous works, it's extraordinary. I encourage everyone to give it a try.

While Markoto Shinkai won't be Miyazaki, his work are pretty good and he's still very young so I really hope to see him making great ones like Miyazaki.
In this case, it's not as good as a normal backup. To my knowledge, Google Docs/Sheets/etc. is exported in other file formats (MS Word format, PDF format, etc), not their internal file format. So it's not a real backup, just an export.
1.
<script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/3.1.1/jquery.m...

2.
Profit
Don't blame me. Blame the incentives created by first-past-the-post voting.

Edit: Just to avoid confusion, by this I mean that though I would have been happier with Johnson or Stein in the White House, realistically either Clinton or Trump would win. Not voting for Clinton would have been good, but voting for Trump is a better way to ensure Clinton doesn't win, which was my primary drive.
IQ isn't an inherent or even a constant quality. It is a function of many factors. I agree that Hamilton and Hopper are exceptional and extraordinary but they also worked in exceptional and extraordinary circumstances.
> "I used Twitter accounts I controlled (“bots,” although they aren’t acting autonomously) to send messages"

It's a shame they over-hyped the title and made it all clickbaity. The post itself clearly states that they are not autonomous and therefore not programmed. Possibly not helped by the use of the word "bot" over and over. Am I right in saying "bot" implies autonomous?

That aside, interesting short read with a fairly intuative result. Good to see it backed up with actual research. Though it doesn't mention how many accounts were targetted during the research.

Is there potential a way of analysing messages for racism in the same way some do sentiment analysis? Is it the same sort of problem? Not even a beginner in the field, let alone an expert!
You've missed one possibility.

Do you pay for the air you breath? Does the government tax corporations to provide a basic air income for people to ensure that everyone gets their fair share of air? No. Why not?

The reason you don't pay for the air you breath is because air is so immensely plentiful, so easy to get, so impossible for anyone from stopping you from getting, that of course it doesn't cost anything.

Imagine if things like food were the same.
Maybe it will build a machine that goes back in time to hunt down people that made all the bugs, thereby "solving" the problem in the most efficient way it can envision.
Intel is laying off a major portion of its wearables group
I used the second one, SFU 3.5, with Windows XP.
AI will, without baggage or attitude, consider immediately any Turing-complete system trivially equivalent.
The more recent ghibli movies use cgi, albeit while trying to stay true to their general esthetic. The next one is supposedly entirely in cg[0]. So hopefully he wouldn't hold anyone to a higher standard than himself? :)

[0]: http://www.wired.co.uk/article/hayao-miyazaki-latest-film-cg...
Yeah, and you're one of the guys who I'm sure called me a wingnut when I said brexit then trump would happen.

Do you think nazarbayev has a 95% approval rating? Because he does. Do you think 95% of people like him? Hint: no. Will he be president until death? Yes.

Why would trump do differently?

You're either naive, a lackey in waiting, or both.
Ask HN: Why am I being shadow banned?
I am trying to submit a couple of important questions, but I see that I am shadow banned. I can see my quetion, but as soon as I log out my question disappears. Why is it happening?
It depends entirely on how democratized the robotics are, plus the food.

What if in the future all food's patented? What if due to climate change the traditional stocks don't grow, or due to regulation you can't grow it. Maybe actual cows are illegal, but you can vat-grow beef-like food.

This is why having open-source, affordably licensed technology is imperative. Affordable for some people might mean free, which makes certain licenses absolutely paramount.

If we can build our own robots, design our own food, we're no longer wage slaves. If we can't, if we must feed into some system that extracts heavy taxes from all of us, the opposite is true.

This is why I don't care about using proprietary software. So long as I have options which aren't proprietary I'm content, and if those options are threatened it's worth defending them. This is different from trying to destroy proprietary software.
Tesla Autopilot Full Self-Driving Hardware
Is there an ethical question regarding the computer-assisted manipulation people's perspectives, however ignorant and wrong they may be? I believe so. Personally I would not write this sort of software for this reason, and consider government investment in such software an affront to basic human rights - UN Article 13, Freedom of Expression: Freedom to seek, receive and impart information and ideas of all kinds, regardless of frontiers, either orally, in writing or in print, in the form of art, or through any other media.

I disapprove of what you say, but I will defend to the death your right to say it. - https://en.wikipedia.org/wiki/Evelyn_Beatrice_Hall (commonly misattributed to Voltaire)
No! The Donald is a good man! Always a good man! He didn't say anything if those things on the campaign. What campaign? What's a twitter? He doesn't use twitter.

No he I'll be proud dignified statesman president no looting USA good Russia bad.

What part of that don't you understand? Of course trump won't be elected. Of course brexit won't happen. What kind of idiot are you?
> So yeah, if you want to help, that's where to contribute your effort.

Gentoo and Arch are good options. However, in the long term classical Linux will likely only be able to run on retro systems and FREE HARDWARE! If Gentoo and Arch want to survive they should focus on free hardware pretty soon.

I think so because upcoming mainstream hardware will likely all be based on UEFI/SB. SB is yet optional but I expect it to be mandatory soon. Only Linux with certified kernels -- likely systemd Linux -- will be supported on those systems. I don't like that because I want to be able to install up-to-date kernels and software at any time without messing around with proprietary certificates.

The Monster 6502 [1] was an excellent starting point into a world of discrete SMD cpus. I hope there will also be a 16/32-bit cpu capable to run Linux (or its successor). At least 68katy [2] is capable.

The most promising project however is RISC-V which will hopefully be available with non SB-mainboards.

[1] http://monster6502.com

[2] http://www.bigmessowires.com/category/68katy/

[3] https://riscv.org
There was a This American Life episode[1] where someone who was being harassed got contacted by the troll.

The harassment was some pretty serious shit (making a twitter account of the victim's dead father, then insulting through this). But one day the attacker realized how awful the thing they did was, and ended up apologizing profusely to her.

There was also that study about how people's views on gay marriage evolved substantially after just a couple conversations with a gay couple, who would say "Hey, why can't we get married?". Though there was some statistical issues with that IIRC....

I have a hard time saying "these are proof that yelling at trolls works" because there are good and bad ways of communicating the point, but it sure feels like direct confrontation works on some level.

Though I don't know how well this stuff works against people from /pol/, if only because most of them don't actually care about the issues, just yelling at people.

[1]: https://www.thisamericanlife.org/radio-archives/episode/545/... (Act 1)
It looks like it is pretty common for companies to neglect air conditioning. What's the point in having fancy office if the air makes you dizzy after an hour and no amount of coffee can make a difference or the temperature. One days cold as f, another day let's all go naked and drink ice tea...
> This also makes Trumps promise to bring manufacturing back to the US quite interesting....

The voting in of Trump shows how conservative and not forward-looking the US is. Vast swaths of the South are hell-bent on keeping things the way they are (for better or worse).

The US has also been one of the "lower" OECD countries for a decade or two in a lot of measures [1].

I won't be surprised if it's one of the last OECD countries to have a strong manufacturing sector, requiring humans to do a lot of work that in other countries has been replaced. Other countries will figure out how to rethink economies, happiness, purpose, etc, and the US will just keep doing what it's always done.

I think there will be tens of millions in OECD countries living with basic income (or something in a similar vein) with tens of millions in the US are still laboring at work.

[1] The US is at or very near the worst among OECD countries in: infant mortality, child poverty, child health and safety, life expectancy at birth, healthy life expectancy, rate of obesity, disability-adjusted life years, doctors per 1000 people, deaths from treatable conditions, rate of mental health disorders, rate of drug abuse, rate of prescription drug use, incarceration rate, rate of assaults, rate of homicides, income inequality, wealth inequality, and economic
mobility.
> Mind asking a few things?

sure! nothing and nothing ;-) they were just leads I was trying. `target` was for:

void **target; *target = *mov_addr; // move sizeof((void *) bits

I've updated the gist.

> Also, even though mprotect() succeeds, I got a segfault.

try in GDB something like:

(gdb) disassemble main
...
0x00000000004005dd <+64>:	mov %rax,%rdi
0x00000000004005e0 <+67>:	callq 0x400566 <checksum>
0x00000000004005e5 <+72>:	mov %rax,-0x8(%rbp)
0x00000000004005e9 <+76>:	cmpq $0xad4,-0x8(%rbp)
....
(gdb) break passme.c:62
(gdb) continue # should ends up *after* the memcpy
(gdb) disassemble main
...
0x00000000004005dd <+64>:	mov %rax,%rdi
0x00000000004005e0 <+67>:	movl $0xad4,-0x8(%rbp)
0x00000000004005e7 <+74>:	nop
0x00000000004005e8 <+75>:	nop
0x00000000004005e9 <+76>:	cmpq $0xad4,-0x8(%rbp)

and in both disassemblies, look around 0x4005e0 (<main+67>) to see how instructions have been overwritten. In the second disassembly, if you see strange-looking instructions (eg clc), there was a problem with the copy / the instruction copied. Let me know !
Would be great to see more data from this research to understand the scale of the effect and quality of analysis. How long the measurements have been performed? Was there direct causal link between the tweet from bot and reduction of the number of racial slurs? Were there any other events that could influence the research, e.g. a hot topic that could consume most of the attention of the subjects? Was there reduction in the number of hate speech tweets at all or the subjects just switched to the milder language? How big is the effect in relative numbers?
I assume you're talking about the safety beams that prevent the door from closing on obstacles. Have you ever had the door go down on command and then halt, without any obstacle in the way? They're very noisy sensors - lots of false positives, not the sort of thing you want to wire up a massive bomb. They also actively emit light, so not very stealthy.

The first time I saw the results of an IED blast was a day after I arrived in Iraq. I had to shake a tree in order to retrieve the trousers of the guy who blew himself up planting the thing. That happened a lot. Making IEDs isn't very hard, but making a lot of them without eventually blowing yourself up is.
EM Drive confirmed
To anyone else interested in working on this, I have a number of ideas for how an extension like this might work. I have some experience with NLP and would love to find someone else interested in this project. My goal is a tool that would help journalists and crazy aunts and uncles alike judge the truthiness of facts.
Microsoft of today is not a software company, they are a service company. So how their services are delivered, from a competitor for example, is not that relevant anymore.

But assume you are 100% right that the WSL environment is removed or stops working in Windows 11+, how is that affecting my Linux experience with WSL today? Not one bit, because if it would change in the next release I can when i happens start a Virtualbox, but why run it now and have inferior experience when the result is the same? Does not make any sense. Or I can switch to Linux even, still same old shell.
Sadly... The compromise is AOSP or copperhead OS, CM equivalents. With daydream tightly controlled by Google/Play perhaps genuine FOSS lovers need to live in 2D world.
The fact that you will see resistance to the idea that automation will eat jobs and a change is needed even here on HN to my mind underscores the gravity of the problem you describe.

You will have replies saying "never heard of a jacquard loom lol?!" And "new categories of jobs, idiot!", and "it's always been fine before!".

It wasn't fine before. I recently pointed out that living conditions for the average Victorian nose-dived as available labour exceeded demand due to automation. It wasn't a magical instant orderly transition.

Perhaps we should seek to avoid the same mistakes - I know that that's a radical and divisive idea but there it is.

This mandates either universal basic income or a meat-grinder war. We went for (2) last time - and afterwards even women could get jobs!
Sure, but in terms of GDP per capita we're one of the best (and the best overall large country)! U-S-A! U-S-A!
there's the small issue of the use-mention distinction, but generally I imagine it could work well. There are so many dog-whistles out there (especially for the alt-right) that the sort of overtly racist comments on Twitter would come out quickly.

In Twitter's case, follower graphs would also probably be a good indicator, at least for people who follow less than 200 accounts. Not to mention that a lot of these people overtly say in their twitter bios that they're part of the frog police or whatever.

Twitter could nuke Alt-right Twitter from orbit pretty easily. Then they'd just go run off and use some "actual free speech" twitter clone and fester in their own space. Just like they do when reddit/4chan cleans house.
I think we all should. It's watchmen all the way down :)
Solzhenitsyn - when you take everything from a man, and can take nothing more, that man is no longer in your power - he is free again.
Oil prices are lower than they have been in years. We can buy as much oil as we want for cheap.
The findings are in a way depressing. Only the black bots with many followers cohort was any effective, probably due to intimidation effect on the offender.
Java frameworks are conspicuous by their absence. Are there any lightweight Java frameworks for the java/android folks out there?
how would they even do that? do they some how receive a receipt from the merchant? i use amex myself and have never seen any receipts. i'll do some more research...
Could have sworn there is a celebrity voice add-on for some vehicle GPS that is just that.
I watched a class (a single 2 hour lecture I believe) taught by Conway at Mathcamp. It was about, believe it or not, the simple game of dots-and-boxes - except that Conway had attacked it with a lot of math and derived some strategies for winning. He was indeed a great lecturer, even though he was quite old.

The most memorable part was right at the beginning where Conway asked someone to play a 4x4 grid of dots and boxes with him 10 times in a row. As I remember, Conway won 9 times in a row. That got all of our attention! :)
Populate those clone sites with troll-feeding bots for maximum efficiency.
Autopilot Full Self-Driving Demonstration [video]
the real problem with your manager is that they are not holding you accountable to your commitments. it's not their job to "do your growth", that's your job. it IS their job to know what your growth strategy is and to keep you accountable to it.
"Charles, Alan and Maurice" are not particularly stand-out names in a field of men. You could use "Lovelace, Hopper and Hamilton" to be more balanced, perhaps.
It helps to use the right tool for the job. Go is really perfect for this use case.
you can draw conclusions from only the data presented to you doing bayesian inference.
> the system rejected the data as invalid

Thats like suddenly having your car freeze the speed gauge or something because the speed would be absurd. Who the flip comes up with this things?!
Stress is a state of mind and a function of how much you have practiced stress.
> The climate is always changing and we have a very short history of data.

> These scientists are glorified weathermen

> I don't see anything about what's going on with the sun or the moon which I find disturbing.

Three of the most wrong arguments done by deniers
QU’EST CE QUE AFFILIAPROFITS?
> Discussing where I want to go is a fruitless exercise.

In my experience, it's neither silly nor fruitless, but you can't expect solid results either, your interests are not the only factor at play.

As a manager, I'm genuinely interested in my team's personal growth, but that needs to be balanced with business needs. I'll always try to match business needs with each team member's personal interests and not just skills, because that'll render a much more motivated (thus productive) work environment, but sometimes it's just not possible, and uninteresting work will just have to be dealt with to keep the paychecks coming until something more interesting shows up.
What are the 10 algorithms every CS student must implement at least once?
Try out the Tyler Twist exercise - relatively new, but with actual scientific backing:

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2971639/

I do it once a week after I lift weights and it has cleared up my tennis elbow nicely (and helped programmer RSI, I think too!).
Where are you based? Is your stuff good?
The Desperation of Indian Housewives in the United States of America
its thin on details but if you read it to the end he says there are more details about the os coming in a future post.
Heh, had a similar experience with an alarm clock with a button i needed to twist to lock in place.
Neo900
You dont know well. Even Mononoke Hime back in 1997 had many sequences made in cg.