skysight-inc/HackerNews huggingface dataset:
That's why I never recommend people to go into PhD programs for career advancement. I have a colleague who works 50% as an NLP PhD student and 50% in my data science team. To really get that PhD done you have to live and breathe for the subject, and only the subject, for however long it takes. He's been on this track for 2 years now and is thinking of quitting, his own words; "I often feel like if I really wanted PhD, I wouldn't be working so hard building models for industry all the time".
This guy is amazing. Look out for his interview with Elon Musk that should be released in the next 24 hours on his YT channel [1].

[1] https://www.youtube.com/channel/UC6uKrU_WqJ1R2HMTY3LIx5Q/vid...
Skills for Our Software Future
Great post, with a lot of helpful advice.

I particularly found this point of view interesting, would love to hear some examples of it:

> Moreover, I believe that choosing to feel something can make you feel that way even if the feeling is artificially manufactured. What I mean by this is that when someone asks us to label how we feel, the label we select is based on how we physically feel at the moment. But what if you said the exact opposite of how you actually felt? Is it possible the re-labeling could become reality? This seems absurd on the face of it, but my experience has been that re-labeling works and causes an actual physical response.
Yes, The C/C++ Users Journal, DrDobbs, PC World, and Computer Shopper run articles on it.

It was actually released in 2001.

Unless you are speaking about the alphas that MSFT Certified Partners had access to.
On the one hand I think it makes sense to put off learning anything new for a few years unless you really think whoa this is going to have staying power.

On the other hand I'll repeat an anecdote I've put out here before - I had a friend I was in a JavaScript course with in 1998 and one day I went over to his house and he showed me the really beautiful table-based demo site he had made to entice employers and I showed him how CSS worked at which point he thundered "That's the problem with this business, there's always something new to learn!"
Seems like a good collection of various logical constructs. I wonder if the authors have any plans to program it into something that could identify or use these same patterns in text.
What a new theory of attention says about consciousness
What's the rationale for excluding sqrt? And, do you allow Math.pow (since that's the same thing)?
I have no idea what this is... ELI5?
Then the question comes if wechat and qq uses the same backend as they are owned by the same company.
Same here, android, unable to figure out how to place a bot. Everything that made sense (select robot, tap in arena, tap bottom bot name and tap arena. Even double tapping didnt work. Gave up too.

Update. Got two bots (at least based on count), I have no clue how, started fight, but there is nothing to be seen, just black background. Battle finished and again everything black except the menues.

I am fan of bot wars and would love to play it, but this is just too frustrating to use.
https://news.ycombinator.com/item?id=21111251
I am not arguing against encryption in its entirety...

> let Facebook mine not only our metadata...

Don't use Facebook, then.
Entirely valid point, but doubling 1% of the cost of a single use system is still pretty good, comparatively speaking.
Thank you for the feedback! I've added all of this to the list of things to look into.

I've heard sporadic reports about not being able to place bots on iOS, and I'm still not sure if it's a bug (I only have my wife's iPhone to test on and it works there, but I know it's not representative of everyone's experience) or unclear instructions. This is the flow that should be happening: https://i.imgur.com/EalfL7J.png

The steps, as text:

1. Open your bot selector

2. Select a bot

3. Tap in the Arena to place one

Is that flow showing up for you? Are you on an iPad or something that shows the "desktop" view of things (i.e. the bot selector is expanded by default)?

Alternatively, in that mobile tutorial, should you try dragging the bots from the selector, that should work too, although it tends to take a little bit longer to deploy multiple bots that way.
What I loved the most was the optimistic outlook, the forward looking focus and the implicit belief that any problem will be solved and we'll advance.

This is exceedingly rare in a pessimistic world drowning in the voice of Luddites and backwards-looking preservationists.

Like always, technology solving real world problems versus politicians (professional or amateurs) creating (and never really solving) self-serving perpetual issues.
> Why should being aware of how lacking you are as a programmer have much bearing on whether you're good or not?

Being aware of what you are lacking allows you to improve on those things, work around those issues and accept when collegue is actually good at stuff you are not good at.
Yes, because we all enjoy waiting for a compiler to get its work done, while keeping the myth alive that either C or C++ are required to write compilers.
This chat app has no source available, a few neat features, but no hope of easily integrating existing Signal/Matrix/IRC bots currently :c
Apple is marketing privacy while storing encryption keys in China and becoming a services business. The more their revenue shifts away from hardware the more they'll be compelled to collect data to improve their services. There's no way around this.
Because the literal destruction of the ecosphere due to global warming is not a sufficient motivation.
What was the reason to choose Elixir over Erlang? Just familiarity with the language?
I know this is completely off topic but news on the internet is such a mess. I wanted to read this but I'm going to pay for a bloomberg subscription. I would happily pay some amount of money to read this but there are at least 10 publications in line in front of Bloomberg and because buying one individual subscription get's me access to very little of want I end up willing to pay money but still with no subscriptions and no access to online news.

Netflix for news is such an obvious unicorn and seems like it would be a better situation for medium sized publications like Bloomberg. I don't understand how it doesn't exist yet.
Experience Cyber Security
No one human knows how to make a pencil: https://fee.org/resources/i-pencil/
One esoteric library that was not mainstream. It's completely unrelated (and utterly incompatible) to Microsoft's ASP. I'm not even sure why you'd bother to bring it up -- what point does this make?
WebAIM: Screen Reader User Survey #8 Results
While we're at it: why bother with any sort of anti-discrimination effort? Haters' gonna hate after all. /s
Yes, the wallet in my back pocket throbs with Existential Dread every time I read an article justifying why I'm forced to subsidise wealthy people's expensive, unreliable power for their multiple fancy homes and the SUV's that shuttle them back and forth.
SSL/TLS: Part 1 – Basics of SSL and TLS
Richard Stallman announces that he did not resign from the GNU Project
Payment plans seem like absolute insanity to me. Everyone I know on one is paying $100+ AUD per month perpetually since as soon as they have paid it off they get a new phone.

I have found that it is insanely cheap to just buy last years phone second hand. I picked up a pixel 2 recently for $300 AUD when it was about $1000 the year before.
looks like a great game! Thanks for working on it!
>economics of it don't matter

Yes they do and saying they don't only hurts efforts with actual chances to succeed. Money isn't some made up thing, it is man-hours and resources, and spending people on feel-good technology keeps them from doing actual good to help the environment.
If you like history The rise and fall of the Third reich was really interesting https://www.audible.com/pd/The-Rise-and-Fall-of-the-Third-Re...
> Why people don't have to trust us: because the technology isn't physically capable of maintaining even that low energy density at the target, without the reference signal from the ground.

From what I see that’s a design choice not a fundamental aspect of reality, but even if it isn’t: what stops a hostile actor creating their own guide signal, either to direct the power towards an vulnerable location, or to directed away from the receiver, causing wide-scale power outages in the process?

> I'm not aware of any real engineering studies for things like transmitting power via LEO satellite relays from the Sahara. Personally I don't find it plausible, but if you can provide such a study I'm willing to change my mind.

This is because beamed power in general is a bad idea compared to simple wires, however the Sahara is a lot closer than Geostationary orbit and therefore any technology that works for Geostationary orbit will also work for the Sahara, and at guaranteed lower cost regardless of the technology.
I think you are drastically underestimating the ability of media companies to develop content which subtly includes specific ideas, values or products. This already happens - it is not a future theoretical scenario.
Interesting. I’m amazed how the shape was declared by the notion you would never lose “sight” of the black hole no matter the direction you looked at it from. I just realized that was how the shape came to be.
He is an authority in a field adjacent to software development, but not actually software development. He's a researcher who develops things that happen to be implemented in software (or hardware, given what nvidia does), and "avoid wasting time learning new programming languages" is probably excellent advice to someone in that position. Most HN readers are not.
>You seem to be deliberately trying to not understand my clear points.

You imagine you speak in pure axiomatic terms, and that I am incapable of reason. It's not the case. You make baseless assertions, one after the other. Consider this:

> it is paramount to consider just the facts and understand quantitatively how those facts would relate to measurable outcome changes society would value.

Maybe pick this apart. Why is it paramount? I agree that it is important, but you offer no reasoning for your opinion - built not on facts, but your moral standing.

And how does one 'understand quantitatively'?

These are rhetorical questions for you to answer. I think you're right that our views of the world are at odds with one another.

I believe that appeals to emotion are unavoidable, and part and parcel of unpacking the social compact, and coming to consensus on what is morally important - and that consensus will endlessly shift. Whereas you have some notion of moral realism, where moral facts emerge - 'ought' becomes 'is' - and are quantifiable. You'd probably be a fan of Sam Harris' Moral Landscape. But even Sam admits their can be equal peaks and valleys, and here we enter the world of subjectivity.

I suggest you dig deeper into the rabbit hole of philosophy and get out of the scientism local maxima you've caught yourself in.
I don't keep a general knowledge repo but recently I realised that I've gone through a bunch of books on math, statistics and machine learning that approach the same topics in different ways. I started a "knowledge repository" just as a way to solidify what I already know. I throw in a bunch of definitions, theorems, formulas, algorithm explanations - from easy and obvious stuff to more advanced concepts. I use Jupyter for this because the markdown is simple but still supports MathJax/LaTeX equations.
I have seen that Erlang is used in RabbitMQ, if I recall right their argument was that Erlang is particularily well suited for that kind of asynchonous message queue stuff. I donlt know all too much about Erlang, so I cannot judge if that claim makes sense.
The US has a huge rare earths mine in California.[1] Great technology. Non-polluting. Even the Sierra Club signed off. Bankrupted by cheap rare earths from China. Then, when rare earth prices went back up, hurt by Trump's tariffs. The current management hopes to be self-sufficient by next year, not needing to ship to or from China.

[1] https://www.scmp.com/business/commodities/article/3011687/ca...
It depends. If the goal was to exclude women or old people no matter how qualified they are then you're right, they could just be excluded at a later stage. But if goal was to save money or reach more relevant people based on the assumption that there are fewer old people and women with necessary qualifications then they actually might hire them once they've applied.

Now I think about it, even in the first case it could make a difference. Rejecting an application from a real individual based on prejudice might be harder to do, due to a stronger feeling of wrongness, than just unchecking a box labelled "female".
> What's the rationale for excluding sqrt?

That's a great question, and one with a non-obvious answer! For any potential function in Bot Land, including utility functions like Math.sqrt and Math.pow, I purposely wanted to provide as few as possible until someone expressed a desire for them, that way I could ask about the scenario they were trying to accomplish (as you saw in this thread). From there, I try to figure out if there's an even easier way of supporting their scenario so that everyone (i.e. even Blockly users) could enjoy it.

For example, if we find out that Math.sqrt was needed solely to find distance and that getDistanceTo was sufficient, then I could treat it as an education problem on behalf of Bot Land. In other words, I may want to include more snippets that use "getDistanceTo" or maybe make more tutorial content around that function.

Another philosophy would be to just add whatever functions I can think of and see what users do with it. That would probably have worked too; I'm not saying mine is better, it's just what I was thinking.
Ethical Hacking
awesome content.<a href="https://www.kaashivinfotech.com/best-ethical-hacking-course/">BEST-ETHICAL-HACKING-COURSE</a>

<a href="https://www.kaashivinfotech.com/mechanical-internship-in-chennai/">MECHANICAL-IN-CHENNAI</a>
<a href="https://www.kaashivinfotech.com/inplant-training/">INPLANT-TRAINING</a>
<a href="https://www.kaashivinfotech.com/inplant-training-for-mechanical-students/">INPLANT-TRAINING-FOR-MECHANICAL-STUDENTS</a>
<a href="https://www.kaashivinfotech.com/iot-internship/">IOT-INTERNSHIP</a>
<a href="https://www.kaashivinfotech.com/internships-for-eee-students-in-hyderabad/">INTERNSHIPS-FOR-EEE-STUDENTS-IN-HYDERABAD</a>
<a href="https://www.kaashivinfotech.com/internship-for-eie-students/">INTERNSHIP-FOR-EIE-STUDENTS</a>
<a href="https://www.kaashivinfotech.com/inplant-training-in-chennai-for-it/">INPLANT-IN-CHENNAI-FOR-IT</a>
<a href="https://www.kaashivinfotech.com/free-internship-in-chennai/">INTERNSHIP-IN-CHENNAI</a>
<a href="https://www.kaashivinfotech.com/free-internship-for-cse-students-in-chennai/">INTERSHIP-FOR-CSE-STUDENTS-IN-CHENNAI</a>
<a href="https://www.kaashivinfotech.com/inplant-training-for-biomedical-engineering-students/">INPLANT-TRAINING-FOR-BIOMEDICAL-ENGINEERING-STUDENTS
</a>
> Don't know about Switzerland, but as an European living in the US, I think the American fire safety rules are what they are mainly because most houses here are basically matchstick houses built from prefab low quality wood which would get devoured by flames in minutes. And the fire-resistant building materials are super toxic when they actually burn.

Also US electric plugs are inherent fire hazards, much more so than anything you find in europe.
Given that many of the security features did run perfectly fine in 60's hardware, I think they can manage in 21st century machines.

"Many years later we asked our customers whether they wished us to provide an option to switch off these checks in the interests of efficiency on production runs. Unanimously, they urged us not to--they already knew how frequently subscript errors occur on production runs where failure to detect them could be disastrous. I note with fear and horror that even in 1980, language designers and users have not learned this lesson. In any respectable branch of engineering, failure to observe such elementary precautions would have long been against the law."

-- Tony Hoare, "The 1980 ACM Turing Award Lecture"
That’s beautiful.
Most certainly a compromise. More inputs amortizes more of the overhead (power pins, input pads etc), but too many wastes density.

A similar issues shows up in FPGA where four-input lookup tables (LUT4) were the sweet-spot for many generations but in the past few years LUT6 (and hybrids like the ALM ~ 2xLUT6) have taken over.
I like this, but I sometimes tackle issues where I can't abruptly stop working without losing the context of what I was doing.

It would be nice if there was a overtime button so I can get to a good stopping point.
I believe the word you’re looking for is “grit”. Gritiness has also been shown to be the greatest predictor of success.

> Grit in psychology is a positive, non-cognitive trait based on an individual's perseverance of effort combined with the passion for a particular long-term goal or end state (a powerful motivation to achieve an objective). This perseverance of effort promotes the overcoming of obstacles or challenges that lie on the path to accomplishment and serves as a driving force in achievement realization.
I would hope that the reason for failure was more about this:

> Forever 21’s struggles have provoked questions around the appeal of fast fashion more broadly. The industry has faced backlash surrounding the environmental impact of quickly disposable clothes and concerns about worker safety

...

> Younger shoppers have increasingly turned to consigned goods and brands that claim sustainability as a value...

But I wouldn’t bet big money on it.
> Diapers and food are actually not that expensive, but toddler yoga, dual earner flexible childcare, private school and similar absolutely are.

While toddle yoga is fluff for healthy children, it is not that expensive and baby exercising can help to the ones that have mild motoric issues. It is actually often something mom does also for herself so that her time is occupied and she meets other moms (social isolation sux, being in same room whole day sux). It is also literally mom seeing problem in her own mental state and taking steps to fix it before it affects her behavior toward kids and husband. When you are socially isolated and bored, you can stay home and be depressed or find a place with people and something that makes somewhat sense to do.

Good school, healthcare and do actually matter, you know. So that the child has also middle class future. Good school also eases out situation for parent, as bad school means the parent have to re-teach, have to work around bullying and social pressures on child to be bully or not learn.

Dual earner flexible childcare is something traditional man does not appreciate. But, mom who wants ability to fend for herself too if needed and not be dependent and helpless completely appreciates a lot. If nothing else for psychological reasons - staying home is depression inducing for a lot of reasons. And when husband dies or get sick or get unemployed, yeah, it matters a lot.

> they choose to opt out of the children having status tournament

Well, social status matter to people and always mattered. How others treat you matter a lot to you.
Just as a comment: I really hate seeing Brexit dragged into every conversation.

We're talking about rockets here, which should be a million miles away from any discussion of Brexit.
Bit of a shameless plug I guess but it's especially fun for me to take a look at this because I worked on a pretty similar game about 3-4 years ago making bots battle each other for the students I was tutoring. Right after that I made another game that was a more single player experience and decided it would be fun to learn OpenGL so I obviously got a lot less done. This definitely looks a lot more polished than what I produced and I hope it turns out well!
For those interested in the projects I worked on, you may find them here:
https://gamejolt.com/games/masjien/80426
https://gamejolt.com/games/proxy/221194
hehe, pretty nice
Here: https://github.com/wmchris/DellXPS15-9550-OSX

By the way, it doesn’t support discrete GPU, but Nvidia GPU performace in the XPS 15 is horrible due to heavy throttling anyway.
One issue is that skills don't last forever. You lose them if you don't practice (and I'm not even talking about body decline). And you can't practice them all at once due to time limitation.

Besides, some skills decline slower than others. For instance, "technical" sports, such as skiing, boxing or swimming, seem to be more engrained in the body. Whereas running abilities decline pretty fast. I usually favour technical sports for that reason.
Ubuntu Mate 19.10 Release Notes
WhatsApp’s servers are largely written in Erlang too, right?
Instrumental Instruments: Atari ST (2017)
Not OP, but have used Elixir pretty extensively; the major selling points for me are the friendlier syntax and more active community support, plus with rebar3 + Elixir's seamless Erlang interop you really don't give up anything, you can use any existing Erlang/Elixir libraries with a single syntax. It's pretty great.
Ya, a reply with a pure "that's F(4)" makes the same mistake (sidestepping the subject) it's pointing out.

Some rely on hijacking common sense. The slippery slope for example, I'm 95% sure it's the most common "pretend it's fallacious" reply, even though it's actually "by no means invariably fallacious" because it is a physics problem, and the grey area between it and political incrementalism (for example) starts with true, not the opposite.
A Growing Need for Data Scientists and the Automation Paradox
Didn't work out so well for the Aztecs.
Well, there is the entire mathematical components library[0]. It's still fairly elementary, roughly at an advanced undergraduate level.

Right now it actually takes far more time to write lean code than to prove things by hand. What is typically done in a single lecture in an intro Algebraic Number Theory course can take hours upon hours to implement. E.g. the Pell equation [1]. You have to be extremely explicit about everything, and can't handwave the details you do in human proofs.

Right now the overhead of writing proofs in Lean is so large that you'd prove a theorem with pen and paper before attempting it in Lean. So far it is a useful tool for proof verification, but not for actually coming up with them.

As things stand, computer proofs are only better than humans for things that are highly combinatorial in nature. which due to performance concerns usually aren't written in languages running in VMs.

[0]https://github.com/leanprover-community/mathlib

[1]https://github.com/leanprover-community/mathlib/blob/master/...
Hasn't this always been the case though?

Globally everyone supported the Umbrella revolution. Generally the world doesn't like China from an ethics point of view. Who would be in favor of "Arrest and extradition without trial for voicing governmental dissidence to China." without being pro-authoritarian?

For me, the real question is whether all this will translate into actual policy in favor of demonstrator's demands.

The strategy, I believe, sits in monetary policy. Hong Kong still represents high quality, safe money. With China's economy slowing and Trump's trade war, there's lots of pressure to keep Hong Kong as a stable financial center.

Just maybe then, some favorable policy can be realized.
nope and its only partially because im a selfish git, the other part is simply that i have more immediate and pressing concerns to deal with in my world, if someone doesnt do something about climate change then sure people will suffer in years to come but if i dont keep my wages coming in ill suffer a lot sooner