skysight-inc/HackerNews huggingface dataset:
This doesn't actually answer your question as far as a pointer to resources, but here's some tips:

- Take a breath before you begin speaking. Often I'd find that I'd start speaking too quickly and my voice wasn't "ready" which ends up making you sound squeaky or out of breath or just generally flustered. This tip also helps a bit with the tendency to speak way too fast.

- If you have room to move around, don't be afraid to walk back and forth across the stage/platform/front of the room etc. Don't over-do it, but I find it's way easier for me to speak while I'm moving.

- At least for myself, I've found that moments where I feel like I really stumbled over my words, or spoke too quietly/loudly, or "forgot a line", actually end up being very noticeable when I later watch the video recordings.

- Public speaking is very opinionated and some people have some pretty pedantic rules. For example toastmasters is really aggressive about chiding you for using the word "umm". Now there's perhaps some truth to it - the role of a word like "umm" is to indicate that your brain is searching for what to say but still produce sound thus "holding your space" (so that no-one else cuts in), so in one sense I get why it's recommended against because when giving a talk there's no risk of someone cutting into you; your audience is captive (usually). However in another sense, "umm"-ing helps keep a certain rhythm/tempo to your speech which can actually help keep things smooth when you're searching for what to say.

Similar to the above, virtually every "rule" of public speech can be broken if you have the fundamental principles right. Barack Obama says "uhh" quite frequently, yet most people consider him charismatic. You could certainly argue that he's charismatic in spite of saying "uhh" rather than because of it, but in any case just remember not to miss the forest for the trees. Follow the principles - measured speech, don't be afraid to use space, try to talk more or less naturally - and you'll be a great public speaker.

Lastly, public speaking is a skill. It takes practice. If you can find a room to yourself, practice giving a talk a bunch, and make sure to record yourself. You'll likely be very surprised in the difference between your perception of yourself and how you actually come off, and having recorded videos is a great way to identify any tics/odd habits you have that you might want to work on.
> Occasionally we mathematicians find that we need a new tactic—for example proving that (a+b)^3=a^3+3a^2b+3ab^2+b^3 just from the axioms of a ring is surprisingly difficult!

Perhaps because what you need there is not just a ring, but a commutative ring :P

Jokes aside, that was an excellent article and introduction to interactive theorem proving. I'm looking forward to seeing what Lean 4 brings to the table when it's released.
If I look at a random numeric oracle of 1-10, and consider the result as N, and apply to it some kind of mathematical formalism of:

If ( N + 10 = 20 ) then eat(last_bagel)

My wife comes home and is cross with me for eating the last_bagel. So, I hop in my handy time machine, travel back to before the time where I access the oracle, and alter it to only produce a random number from 1-9.

If I succeed, my wife is no longer cross with me. But, if she is no longer cross with me, then why would I alter past events? Likely, I would have no cause to travel back in time in this scenario, so the oracle remains programmed to produce up to 10.

Now my wife is cross with me again.

Which one happens?
What he is saying is that Money needs to find a way to speak.

Nothing new, just some sugar coating of 'We Need That Ads Money, are you kidding me?'
> My new neighbors – artists, musicians, shop owners, builders, gallerists, restaurateurs – treated me like family. Our community was diverse in age, but we all had our independent creative pursuits in a place with scant economic opportunity otherwise. Thus, many of us shared the same problem: a lack of access to healthcare. America’s healthcare system has long been in shambles: then and still today, where single-payer care was available, premiums and deductibles were astronomical. Luckily, among our friends were doctors and dentists who valued the work we did as equal to their own. So, we came up with a plan. Drawing on the age-old system of barter, we figured out a way to trade – the art of medicine for the medicine of art.

I wish they'd gone more in-depth with this part of the story, instead of trying to tie a bunch of different things together under a vague "collapse of capitalism" theme. The healthcare problem is much more acute and their solution is much more interesting than the rest of what the article covers.
The weights don't really have to be open-source though. After they are trained, they should be subjected to the same policies as database passwords to counter your attack, or to at least force the cheater to train the counter-network via the game.
FYI the grey cat in the article is a British shorthair, a pedigree.
You can visit the Emacs house of horrors: http://emacshorrors.com/
The plane was delayed 3 hours, which meant I would miss the connection in Qatar (en route to Singapore)

The result would mean that 75% of my trip would be spent not in Singapore. So I requested to leave the plane because the plane had to go back to the gate to refuel, because of how long it waited on the runway.

Qatar tried to argue that this wasn't their problem, but BoA told them to eat the cost. Two sides of the same coin. I would have accepted a partial refund but BoA gave full refund.
Couldn't you determine by looking at the code in the APK, at least for Android?
Firstly, ATVI isn't a private company (not that it would necessarily make a difference here). But just a company can legally do something doesn't mean that they should.
Look into something called Reverse Mergers btw.

Old dying hosting companies were the perfect cover to be acquired by spy agencies.

You’ll notice a large posting of press releases and apparent spending in the last 4-5 years though still for all.

http://dcsmanage.com out of Los Angeles is another one btw...
Never heard of psychz.net.

Are you suggesting they are an "open secret"? EG, They are not "covert", but they are secretive in that they only sell to maybe western intelligence agencies, etc. Could be why they never have real "openings", they got a hot pipeline constantly exiting from the intelligence community looking to make some real money.
> the pilot still needs to squawk 7777 and they should try comms, don’t know why a GA plane would be different..

The system being discussed is for when you no longer have a pilot.
Agreed, we have 3 cats and while all their personalities are very different, they are all suckers for love. One will come to you when she wants and climb up on your chest wrapping her paws around your neck and nuzzle you for as long as she needs. The second is a boy who follows me around like a dog, jumping up on my lap at any chance and sleeping beside one of us every night. The third is a younger boy and follows our daughter around like they’re best friends. He cuddles, plays and is constantly seeking attention. He regularly sleeps up against my neck.

We show them a ton of love and they definitely reciprocate.
Please give me an example. I can't think of any transform which cannot be done by using SQL or inbuilt Functions or new UDF.
>much of the feedback (here and elsewhere) is about the fundamental challenge of assessing human vs. machine in an RTS

It's amazing that most people here don't understand that AI performance in any one computer game relative to humans is largely irrelevant. A system that can play many games at a mediocre level, but does it without any hand-holding, clever APIs or architecture adaptation is infinitely more impressive than a system that can beat everyone in a specific game with all those things applied.

Remember, most humans are completely mediocre at Chess, Go or StarCraft.
That landing page needs a brief description of what this actually does, and links to more detailed technical docs -- features, requirements, use cases, etc.

Knowing that it's all fluffy happy Open Source is Nice to Know, but shouldn't be the First And Most Significant Selling Point.

Post based on one of my popular early HN comments:

"Please Forward to Marketing: How to present your products to customers (or would-be customers)"

https://old.reddit.com/r/dredmorbius/comments/27d5xr/please_...
Rewriting an App to Go and How Gitlab Scaled Git Access with Go (Golang Gazette)
"For my friends, everything. For my enemies, the law." -Benavides
The name of the company is "NSO Group". NSO is too close to NSA.

Please correct it.
The links to the paper are broken but this might be it:

https://github.com/gritzko/ctre/blob/master/doc/ws10.pdf
Yeah, I pretty much assume that targeted attacks will always succeed when a well-funded state actor is involved.

For me, I look at encryption as a mitigation for surveillance. Anything that increases the marginal cost to monitor an individual makes broad surveillance less economic.

Signal will always have the edge for surveillance due to the relative difficulty of hiding a back door. Whatsapp will always be suspect in that they could easily be forwarding everyone’s messages to third parties.
Crashplan home used to support this, but alas I've found no me alternative.
Cube2, another oldie but goodie FOSS games relies heavily on admins too. They are supported with stats (a server plugin, IIRC) and a observer mode which is actually available to all spectators (the game is more focused on fun than competition).
This. Have been attending meetings for about 2 months and have given 4-5 table topic speeches. Give my first prepared speech next week. Definitely can tell I'm getting better just by having to do it repeatedly.
This is true, but that also doesn't answer the question. It still leads to a possibility. The hack could also sidestep OW in some other way and only be WA specific, but still begs the question. Security is a constant cat and mouse game, so if someone says: "well, that only affects WhatsApp, it won't affect us -- even though we use the same underlying structure." sounds kinda naive.
Agreed. They could have put other limits in place easily. I have to assume they figured battery technology would get better allowing for these advances.
I remember reading this, when it was first published, I think maybe in AI Magazine.

Being a huge Common Lisp fan at the time, I immediately adopted the idea that Correctness is the most important single thing above all else. I don't care what's in the box. The external interfaces on the box should be correct.

This seems like a basic thing we take for granted in tools, libraries, languages and other things we use. Dishwashers. Thermostats.
Yay, free ebook. Thanks!
The issue is that influence matters more than the average or median in themselves - although oversimplified and "catchy" ideas tend to be favored more. This doesn't neccessarily mean dumb is favored per se - promoting say eating criminals would be an overwhelmingly unpopular idea even without constitutional limits.

They aren't guaranteed to be smart or just (sadly there probably isn't anything which qualifies) but they are are stable in a "not likely to piss off everyone into an insurrection" way.
When solar arrays are located over water they do alot of cooling because without them water reflects very little.
Deserts already reflect a great deal of sunlight.
Temperate land absorbs a great deal but it is in great demand for agriculture, aforestation and the remaining wildlife.
Reflectors in space should be controllable, the power and gyroscopes required to rotate them at a snails pace can be tiny, a small percentage of the mass of the attached shade.
Yes. One of my friends died landing in a field with engine out.

It's almost impossible to tell what the situation is on the ground until it's too late--an unnoticed ditch can kill you.
Everyone's jumping on the "solution" to the comment, but clearly missing the main point.

I agree with your frustration that an eggplant is considered more dangerous to society than a gun.
An Introduction to the I2P Distributed, Peer-to-Peer Network
I'm not sure I understand the response. Certainly many corporations do behave unethically, but I don't see why that means we should never believe any company will be ethical.
> Extraordinary claims require extraordinary evidence.

To be considered "proven", sure, maybe. But no such thing is needed to merely consider an idea. Look at all the "facts" that have widespread belief, look at all the "not exactly accurate" various organizations broadcast, that turn into very strongly believed "facts" in the public mind.

There's so much obvious lying going on nowadays, and so many perfectly reasonable concerns dismissed as conspiracy theories, that that phrase no longer has any negative connotations for me. In fact, anything remotely complex that doesn't have an air of a conspiracy to it makes me at least as suspicious, kind of in the "which part of this story is untrue, and why" sense.

But hey, each to his own. If you choose to consider only authorized truths, that's your prerogative.
Spain would just cease to exist.

Spain will cease to exist anyway given the trajectory of the EU. I don't know why anyone in Spain seems to care about Catalonian independence. They seem to want to immediately turn around and (re)join the EU, which is rapidly taking over more and more areas of governmental policy. EU forbids different regions from being more "competitive" than others (see their demands to the UK) and implements large wealth transfers from richer to poorer areas, so, the rest of Spain would end up being subsidised by Catalonia still.

If you care about Spain existing you should be campaigning for Spain to leave the EU, rather than being distracted by whether Catalonia does or does not possess whatever trivialities the EU leaves behind to member states as it grows.
Wait really ? Does it just try to parse the domain if it looks like a URL? Or is it easily obfuscated like additional letter or symbol infront example //{website}} will still be cencored ? What about breaking up the URL badwebsite.com vs bad/website.com
Last I checked Signal's UX was worse enough that I'd be fighting a real uphill battle to get my friend group to switch.
The conversation in this thread is incredibly toxic and unhelpful, almost Reddit-like. @dang?
Wait... you're basing this based on who the domain is registered with?
Merged now. Thanks!
The app its self is the weakness not the protocol. But also the article says "that exploited a flaw in WhatsApp-owned servers to help clients hack into the cellphones".
It would be interesting to see if there are any meta reports on people doing research on the topic of resource constrained AI. Has anyone explored whether or not an AI can improve on its own algorithm while being heavily resource constrained?

Is the ability to use less resources a limit of our current hardware? Do we see the current hardware performance improvement trajectory being able to reduce the amount of resources an AI consumes to perform a task?

Are our algorithms simply not tuned well for using smaller resources? Could we build better algorithms around resource deficient environments?
Again, it's 2019.

Roger Ailes is gone as of July 2016. There is no longer anybody conservative running Fox News. Median political opinion in the USA (maybe not your neighborhood) is to the right of Fox News. To maximize audience, Fox News is as left as it can go without being left of any notable competitor. Because there is no significant competition to the right, Fox News can grab more audience by going left.

Meanwhile, over at CNN, there actually is a narrative delivered from the top down. Every day at 9 AM, Jeff Zucker has a call in which he directs the anti-Trump message of the day. Info about it got leaked a couple weeks ago: https://www.projectveritas.com/2019/10/14/exposecnnpart1/

Following that leak there have been several more:
https://www.projectveritas.com/category/content/in-the-news/

Jeff Zucker gets directly involved. He even went into the control room during an interview to disable ads, extend a 7-minute interview to 25 minutes, and instruct the interviewer to “Just fucking nail her!” in reference to guest Kellyanne Conway. He says “I am the one saying we should just stay on impeachment.”

An employee laments that “we used to cover news,” and “we used to go out and do stories.”

So this is 2019. Don't be the frog slowly boiled in the pot. CNN has been very badly corrupted by narratives that are delivered from the top down.
I think your numbers are pretty far off if you look at Facebook financial statements, and a more accurate cost would be around $200/yr for a daily user [1]. US & Canada had 189 million daily users and a quarterly Ad revenue of 8.487 Billion dollars. That is $45 per user per quarter.

[1] https://s21.q4cdn.com/399680738/files/doc_financials/2019/q3...
I hate facebook just like everyone else, but doesn't it have more resources to spend on WhatsApp security than Signal Foundation? Yes, Signal is open-source, but how many people are actually looking for its vulnerabilities full-time?
Defense Innovation Board Unveils AI Ethics Principles for the Pentagon
Facebook makes more than $5 per user but the average is brought down by lower revenue in Asia/Pacific. For users in US/Canada the revenue per user is over $20.

https://www.cnbc.com/2017/11/02/facebooks-revenue-topped-5-p...
It will if you attach an engine and fuel tank to it.

Or alternatively, a small bird in the wrong place can take down a plane. Or for that matter, a clog in the pitot tube from ice.
> Nor, do I think should it have such a fund. If the government were to have extra money -- and it doesn't -- the government should lower its taxes.

In the case of Norway's sovereign fund (the biggest I think) there's a very good reason for it to exist. The fund inflows are the result of extracting oil from the ground so from the accounting point of view those are not revenues. They're movements in the balance sheet, converting one asset (oil) into another asset (cash). So they then put that in a fund and spend the returns, funding expenses with actual revenues. If they were to spend the capital they would be funding current expenses from assets. The equivalent in the US would be to every year sell a part of the national parks and use that money for tax breaks.
I know you're right but technically neither of us mentioned virus. :)
Or perhaps a red priestess?
Some random nobody/front-end developer starts using Windows... this just seems so out of place on HN.
There is no other nation in the world which compares to the US. The US is the world power and it’s citizens have more rights than any other. So you cannot say that what ‘works’ for some fly by night westernized counties will work for the current flag ship of human progress.
Did you try to do a credit card charge back?
this should properly be called a conjecture, as I have never encountered a formal proof of this "theorem"
I am writing this all on a phone and I am more than happy to produce a 5000 word report which will be posted in 96 hours. I will follow up via a comment here and also send to Michael Forsythe at the New York Times for additional review.

You have my word.

EDIT: 5000 words not pages
Core Image by itself is worth investing in a proper (Apple) hardware. Now that we can write custom Metal kernels and plug them straight into Core Image is even more beneficial. We can come up with any pixel modifications that will be executed within the GPU context. Precompiled kernels anyone? :)

The foundation of any image processing pipeline on MacOS/iOS is Image IO that offers crazy fast codecs for over a dozen different image formats. Even though I had to write extra integrations for WebP and animated GIFs it was really worth the effort. Native HEIC/HEIF support (reading and writing) is also neat.

Apple's CoreML is another piece of software I am using more and more at Pixaven. The ease of testing and deployment of new ML models is just amazing (and yes, I am learning a lot along the way).
The FBI Is Tracking Our Faces in Secret, and We’re Suing
We don't really have the technology to do that completely. Because it's really hard and expensive to stream pre-rendered video at a low enough latency, most action games still transmit player positions and trust the client to accurately render the corresponding video client-side.

Although, even in scenario with a completely untrusted client receiving only final video output, there's no guarantee that the actions being input are human.
sounds like a solution to help each other with easy to treat conditions like flu etc. How would they perform surgery?

Also this whole "barter" is just regressing to the times without one of the most important innovation, money. Going without money because you don't like capitalism is like cutting the Internet cord because you don't like Google
Part of the problem with unit tests that mock everything is that they are very time consuming to write. Minor changes in how classes interact result in 5x the time needed to update unit tests.

Furthermore, unit tests don't really test product use cases.

Personally, I find testing a single class with mocking best for edge cases, error conditions, or when a class is something like a custom collection that has little outside dependencies.
The principal grows faster than the savings from the lower interest rates because other people are getting loans as well. The only way to benefit from low interest rates is if you already have a high interest rate loan from a decade ago and want to refinance.
Agree he has a stake in something good now that he has control. WeWork in the long tail will be a great cash generator but it’s unlikely to return anything for at least a decade and due to the leases there is some risk that needs mitigating. However the model is sound We just needs better cost controls, many years of investment and a customer obsession.
WhatsApp claims Israeli spyware snooped on Indian journalists
Wow... a government employee praising their new $10B defense partner. Quid pro quo.
First of all, nice comment! That said,

> Anytime a next task is solved, there is a crowd saying it's not a "real AI" and that scientists are solving "toy problems". Both statements are totally true. But the underlying substance is that each of these toy problems is of increasing complexity and brings us closer and closer to solving the "real problems"

I wonder if this is true. This belief may seem like common sense, but it's not obvious to me that domain-specific problems must generalize to General AI ("real problems") or even bring us closer to it. That is, it's not evidently true that many small problems will eventually lead to a general solver of everything (or to human-like intelligence). Or to say it in yet another way, it's not obvious to me that human-like intelligence is the sum of many small-problem-intelligences.

Again, common sense may lead us to believe this, and maybe it's true! But I think this conclusion is far from scientifically evident.
Using windows/osx will always be more convenient at first. But then you hit a wall and can't patch/write something easily. ...even on this article intro it boast how he prefers a tiling window manager, then move to a platform that makes them a nuisance.

It's the basic trade off of short term vs long term reward.

Using closed source is like having a diet of candy. Great in small amounts, but bad if you are past 5 years old. And ridiculous if you are writing articles to defend it.
Any tool is a weapon if you hold it right.
O'Reilly – In March 2020 the Members Library will be shutting down
Remember to download your ebooks until March 2020.
https://members.oreilly.com/
Earlier this month the DOJ asked Facebook to "halt end-to-end encryption" by adding a backdoor to all of Facebook's apps. Perhaps this is a reason.

https://www.engadget.com/2019/10/03/doj-facebook-end-to-end-...
That's reasonable, I suppose I'm lucky to have a friend group that universally prefers open source sorftware to good UX -- there was never really a question for us.