skysight-inc/HackerNews huggingface dataset:
> The bloat is a lot about the lack of a standard library in JS.

Which is why someone created core-js, which a bunch of libraries use but, in my experience, never update. Every React project will have multiple libraries complaining that core-js 2 is deprecated.

So basically even the "fix" has all those problems.

> That and an inconsistent and unpredictable type system.

Agreed and honestly, I don't think TypeScript's solution for third party types is any better, either. I recently ended up in a situation where `some-library` and `@types/some-library` got out of sync and I simply had to try versions of `@types/some-library` until it would compile again. This happened because typedef versions are not pinned to library version in any way, they are versioned just like any other library, and to the best of my knowledge you can't simply look up this information to figure out which @types release you need for a library. You can only enumerate released versions and hope the latest of each work fine. Was there a breaking change that the typedefs haven't accounted for yet? Well guess what, you can't update that library, yet, even if there were security fixes. Your code won't compile.

This means you could potentially have `some-library` at version 1.2.1 and `@types/some-library` at version 1.1.0. There's no relationship there. This happens the moment there's a revision in a library that doesn't require a revision in the typedefs.

Sorry to ramble, I'm just really unhappy with the state of our two major ES languages.
Don't you mean 10,000 cores?
> especially geographically distant are now much easier to make regular contact.

I have a few friends/coworkers who became remote over the years. Our contacts had been more infrequent, but still there.

Now post covid I not only contact them, but ask for "remote work advice" since they're experienced pros.
I’m not sure why you’re downvoted, I thought it’s widely known by now that there were helpers on the ground for 911. Building 7 being the easiest one to draw conclusions from.
https://news.berkeley.edu/2020/06/15/diluting-blood-plasma-r... is another recent study which also suggested something similar.
I'm curious about whether your project would make more events like what happened with the rust actix-web library.

Short story if you're not aware: It is the fastest web library out there, but the maintainer quit open source entirely. I fear projects like yours would just make it worse.

This may sound harsh: your rebuttal doesn't really address the issue it just tries to justify 'live with it'
I understood that differently:

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

Hint, the questions were:

"Now, what is it, the feeling between those two magnets?"

"There's something there, isn't there?"

"what's going on between these two bits of metal"

"What does that mean, or why are they doing that, or how are they doing that?"

I don't know what phenomena you study, but I assure you that "magnets" aren't the only topic for which the "feeling" and "what does that mean" and "why" questions would warrant the same answer.

And where answering "how" would be cheating if the answer would use some false analogy.
I recall Nike being in a similar situation. As I recall, they forbade terms like "sweatshop".
Also, it is a widely known fact that classical electrodynamics is not compatible with classical mechanics.
Really enjoyable read. Thank you for sharing your work, I'll be making use of it!
I don’t know if this will help you but it is how i think about it.

Just keep in mind that the waves you see plotted aren’t a direct physical model like you might find in the chapter about forces. In those topics you can directly represent a pully or a lever and depict force vectors and distances and their relationship within the system right on the page.

Waves drawn to represent sound or AC current or RF are confusing because they look like waves in the ocean so the brain just inserts that somehow. However, those waves are really a derived value that plots the field/pressure/current intensity over time (or distance). Imagine they are being drawn by a small plotter hooked to a sensor at some point in space and the up and down movement of the ink on the page is just the change in pressure/intensity over time at that spot.

There's an image on this page that depicts it as a 2D slice of reality - https://dosits.org/decision-makers/tutorials/science/what-is...

This is closer but the problem with this image is that the particles all have a laminar motion back and forth. The reality is that it's like quadrillions of superballs bouncing in random directions and these density fluctuations are only really evident in larger scale aggregations of particle motion.
So true. Let's hope we don't have to go that far with every country imposing their rule on every person in the world. We have too much of that already.
Saving account with notice period, if you have life's savings put them separate so can't be accessed immediately. Unfortunately kids don't understand home economics and end up causing harm only to realize it was wrong when it is all too late
That trailer is phenomenal. The sheep-flying presentation, the music, the audio-visual rhythmic beats, the humor... truly fantastic artistry.
No, that's the point - it would not be considered human level intelligent.

It would be considered to have passed the Turing Test is all, which is a very different matter.
Brian Kernighan: Unix, C, Awk, AMPL, and Go Programming – AI Podcast
The People’s Republic of China Was Born in Chains – Foreign Policy
A simple question: are you a party member?
He says, thank you!
I am totally confused by people not being impressed with gtp3. If you asked 100 people in 2015 tech industry if these results would be possible in 2020, 95 would say no, not a chance in hell. Nobody saw this coming. And yet nobody cares because it isn’t full blown AGI. That’s not the point. The point is that we are getting unintuitive and unexpected results. And further, the point is that the substrate from which AGI could spring may already exist. We are digging deeper and deeper into “algorithm space” and we keep hitting stuff that we thought was impossible and it’s going to keep happening and it’s going to lead very quickly to things that are too important and dangerous to dismiss. People who say AGI is a hundred years away also said GO was 50 years away and they certainly didn’t predict anything even close to what we are seeing now so why is everyone believing them?
Yeah but software done with the government money (like grants) should be free . Even if ongoing support is not
I know this is happening. Without any insight into what the teams are doing, my guess is that results will be some time as they are likely focusing on engineering outcomes that require multiple survey styles and longer timelines, e.g. code metrics, engineering happiness, release frequency, bug trends etc etc rather than the easily collected metrics presented in the OP.
I understand your point, but many of the no-reply (most) do not encode an email or website if you needed to talk with someone.

Of course saying no replay is better than auto forward to bit/bucket.
Priceonomics: The Content Marketing Handbook – A Summary
Make $country great again, as a service.

"Hire me as president, I have great connections, beautiful even, to the US, Russia and Djina".

Surely, this will never happen.
The challenge with the longitudinal example, which is of course technically correct, is that it’s hard to map it to the spherical shells that most of these phenomena radiate into.
That tone is very much wanted. It's not a criticism. It's what they are. And that's perfectly fine, they don't all need to bring a PhD to the table. But as it stands, in the context of AI knowledge, Altman and Musk are hype men for OpenAI. Yes, they probably handle financials, or set targets. But they're not indispensable to the well functioning of an AI company.
what I learned was that the logs are timestamped to whatever machine they're on, wherever it is. The servers in London - GMT. The servers in west coast - Pacfic time. Servers in DC - Eastern time. Not ideal.
> I think is clear that the baseline of any study is that correlation does not imply causation. You start there. That’s a basic intelligent start. You never take for granted that one thing causes the other. The ideas is to try to identify if there are any potential paths for causation.

You might start there, but an incredible number of people read the headline and think "oh man; I guess I gotta increase my iron intake".

It's said a lot because it's so easy to draw a false conclusion from correlations.
I haven’t bothered playing it. Hardly even seems canonical and the reviews described it as worse than DA:I, which... did not impress me.
Graphics uses a lot of stacked matrices. Small errors (more than just rounding, but within spec bounds) can add up to make the result non invertable. That results in NaNs.
Panels and strips using more than 24V are extremely rare, with 12V being common and 5V existing for the hobbyist crowd. I've never seen a 24V rig for hobbyist uses (although some Ikea strips run there).

You don't wire them in serial anyways. In general if you care about blocks of LEDs at all you don't wire them in serial.
As a liberal democrat, my first feeling was outrage.

Then I saw how quickly he rose in Peter Thiel's organization which is impressive.

I started my career working in the defense industry (an early employee at SAIC, which much later changed its name to Leidos). I saw this scenario at least twice working in that industry: someone young and without the "right kind of degree" would get hired. They had great people and organizational skills and ended up being very valuable just because they got stuff organized, then done.

Kratsios may be a lacky, or a skilled organization-person. Or both.
I agree the discussion in starting to get annoying.

Let me just mention that with that amount of money I can buy about 2~5 fresh pizzas, if a good note-taking app provides about the same value to you maybe you don't even need one.
where is your outrage outside this post? What have you done? What does BLM have to do with this?
What is missing in the west?
I agree with this and notes is what I use - apple notes with cloud sync, especially on the phone. Every now and then, I move it all out of notes into standalone text files in a directory tree in Dropbox.

Why?

Because several times now I've lost notes due to Apple's cloud "sync." On a few occasions, the note turned up in the trash (with no action on my part) or simply disappeared.

Putting aside the spontaneous deletes, one thing that seems to more frequently push things into the trash is editing the same note on more than once device - the handling of this on the icloud backend appears to be "hell, just delete it."

edit: I should note that this spontaneous delete thing was more common a year ago, but then again, I've dramatically reduced the number of notes I maintain, now down to like 30 or so as opposed to the hundred+ I used to keep.
Yes, the point that is often missed is that Coulomb interactions aren't enough on their own.
Sounds like it'd be pretty buggy, though.
I'm not for sure exactly what you mean by immutable variables, but if you are referring to Erlang not being able to rebind variables, then you might check out Elixir, which does have variable rebinding. All data in Erlang and Elixir is immutable but the rebinding of variables is handled differently between the two.

http://blog.plataformatec.com.br/2016/01/comparing-elixir-an...
I recognize this pattern: people who are good at marketing think they can go into a space and outcompete others thanks to brilliant marketing. This works in some consumer spaces but fails whenever the key to success depends on excellent engineering. The use of outside contractors in this case is a red flag. Outside contractors are a better bet when customizing something standard, but doing original work requires a much closer feedback loop between the engineering team and the leadership.
So I've taught undergrad courses, and my sense is, the average US college engineering sophomore with linalg and say Calculus II (but no Real Analysis) might struggle with this material somewhat. They may know the material for linalg and calculus (and may have gotten As), but my feeling is that many would not have reached the mathematical maturity to truly internalize concepts.

I would place this course maybe at the senior level (with graduate level cross-registration)...400-500 level elective.

What is your sense?

--

Side note: it's interesting in that in other countries, e.g. say France, the math curriculum is so darned advanced. In undergrad Year 1 at École Polytechnique, real analysis and variational methods are already covered in common courses.

https://programmes.polytechnique.edu/en/ingenieur-polytechni...

Functional analysis in Year 2.

https://programmes.polytechnique.edu/en/ingenieur-polytechni...

Then again the top French schools filter out non-math folks via classes prépas and exams.
Remote work is right for some people, but the past few months have convinced me that it's not right for me.

A thing that puzzles me is how adamantly some of the people who were already fully remote try to impose the remote-is-always-better mentality on their fellow employees. Different people have different circumstances/preferences.
Because unless criminal charges are filed it isn't fraudulent. The parents don't get to have their cake and eat it too.
Be careful not to confuse the map with the territory. These ups and downs are a graph of something, such as the pressure in a sound wave. It’s the pressure, a number, that goes up and down as the sound wave passes by.
I'm a lecturer (assistant professor) in computer science at University of Kent in the UK. I did my undergraduate degree and Masters at Charles University in Czechia and later a PhD in Cambridge. Most of my work has been on programming languages.

How did I choose? Mostly by accident and I definitely did not plan this much in advance. I enjoyed web programming during my undergrad. I got interested in how to make web programming easier (and if you could write both client-side and server-side code in the same language - in the pre-Node.js and pre-transpiler days :-)) and I stared working on a project to translate .NET code to JavaScript. Through a few random lucky accidents, I ended up working with F# and met Don Syme from Microsoft Research. This got me the idea that I could actually do PhD! Through working with Don, I got interested in functional programming and PL research more generally and then applied for PhD with some ideas about reactive programming.

I have no idea how to choose a field or plan a career (I only have one data point!) In my case, it was a mix of doing things I found interesting (without thinking about why this might be useful) and meeting a fantastic mentor at the right moment.

In any case, good luck, no matter what field you end up choosing!
Ok, then replace all additions in your program with a function returning either an error or the result.
Same with logging statements.
And don't ignore the errors..
Is your program still readable?
> And yet nobody cares because it isn’t full blown AGI. That’s not the point. The point is that we are getting unintuitive and unexpected results.

I don't think these are unintuitive or unexpected results. They seem exactly like what you'd get when you throw huge amounts of compute power at model generation and memorize gigantic amounts of stuff that humans have already come up with.

A very basic Markov model can come up with content that seem surprisingly like a human would say. If anything, what all of the OpenAI hype should confirm is just how predictable and regular human language is.
According to my professor, when I was taking quantum mechanics a few years back, the view that Feynman is prevented from falling through his chair by electromagnetic repulsion is somewhat antiquated. She told us that a more modern perspective puts a greater focus on the Pauli Exclusion Principle.

Of course that line of explanation falls to similar loop, re: why do fermions resist sharing state?
I think if the US left the treaty, everyone would breathe a sigh of relief and modify the treaty.
Paranoia! most fun RPG ever. TRUST NOONE. KEEP YOUR LASER HANDY AT ALL TIMES.

once had beer with designer Greg Costikyan. (while Steve Jackson stood nearby plugging his ears.)
> Framing protestors as “vigilantes” implies wrongdoing

Wouldn't want to imply wrongdoing on the part of arsonists, after all.
Does your gigantic company require your frontenders to add/remove/edit a div without a framework though?

Or do you put them through your test only to have them use React as part of the day job?
Mystery Objects from the Science Museum
In the "which is heavier" test, it simply always picked the second object as answer.
Statistically speaking most people don't have a big audience on Twitter either. As your audience grows so does the chance of somebody at Twitter having a problem with you. If you're on Twitter because of this potential for massive growth you have to take it into account.

Had it happen to myself. Absolutely no warning from Twitter. Never had a temporary ban at all. And wasn't even a remotely big account. Of course you don't hear about this from people who aren't super high profile - they cannot make a lot of noise about it. Amongst my friends who are heavy Twitter users there are absolutely tons of stories like this.
Style rules often look like: spell out any number under twelve (sometimes twenty), and spell out any number that starts a sentence. If you're unlucky, that can get you sentences like the above.
I learned the lesson of explanations going into a 'why?' rabbit hole 2 years ago. It was taught to me by my then 6 year old daughter.
Does anyone know if the current crop of FLOSS phone companies (pine64, Purism, etc) have sustainable/profitable businesses? That seems to me the most important variable when setting my hopes of getting a usable Linux phone anytime soon.
finix payments it's supposed to help you built a stripe for yourself, not so sure about negotiating better rates.. If stripe can't break the visa-mastercad duopoly

Stripe has a lot of stuff also in software/services
But that's a bit different. For Nike, writing "sweatshop" on a show is equivalent to bashing Nike. Freehongkong isn't a negative message against the NBA itself.
If I had to guess given the journal where it was published, I'd say it is for formatting purposes (better distribution of the words in the line).

Edit: reading the other comments, beginning vs non-beginning of a sentence also make sense.
I don't see why it would matter.

You're not going to see more or less Erlang anywhere, not even at Ericsson, due to Ericsson getting more or less business.

The software will be written regardless as long as there's some business and you're not going to notice outside Ericsson either way.

Besides, Huawei is free to use Erlang too. It stopped being Ericsson proprietary a long time ago.
How does that work? Do I understand correctly that you connect the first led to a esp32 (+3V, onewire, GND) and then connect +12V and GND to the second led?

I wonder why it wouldn’t work if you connect +12V on the first led?
Style guide. Sounds like the one my work uses (Associated Press):

- Numbers up to ten are written as words

- Numbers 11 and higher are numerals

- Any number that starts a sentence is written as a word
It really is almost a meme. You could almost perfectly plug it into the "Learned Sage Points Out That Powerball Not As Much After Taxes" Onion article:

https://local.theonion.com/learned-sage-points-out-that-powe...
I just finished Mass Effect (for the 342345th time) and I only encountered this on Ilos. I thought that it was just a temporary artifact on my machine ad I haven't seen it ever since.
FWIW, Awk and a good SyslogNG catcher is a really good old-school alternative to all these fancy expensive tools, and there is pretty much nothing that you can't do with them...
>Chinese people who study abroad are more often confused by the things missing in the west than they are liberated in the way you describe, in my experience.

As someone who has never been to China could you list some things the West is missing?
I believe those demos involve "priming" GPT-3 by providing a few examples of (text → generated code), then during inference time passing in just the text. The model would follow the examples provided and subsequently generate a string of code/mockup syntax, which is then evaluated.

Edit: here is a tweet (from the author of the GPT3 layout generator) that seems to show this in practice: https://twitter.com/sharifshameem/status/1282692481608331265
I wonder if “Free Portland” would fly.
Krebs wrongly implicated Briton in Twitter hack
It’s difficult but possible to get your bank to issue you an ATM card that is not a debit card. The banks have an incentive to get you to use a debit card as it has none of the protections credit cards do.
AI can be very useful in practice for theorem proving WITHOUT proving "big new theorems" or inventing new mathematics. Right now, what makes theorem proving an extremely expensive undertaking is making proof search work. AI could help immensely by improving the search.

The process of proving things in provers like Lean, HOL or Coq is interactive; roughly, the theorem you want to prove is your starting goal, and you apply tactics to transform the proof goal until the goal becomes the boolean value true. The Platonic ideal of this process is that you provide the main, "creative" steps of the goal transformation, and the tactics discharge the rest automatically. In practice, however, for the process to work, you need to carefully state your theorems in a certain way, and you need an enormous amount of tacit knowledge about how the internals of the tactics, as well as of the libraries of already proved facts that you can use. These things take years of practice to build up. I think it unlikely that theorem provers will see a significant uptake until the tactics (i.e., proof search) improve massively.

This is where I hope AI could step in. There are many challenges, obviously. The training data sets are relatively modest; when I looked a few years ago, the publicly available Isabelle theories, for example, amounted to a few hundred thousand proved theorems, which is a minuscule corpus compared to what something like GPT-3 uses. Then, how do you represent the input, just characters, or do you need more structure? Can you can leverage something like reinforcement learning? How do you could set the training process up? On the other hand, compared to chat bots, the quality of the resulting AI system would be much easier to quantify (success rate on a benchmark of new theorems).

There's already work in this area, but I'm not aware of any grand successes yet. I hope to see much more work on this in the near future. I've been dabbling in it myself a while ago while I was still in academia, but other priorities have taken precedence in the past couple of years.