skysight-inc/HackerNews huggingface dataset:
Try narrowing down to papers in English only ? Why try to deal with a problem which has no feasible solution for now ?
I'm very interested to know the details an perhaps help build it. Looks very promising. Can we connect akhil.karun [at] gmail.
I'm gobsmacked that someone as smart as Lamport could make so lazy a criticism. Maybe he's criticising functional programming as it was decades ago when he last looked at it. Modern functional programming is by no means (merely) about "functions". It's basically about composability and reuse.
Rotate an acute angle in MS Paint [1:28 Video]
Eclipse balloons to study effect of Mars-like environment on life
> In the real world you want to add to a list or change a map's value

Do you? I don't. I've written loads and loads of production code that never did this. I know it never did it because I wrote it in Haskell and never used an IORef or STRef!
What makes you think the US doesn't introduce spyware in South Korean tech as well?
How has Uber revolutionized the transport industry? I could call a Taxi just fine before Uber.
But that's quite a different claim from your original one!
Some context for his/her aberrations: https://www.instagram.com/taylorgood/
Show HN: A UI library for a relational language
It also may be a good time to invest in EMP manufacturers
Only those that never used other languages besides C.
You might want to read what John Carmack has to say on the matter, for example http://functionaltalks.org/2013/08/26/john-carmack-thoughts-...

I'm not saying he disagrees with you, but he doesn't agree with you either and it might help you refine your point of view.
Hopefully it is just for now, because I really hope for a future where I can run x86 / AMD64 apps on a phone
It's really not that bad. I've seen pages return 200 with a http equiv refresh redirect on all places where 4xx errors and 3xx redirects would be appropriate... that screwed with everything that wasn't a real(-ish) browser.
Well, assuming by "major OS" you mean a full blown OS and not just a kernel, Android is a major operating system and large chunks of it are written in Java. So I think that is the closest humanity has got so far.

I was tempted to say ChromeOS but I don't think anything non-trivial in ChromeOS is actually written in JavaScript: that's C++ for the OS people and JS for everyone else. Android is more consistent in that core OS components are written in the same way as user apps are.

If I had to place bets, therefore, I'd say that Android is best placed to get closest to the ideal of a fully safe OS within 10 years. I have no idea if Google would do it, but they have the funds, the security commitment and there's a clear path opening up for them to make nearly all userland code in Android safe. But it doesn't look like "rewrite everything in Rust". It looks like this:

Continue to improve ART's JIT and AOT compilers, possibly teaming up with the Graal project. The Java guys are doing a lot of work right now on adding support for value types and subsequent large upgrades to support for vectorisation (as with value types you can represent 256-bit wide primitives and things like that). This unlocks the potential to port parts of the most security-vulnerable and performance sensitive components like the media server and media codecs into Java or Kotlin, without much performance slowdown (bulk of the most important h264 decoding is done in hardware anyway).

But there will still be lots of C/C++ code in Android and rewriting it would be very expensive. So a feasible next step is to swallow the bitter political pill and team up with Oracle Labs to get access to SubstrateVM + Managed Sulong (or wait and see if they are open sourced). This rather magical combination of tools appears to offer the potential to run anything LLVM can compile in a way that eliminates all forms of memory unsafety including buffer overflows, out of range reads/writes, double frees etc at a nearly trivial cost (around 10-20% at most):

http://www.ssw.uni-linz.ac.at/General/Staff/ManuelRigger/ECO...

If this technology lives up to its potential, and it seems like it is in with a very good chance based on progress so far, I suspect we'll see a loss of interest in Rust over time ... at least for the "make existing software secure" use case. Managed Sulong + SubstrateVM can run C/C++ code that is strictly standards compliant (it struggles with code that makes spec-violating assumptions as it exploits UB very aggressively), but it's much easier to fix compliance issues in an existing codebase than rewrite it from scratch.

The Android team have already switched to OpenJDK and abandoned their plans to rewrite the Java compiler, so with the resolution of the Oracle lawsuits they do seem to be technically moving closer to the Java platform rather than away from it. Collaboration between Google and Oracle on this doesn't seem as unthinkable as it once did.
Regret 'improves children's decision-making'
Taxi apps pre-date Uber too
Daniel Miessler has a good general guide: https://danielmiessler.com/blog/build-successful-infosec-car...
tptacek, who posts often on HN, also has some wise words: https://krebsonsecurity.com/2012/06/how-to-break-into-securi...

There are so many sources of information and learning grounds available now - bug bounties, certifications, war games, online tutorials, blogs, conferences etc.

I would suggest choosing a particular area of interest to begin with and deep-diving on that subject. Look for mentors or perhaps someone to knowledge share / skill exchange with.

You could do pretty well with a base in C#. Through pentest engagements, I've come across quite a few C# apps in my time and even with my limited knowledge of the language, found some interesting vulnerabilities ;)

Edit: Added tptacek link
Seems like a marketing piece; hackerrank trying to appear as the defacto standard for online coding tests.

The best developers in Silicon Valley probably aren't trying to prove anything on sites like this.
Also in Vibed, Diet templates (~= Mustache templates) are compiled using this into binary classes.
I think it's fairly clear in this case that her stalker (and likely most stalkers) are suffering from some form of mental illness. A "no", even a firm one, is not actually sufficient deterrence.
Not really, the stakes are completely different. Robot armies might change warfare and balance of state power. They're not going to threaten humanity as a whole.
I'm curious if the author would also refer to the M4 carbine as an "infamous killing machine," given the opportunity.

The fact of the matter is that the US is also developing these systems, albeit with more focus on autonomous air combat vehicles. To say that this is a Russia-only problem vastly understates how serious of an issue this is.
Global Dimming (2014)
Hi boyd, that's a good point. We're considering to add certain SSO providers like Google Suite to the basic plan and others like Active Directory to premium. Glad you like the table editor!
It can be worrying to think that aowrson could right now mount a gun to a drone and have it point at things it thinks look like people and shoot.

Then I remember that with any amount of technology they could just kill me themselves. Getting hit by a car is a much bigger risk, and the application of AI to prevent that is a much larger positive than the negatives AI introduces.
It's usually highly-parallelized Fortran ran on the world's largest supercomputers, utilizing thousands of CPU cores. There are several codes like the ones in the study above (google "gyrokinetic equation solver"), and somehow more pop up year by year. So it's not a matter of sunk costs.

And yes, GPUs are increasingly being utilized, depending on the algorithm. But, GPUs aren't magic; they don't speed up every kind of problem.
In what tactical scenarios would an autonomous mobile heavy machine gun make sense? Urban warfare against lightly armed opponents?
It's hard to hide from IR using insulating clothes, because of the heat building up inside. But an insulating suit with active cooling might be an interesting idea to explore.
LibreOffice 5.4 released with new features for Writer, Calc and Impress
USD 550 is minimum wage, 300 is a random number. 15MM HKD up to 120MM HKD is more realistic for what you pay in mid levels / the peak, i.e. his numbers are off by a factor of 8...
ICO Whitepaper Bingo
With a large number of DNA sequences, the genetic cause can be separated from environmental. That's why embryo selection is possible.

Getting parent's DNAs sequenced might be needed but it's affordable now. See gwern's answers and link for more info.
Oh, you reminded me of that horrible horrible TV Series "Scorpion". Could not get past the second episode and watched the second only too see how much more stupid can it get.
Meteor with React Native = Simplicity and Productivity
Great to hear you like the design and feel of the product :) We're currently beta testing a desktop app for Windows, MacOS, and Linux, but haven't started work on a mobile app yet. Of course we see the value in mobile and we'll get there eventually!
My understanding is that Musk wont take it public until the strategy of getting to Mars is protected.
Microsoft still has mobile ambitions, at least according to their CEO:

“…when you say we’ll make more phones, I’m sure we’ll make more phones, but they will not look like phones that are there today.”

https://www.forbes.com/sites/ewanspence/2017/05/07/microsoft...
Probably has nothing to do with the slow AMD Cpus in both largest consoles.
"Kill everything that moves" scenarios. Like during Chechnya wars.
I believe the term of art is "Extracting the value from the brand".
Ah, another Berlin DHL sufferer. Either they don't even ring the bell, or drop it off at some neighbour that isn't there, or at a shop that closes at 4pm. Packstation has been a god's end, next to my supermarket anyway, 24/7 usable and having the doors plop open makes it feel like a Christmas calendar.
Amazon have a similar service, but installed in public spaces, called Amazon Locker. They have it at least here in Spain [0].

[0]: https://www.amazon.es/locker
Regarding onsite/remote, I think it depends on what you choose to specialise in. Most of the web application assessments I conduct are remote but there is still demand for onsite work.
> Stop making excuses. I wonder how such a terrible comment made its way to the top.

Yeah, what a weird argument. Oh no, I have to grab my phone and can't just saunter downstairs in my unmentionables and nothing else.
How to remove systemd from a Debian installation
But it's not the same, the article makes it clear here:

"Known informally inside the corridors of the Pentagon as 'the Terminator conundrum,' the question being asked is whether stifling the development of these types of weapons would actually allow other less ethically minded countries to leap ahead?"

As a not American, I feel totally safe when it's the ethically minded USA who does it.

Yep. That was sarcasm, sorry.
You don't need to hide, you just need to look like something other than a human.
Nim and Python. Having used many languages Nim is by far the most enjoyable to use.
> One of the biggest takeaways was that many fusion efforts are very far away (3 to 6+ orders of magnitude) on the most important metric, Q, which is energy_out / energy_in.

Keep in mind tokamaks have reached Q=0.7.
We'll definitely work on the contrast issue and test it on more screens! Happy to hear you like the look and feel of the product :)
8 regras para quem não quer ser o chato do grupo do WhatsApp
I had a similar issue due to a bad encounter on a forum when I was younger - had to keep a low profile on the Internet for several years since then and had to frequently delete my online profiles out of fear. This wasn't just one stalker though, he has "friends" and from what I heard recently while the original stalker has lost interest his friends still hate me just as much.
A Very Sad Goodbye – AltspaceVR Is Shutting Down
Because it is so easy to change your business partners that it is unlikely reputation will have a negative impact on your welfare.
I'm 100% not going to be installing it on my bare server. If they don't come out with a Docker image themselves, presumably someone else will (or I guess I'll make my own.) But it's definitely not running uncontainered.
Which midtown? Atlanta's midtow?
Rather than specifically single it out as "trying to catch up to Rust", I'd say that C++ is doing what it has always been doing. Reaching for the future while maintaining backwards compatibility. It's been a great strategy for 30 years and I hope they keep at it.
openra servers are decently active
OTOH anybody can reverse engineer it. Just a tad bit more work.
I think the grandparent plan is not to hide from the sensors, but from the "mind" behind it.
Even though we'd love to, we don't offer mobile apps yet. You can use Nuclino in a mobile browser, but it's not something we've been focusing on. As far as priorities go, we're currently focused on web and desktop first, but we'll release mobile apps eventually.
Maybe try mailing Jeff? It seems to have worked wonders in this case: https://news.ycombinator.com/item?id=14718799
Turning off animations in the preferences (it's under "Accessibility") has done wonders to the energy impact / CPU usage of the Mac Slack client. Much more tolerable now.

I am _more_ than happy to not see animated party parrots in exchange for less CPU.
Because you don't make the choices he made if you love money. You absolutely do not start a rocket company. "If you want to make a small fortune in the rocket business, start with a large fortune."

That being said, maybe we're looking at things differently. I'm sure he prefers having money than not having it, but the macro scale choices he's made imply he values other things more than his personal fortune.
Implementing Clojure-like transducers in Idris: Definitions and main concepts
See also: subsequent terrorist actions after high profile incidents; suicide sprees after high profile incidents; etc.

Whilst I don't particularly want a shackled press, it would be nice if they did a little more reflection on what they're publishing.

(See also: "but her emails")
This Crowd-Sourced Shuttle Is Here to Fix Your Hellish Commute
Bitcoin will Fork
Why Doing More of What Works Might Help You Become Better
Those pictures show that economic freedom, a high export rate, a complex economy and a low unemployment may not be good goals to optimize for.
How transparency and accountability favor special interest
To put some context: we Russians always preferred automated systems to having humans in the loop — we have a lot of history with particularly prominent examples of less than fully sane humans in the loop, without proper checks and balances to restrain them.

So I am absolutely not surprised of the development, and we'll see much more instances of these systems soon. The only good part is that Russians strongly dislike complicated control systems, so the "AI" in question will be much simpler than what would Americans do.
The thing is, it's not as easy as it sounds - take a look at the issues on the official image :(
This is great. That a program can learn about and exploit the CPU on which it is running from unprivileged userspace reminds me of the notion in Charlie Stross' Accelerando of running a timing attack against the universe to learn about the virtual machine in which we are being simulated.
Works in both Chrome and Firefox.
Do you think most people care about this? If it did we would have a completely open architecture by now with lots of products already on shelves. But we don't, because nobody cares.
What Makes Good Sales Data?
If you know where the sensors are, you only need to disguise on that side.
I care about this, my colleagues care about this.
I still prefer regular post, Poczta Polska.

They try to deliver to home, but if there is noone there, they leave a note, and I have 14 days to receive items on nearest post office (same walk distance as Paczkomat, open 8am-8pm + Saturday). Plenty of time for me (or roommate!) to get all packages that arrived to house. Just one person in household can go every 2 weeks and collect dozen packages and letters.

In Paczkomat, item is returned to sender after 48 hours. With such short time and need for SMS code, no chance that roommate will collect packages for me.

The only advantage of Paczkomat is that you can use it at night.
You probably meant Economics rather than Econometrics. Economics concerns itself with incentives and payoffs, whereas Econometrics is the statistical study of economic systems. Apologies for the pedantry
Was that the one where they were driving under a plane to hack it?
From the pics it looks like some of these are HMG mounts I could see Tanks and EVFs having an Ai controlled secondary turrets to reduce crew size. The Soviets did like multi turreted tanks see the T35
Looks really good already. Think there actually is potential to target people for who Google Docs is too overloaded. Like the idea of supporting markdown.

It might also be really useful to support syntax highlighting as I see one use-case for really quick and uncomplicated pair programming.
Fully automatic shoot-to-kill sentry guns are nothing new, and were used at least since eighties. Patent in Russian http://www.findpatent.ru/patent/237/2373483.html
Do you think NT4 was a worse product that netware ?
While I absolutely agree and want to see much more competition - I believe we /need/ to see ECC across the board and of course lack of an integrated GPU seems like it renders the most common deployments of this range of CPU less attractive.
> No victim blaming here, but be clear and confront the guy

Stalking is very common. Rarely stalkers will murder their victims. It's not easy to tell the difference between the annoying but not murdering stalkers and the murdering stalkers.

So confronting them carries a small but real risk of severe harm.

There's also not much evidence that confrontation works to stop stalking.

> The slightest wavering means "yes" to some guys.

This is incorrect. To these people anything will be twisted into "yes".

"I don't want you to contact me again. If you make any further contact I will contact the police, and you will be in violation of the court order I have against you" will be interpreted to fit the delusion, perhaps "in truth she still loves me, and wants to be with me, but her husband has manipulated her into saying this stuff."

Tldr ratioanilty doesn't work with irrational people.
I was expecting this classic scene from Robocop:

https://www.youtube.com/watch?v=Hzlt7IbTp6M
How to build full stack apps super fast with React Native and Meteor.js
this isnt about censorship but automated spamming.
If he had written an entire new comment it would be ok.
It's not about threatening humanity it's about threathening humans.

I agree with the GP I always said that a dumb AI with sufficient agency in the real world is much scarier now me than some super intelligence.

The former is much more likely to be realized and it already has to some extent and unlike the latter cannot be reasoned with.
Like the post says, come talk on Slack. That is where the majority of discussions happen.
Really form my UK perspective a businessman buying a football club is a sign of either insanity or criminality some times both.
GraalVM – New JIT Compiler and Polyglot Runtime for the JVM
building something like that with rubber bullets would be cheaper than THE wall
Why would Kalashnikov choose to do a dog and pony show? Is it like the North Korean missle parades and a show of power for Russia? Do they just plain up sell these to certain countries and it's just like any other product launch? Does Kalashnikov have competitors that they are trying to look better than?
In the UK, PassMyParcel is good.

Your parcel get just delivered to your local NewsAgent, which in the UK generally has extensive opening times. Supported directly by Amazon and a bunch of retailer, but delivery companies use the same system (DPD, EPS).
There has been a connection with anti depressants and mass killings almost since columbine.
A clear economic incentive to cheaters or a way to give a weight to mistakes? Does yelp use an algorithm to weight the thing or use the mechanism only as a source of income?

> Pluralitas non est ponenda sine necessitate

The economic incentive to encourage cheaters is the reason why the "trusted intermediary" should always be verified.
Try These XFINITY X1’s Tips and Tricks
Ad Tech Firm Criteo to Launch Data Cooperative to Help Retailers Take on Amazon
This remains to be seen. It might be, I don't necessarily disbelieve it, but general handwaving about applying AI to solve a problem is just that.
A decade earlier, even - https://en.wikipedia.org/wiki/Standard_Gravure_shooting

"In August 1989, less than a month before the shooting, Wesbecker had started taking Prozac. The wounded and the families of those killed filed a lawsuit against the drug's manufacturer, Eli Lilly and Company, claiming that Wesbecker's use of Prozac contributed to his actions."
Luckily there's a whole range of tools dedicated to making your life there a bit easier:

- json-to-elm http://json2elm.com

- swagger-elm https://github.com/ahultgren/swagger-elm/

- elm-graphql https://github.com/jahewson/elm-graphql, https://github.com/jamesmacaulay/elm-graphql

- elm-export https://hackage.haskell.org/package/elm-export

And so on :) While it would be nice to solve Json Decoders in a better way, these solutions are very helpful for the time being.
>we have NEVER caught the Russians doing ANYTHING beneficial for the Human Race. EVER.

These comments though.
You have history of good examples of humans in the loop, too:

https://en.wikipedia.org/wiki/Stanislav_Petrov
I can definitely see potential for that.

IMO it would be important to think of features that are very unique to blockchain dev jobs to differentiate from job sites where you can simply set a blockchain filtering.
I'm not sure what I find more worrying, this, or the other end of the scale: the inevitability that it becomes technically easier and easier to turn cheap small autonomous drones into killing machines.
Also, being so visionary and so much in the press, should definetly help stocks in his companies, because there's not really an objective way to value growth stocks.
Pray tell, how should AI threaten humanity as a whole without a robot army (or some other deadly embodiment)?
.. And that future is defined as "rust"
it seems metallic "invisibility cloak" is quite effective:
https://media.ccc.de/v/33c3-8238-retail_surveillance_retail_...
> Victims usually are not good at figuring out how to effectively manage the situation via other means. If they are, well, they don't write articles like this.

People should not have to use other means - apart from maybe if they feel confident to do so saying please stop+ (as this complainant did). They should be able to rely upon the rule of law to deal with harrasesment. If legislation/case law is not sufficient at the moment then legislation should be reviewed and if possible changed (rather than putting someone through the extended process of a precedent setting court case). Other means should be opposed as well on a rule of law basis.

+ Not sure about this I shouldn't have to ask a person hitting me to please stop... but hitting is illegal already sending messages is not...
I'm sure it's only a glitch: https://www.youtube.com/watch?v=ZFvqDaFpXeM
Gradatim Ferociter baby
This presentation struck me as I haven't heard of the legislative changes adopted by the US congress in 1970-ies before.

In 1970-ies the congress suddenly became "transparent and accountable", a huge change from the status quo. This meant that the legislative process - the negotiations between the congressmen and the voting process - became transparent to the public and, more importantly, to the lobbyists.

I highly recommend watching the presentation. The discussed change may be one of the biggest reasons behind the growing power of the corporate entities.