skysight-inc/HackerNews huggingface dataset:
You can run on ARM servers in production. They're even cheaper than x86 servers. (Though also slower, at least AWS's version.)

Realistically, ARM is probably the future, and just needs something to push society in the direction of the future. A lot of people use Macs, so this forces people to become interested in switching, which has some value. Remember when the original iMac had USB instead of ADB ports? Everyone was mad about it. But USB was the future -- you can plug that iMac's mouse into pretty much any computer you have and it still works.

(I've been wanting an ARM desktop for a while, but it seems there is trouble standardizing something like BIOS/UEFI, and the CPUs you can buy are more expensive and slower than x86 alternatives. I'm also not sure if anyone ever decided what the standard "ARM" configuration looks like... binary calling conventions, endianness, supported instructions? But, if Apple can make a competitive ARM chip, so can others, and the standards will follow. We'll see!)
That's the price of a heavily patched postgres fork. It's really expensive to maintain them. Far from the first time such forks fell behind quickly (e.g. redshift, greenplum).
Joe Cheated: Here's Proof
Hmm. I would guess then that Docker would be aiming for both emulation and hypervisor. Seems reasonable.
Lispers learned marketing, bravo!
The only issue is the missing credit to the Quanta article https://www.quantamagazine.org/how-godels-incompleteness-the....
Is censorship really the greatest crime? Is there no intelligent way to facilitate the search for truth that doesn’t require us to get bogged down in accepting every possibility as equally plausible? Of course there is. One thing is certain. Crying “that’s censorship!” will not get us to that place.
The ergonomics of explicit error handling without monads and without pattern matching are so bad that the language designers gave up and allowed every pointer deref, bounds check, equality check, and send to panic. I may never understand why “if err != nil” is tolerated by engineers.
By default, but one

sudo apt install qemu-user-static
# or
docker run --rm --privileged aptman/qus -s -- -p # (every reboot)

away and you can. It'll be slow, but it'll work.
Creative inspiration for women who are sick of Instagram
These are not even close to equivalent. I agree the algos interview process is broken in many ways and can be gamed to some degree by grinding Leetcode or whatever, but implementing an algorithm is generally much more difficult than recalling a fact.

(Admittedly, candidates are likely to have memorized the algorithm for reversing a binary tree since that is such a common interview question)
There is also not that much milk in a serving of ice cream since it is usually less than the 1:1 with amount of cream, typically 2:1 cream to milk, plus sugar, stabilizers, flavorings. A milkshake would be much more milk though I’d think.
Can we give them a full month to sort this out ?

I want x64 docker on Arm , as this could also be massive for server power consumption. But things take time . If your some wiz kid who can crack this puzzle you’ll have a billion dollar startup within 6 months

As someone who’s published on the App Store , having a single binary run on IPhone , IPad and Mac is a much much bigger deal than most of you realize .
Of course not, that's what the experts are for. I couldn't find much about young people, but data on adults should be suggestive enough (https://jamanetwork.com/journals/jamanetworkopen/fullarticle...):

"In this survey study that included 1441 respondents from during the COVID-19 pandemic and 5065 respondents from before the pandemic, depression symptom prevalence was more than 3-fold higher during the COVID-19 pandemic than before."

And not to antagonize you, but just a post earlier you were talking about protecting people in your community. Caring about their wellbeing is one of the ways of doing that.
I'm sorry, I was under the impression that only profit is taxed?
I don't think social media is going away, so we have to deal with it somehow. Regulation might be a good idea if we can figure out the right way to do it.

Another thing is that it would help if there at least existed large, successful social media platforms that aren't cesspools. We can't force people to leave Facebook or whatever if they don't want to, but having a good alternative platform that doesn't put the the most inflammatory content in front of the most eyeballs would count for a lot.

Social networks are a new thing and we're still figuring out how to moderate large numbers of people, but I think it can be done. I mean, a lot of things seem impossible until someone does it. Search engines used to be plastered with ads and nonsense on the front page until Google came along and demonstrated you don't have to do that. Wikipedia would have sounded like a ridiculous idea before it launched. You just need the right combination of people with a specific goal and the right incentives, technology, and the resources and expertise to build the product, and a minimum-viable community to bootstrap with.

(This isn't a new idea, but so far no one seems to have unambiguously succeeded. I wonder what the missing piece usually is?)
Maybe, not sure. Would be nice to have some benchmarks.

e.g. https://github.com/kyle-n/TypeSwift/blob/main/src/Array.ts#L... pretty sure using a flatMap will be faster in most recent environments.
Wow what an unhinged reply.

1. If I did get it I would self quarantine. Not go out and ‘spew’ it. I wear my mask when appropriate, I socially distance, and I only go out when I need to.

2. I never said I want to go out to a bar. I want to visit my family and let them see my newborn daughter. I want my niece and nephew to have social interactions and a real education. I want to be able to conduct my business so I can feed my family.

3. Lockdowns and quarantines have already cost many, many people their jobs, time with family, time we’ll never get back, and it has even killed people. With current approaches everyone suffers instead regardless of their situation.
WebrtcH4cKS: Red: Improving Audio Quality with Redundancy
Aws Graviton2 images. It’s exciting to finally have ARM consumer laptops: it’ll encourage people to port applications to ARM which will make it easier to take advantage of cheap ARM servers.
Notably, the link isn't to a paper, it's just to a blind graph of raw data. It's not only bad analysis, it's non-analysis. The only provided interpretation is in the spun headline.
I see some circumstantial evidence but no proof.
I have some kind of dairy intolerance, and I find that cooked and cultured dairy doesn't bother me nearly as much as milk or ice cream.
Or at least give the user a preference as to the algorithm/sorting method they want (or the ability to implement their own! Will never happen, sadly.) I think it’s the lack of transparency into the curation. and lack of control over it, that is the issue, not the particular queries being run.
this will end badly. We all know it
HN is an international community and not everyone ascribes to the conservative/liberal paradigm of politics that dominates the U.S. I'm probably way more left than you but I also do not think giving up civil liberties to curb the spread of Covid-19 is worth the cost. In France they fined people who were outdoors on "non-essential errands". That's fucking insane. No one should be required to give up their right to take a walk in their own hometown. Forcing people to do that is Soviet-level authoritarianism.

It of course also sets a precedent. If the rulers can whip the masses into thinking a curfew to stop a virus is necessary, they surely can do it for other reasons again and again. Bye, bye right of assembly.
if the infection rate is 5% for a year, how many people got infected?
> Even more important than finding great engineers is to avoid bad ones.

I don't know how many Jeff Deans and John Carmacks the OP would turn away in order to avoid a bad engineer on the team, but for me the answer is zero.
No, keep in mind not all of us are brainwashed libs, even though we still care about the impact of social media on society.
It doesn't. We would have been interested in working with the Dolt folks. I would have probably helped convert the panics myself. They wanted to do their own thing.

That's allowed in open source and part of the beauty. It does kind of make me sad though.
What is the rage about VPNs lately? Is there an emerging security/surveillance threat that we were not aware of or even one that a VPN could stop unlike FB/Google data hoarding?
How many screw ups are we going to give Docker?

It has been since July that you can have developer kits for Apple Silicon. This should not have been a surprise.
These are fine questions, and their answers should sit uncomfortably in all humans. But unless we are content to let human knowledge dissolve into meaninglessness, we must look to something external to our own reasoning to help decide what to believe. For me, I have drawn that line at Scientific Consensus because it has proved the most robust tool humanity has ever found for determining what is actually true. Is it perfect? No. Is it better than everything else? Undoubtedly yes. I think it must be the starting point and possibly the ending point for all discussions of this nature. To use another tool you must first convince me it is better than Scientific Consensus.
At what cost, and with what kind of externalities? Individual rewards that come at the expense of social / public health, the inability to have nuanced political conversations, and depressive symptoms for a broad segment of the userbase sounds like a "social ponzi-scheme" to me.
> Brain
* Develop a mathematical theory to build a functional model of the brain that is mathematically consistent and predictive rather than merely biologically inspired.

My gut reaction to that was: that’s pie-in-the-sky outlandish.

However, with more thought, I agree it is possibly the most important in the list.

In the past year, Congress demanded a powerful general AI. (1)

Many have been and continue to be concerned that AIs will fail in the areas of ethics and morality.

An unethical and immoral AI could be chaotic and unpredictable. It could try to kill everyone (Skynet) or manipulate them for its amusement or quest for knowledge, or it could leave Earth in a spaceship never to be seen again, since it would have no obligation to us.

An ethical and moral AI on the other hand might decide that it should keep humans alive and happy in a virtual world to save us from ourselves or to better control disease, hunger, and other risks. But by doing so, would take away our actual physical freedom.

The problem with the human brain as a model is that it’s not necessarily going to be much better. For example, consider how humans treat other animal species: we let some roam free, we study some, we heal some, we feed some, we have pets, we have zoos, we milk some, we take their eggs, we eat them as food, some hunt them for sport, and some accidentally run them over with vehicles.

Perhaps if we only were to try to make AI purely just do some human jobs to save money or to act as a scalable collection of virtual human minds, that could in-theory be less risky than a hyper-intelligent general AI.

That’s not going to stop development of such a general AI. But, maybe it could help defend us better and could help those designing that AI to make dystopia less eminent.

(1) https://www.intelligence.senate.gov/publications/intelligenc...
Football Brain
A brief journey together through the NCAA's concussion settlement medical questionnaire.
> Whether or not "10x programmers" exist, I can say for sure that 1/10th programmers exist.

Not in this context. The term “10x programmer” comes from an observation that there is a factor of ten variation between the best and the worst programmers. So the worst programmers in this context are 1x, and 1/10th is meaningless. People hear “10x” and assume it’s ten times the average, but that’s not the case.

More information here: https://www.construx.com/blog/productivity-variations-among-...
Gosh, it never occurred to me that the reason the UI was so bloated and slow was because it is using electron!

Why couldn’t they just write a quick set of native panels and call it a day? Sigh.
Life changing moment
I'd love for someone who understands things to compare the Yellen/Summers comments to that of Clayton Christensen's "Capitalist's Dilemma"[1] from eight years ago. For example, it seems to me that an additional capital gains bracket that incentivized very long-term investment would encourage more to invest.

[1] https://www.nytimes.com/2012/11/04/business/a-capitalists-di...
basically what ben said.

we also have a container image `vectorized/redpanda:latest`
If you hire based on algorithms, there's a good chance you'll end up with a bunch of people who are good at algorithms, or at least willing to put in the effort to study the algorithms and be able to recite them back with some variance.

If you hire based on knowing how the the internet works (TLS, HTTP, BGP, whatever), then you'll be working with a bunch of people that understand how the internet works.

I know which team I'd rather join.
doesnt every mainstream language panic (or undef behavior) on out of bounds array access?

explicit error returns is a little clumsy, but still nicer than exceptions.

(zig error handling seems basically perfect to me.)
Maybe building containers for one operating system and architecture from a completely different operating system and architecture is not the best idea.
To me, it seems like the people who have the biggest issues are the ones who get called out for breaking platform rules or just don’t gain the kind of popularity they desire. Those who lie and astroturf and try to gin up fake popularity are in one camp; those who discover that their opposition is just more effective in another. Both camps want to regulate social media due to perceived unfairness. Neither one really seems to care about privacy for privacy’s sake.
Considering the Dunning-Krueger effect, my Imposter Syndrome is sure that I must either be a bad engineer, and that it's just a matter of time before I mess up in a situation because I incorrectly evaluate my skill level at evaluating my skill level... etc. or that I'm a decent engineer.

I've been trying to avoid that meta-evaluation spiral for years by semi-regularly checking with third parties to confirm that I'm generally the person I believe I am.

So far, so good.

Edit: Almost forgot: The whole point of this introspection is to point out that the self both is and isn't a decent guidepost for evaluating others.
I don't think this counts. The developer transition kit machines didn't support virtualization, aiui.
k8s always tripped me up, personally. I always mentally read it as "k-ubereats" (kind of like "k-means"), so it always effectively started with a "u" to me.
> (Admittedly, candidates are likely to have memorized the algorithm for reversing a binary tree since that is such a common interview question)

Exactly my point. Testing for "how to implement a known algorithm" is much the same as recalling facts about TLS. You're testing recall only.
I trust "officials familiar with the meeting" about as much as I trust "some guy" at this point.
> Can I replace 10 of my average engineers with this one person? The answer is never "yes".

That’s because the “10x” is an order of magnitude difference between the best and the worst, not the average.

https://www.construx.com/blog/productivity-variations-among-...
Two weeks ago I was writing a UI in React. Last week I was writing a Dockerfile. This week I'm building a circuit with a microcontroller.

People don't have to hyper-specialize to one specific role.
This is a great comparison to make, but 2 major outstanding questions are:

1. Is the data through Nov. 6 actually complete or is there the expected backfilling yet to be done?
2. Sweden is in the middle of another wave, so excess deaths at end of 2020 may not look the same as now
If you want to transfer assurance of the authenticity of an email to someone else, you can do so without DKIM; just sign a timestamp or something. The problem with current DKIM configurations is that it provides that assurance to everybody, including strangers who have no business having it. Which is why the ask here is for Google to do with DKIM what OTR does with MAC keys: burn them periodically, so that only people who have explicitly arranged to share authentication do so.
A new frontier for cancel culture.
Yes yes yes yes yes yes ... ... ... YES!

I remember the first time I wrote some error-handling code in Elixir and nearly cried
f u l l s t a c k
I suppose I have to do that, thanks.

I was trying to actually solve the problem by identifying the bug and having it rectified. But I'm in the wrong industry for that now, aren't I? D'oh!
This made me realize that Zip chips were a lot more complicated than kid-me thought:

https://en.wikipedia.org/wiki/Apple_II_accelerators#Zip_Chip...
Developer transition kit has been around for a while. Docker just found out they needed to buy those?
(for others wondering, this is their CFO)
Thanks for the reply. Any idea how to sort by rating? It's not giving me the option and is recommending food I'm allergic to. I searched for Mexican and got, Chili's, Chipotle, and Taco Bell, instead of listing hole in the wall places near by me, which are the restaurants I can eat at.
Is this the beginning of application compatibility issues with M1?
make the content private, membership invite only, an ignore list function, and you fix just about everything. ad sales take a hit though.
Adventure Builders Club
I'm reading it too! A little dry so far, and I am reading very slowly for Reasons other than the book, but what's cool about the book is his intent to poke a finger in the eye of Western world history wherever he can manage. Lots of unfamiliar, cool history here.

Prof. Frankopan definitely gives a shout-out to the Sogdians, though he doesn't spend much time on it.
Good / Bad Product Manager
It seems like that's orthogonal to the pain of changing function type signatures everywhere if you screwed up? If you start out not using a monad that supports error propagation, don't you have to change a bunch of stuff?
25k seems excessive, but 10% of a years anticipated revenue might be appropriate.
It is not unusual to have to but up a bond in order to bid on a contract.
I'm not an MIT alumnus, but if I was one I feel like this joke would write itself.
I understand that at the end of the day, entertainment is just what entertains you, but it's hard for me to dismiss the idea that concentrated & repeated instant gratification is a detriment to a person's mind outside the scope of entertainment. This isn't a criticism of tiktok specifically but I think it's probably the purest form of this idea that I've come across.
> In fact, the proliferation of "bad speech" on social-media platforms has become politically untenable, and now all social-media platforms are actively fighting "bad speech."

"Bad speech". That's rather orwellian and social media platforms should refrain from censoring "bad speech". Even legally prevented from doing so if necessary. Free speech protects bad speech. And yes, everyone knows these companies are "private" companies.

> More fundamentally, however, do we really want Facebook to regulate the speech of more than 2.5 billion people?

Of course not. This is the problem with the pro-censorship people who view facebook as being evil and yet want them to be the arbiters of speech for billions of people.

> The basic policy question—how to regulate speech on social media platforms—seems inseparable from another policy concern, namely how to deal with the concentration of power in technology.

Disagree. Regulating speech and anti-trust are two separate issues. If we break up these tech companies and they all collectively continue to censor "bad speech", then we are right back to square one.

1. If these companies want to be platforms, then force them to be platforms. No picking sides, no censoring content. Whether it is to appease Trump, China, Israel, Saudi Arabia, DNC, etc. No legal content should be censored on these platforms. Make it a crime - meaning prison for CEO, board of directors, etc.

2. Maybe we should expand anti-trust from monopoly to duopoly or maybe higher. Why not say having at least 3 genuine competitors in a particular sector or industry is a societal good? So if a sector like search or OS or social media is dominated by 1 or 2 players, we use anti-trust to create more competition.

3. Beyond anti-trust, maybe if one company is just too big, even if it is not a monpoly, perhaps there is justification to break them up as well.

But the overriding concern at the moment is issue #1. Censorship. Then we can worry about anti-trust.
In a piano, the relevant acoustic properties controllable by the player is key down (with differing amounts of force) and key up, with the pedals effectively acting as a way to delay key up (although one pedal causes the hammers to hit two instead of three strings, which largely manifests as quieting the piano). The simple note on/off + note velocity of MIDI models this well, and it's basically the use case MIDI was designed for.

By contrast, the technique involved in playing the violin family is very varied:

* Which string are you playing the note on? You get different sympathetic vibrations depending on which one you choose.

* Are you moving the bow up or down? Direction matters!

* How are you changing bow movement between notes? Keeping the same direction, or changing? Resting your bow on the string the entire time, or bouncing the bow?

* Where you are playing the bow? Down by the bridge, or up by the fingerboard?

* Are you even using the bow to the play notes? You can pluck it instead!

* Fingering too, you can make many small motions with your finger to give it a vibrating quality.

* On a related note, the pitch you play is a continuous quality: you can slide from one note to the other and hit all the notes in between. Unlike a piano (and MIDI), where notes are discrete pitches.

* You can also adjust tuning of the strings (though not on the fly), or damper them with a mute (which can be done during a long rest in a piece).

There's probably a few more expressive techniques I've forgotten, and I've definitely forgotten all of the fancy Italian names for these techniques.

You can look at the violin sections of Saint-Saëns' Danse Macabre (https://www.youtube.com/watch?v=71fZhMXlGT4) to see how different bowing techniques can produce rather stark effects.
I don't think so, section 230 is only about the platform being on the legal hook for something that's posted.
Pretty good write-up. Currently I commonly use nomad for deployment and management of (docker based) infrastructure, using docker-compose for local development. I'll have to take a closer look to terraform and packer to see how much I like them as alternatives.
I think you're comparing tesla global sales to gm us sales. gm global sales are about 8M/year
With my Anglo/American breakfast habits I was kind of shocked that traditional Japanese breakfast includes a full range of fish, rice, soup, salad and more or less anything else normally eaten. I probably feel as strongly about breakfast being mild or sweet flavors as Italians do for cappuccino after 11 and for no better reason.
When I'm looking to hire a software developer, I would personally would rather hire someone who can write well-structured and maintainable code, can describe a system architecture they worked on in a way that is accessible to people not familiar with the domain space, and is able to say "I don't know that, but I know how to Google it".

Now, if I'm hiring a sysop / devop / security engineer, it's going to be differently focused to some extent, but the same principles apply - core knowledge, communication, humility, ability to research.
This type of PR changes after Tim Cook took over. I think the change of PR personnel and direction were to blame.