skysight-inc/HackerNews huggingface dataset:
Good point. The podcasts I support via Patreon mostly provide a premium feed with with the sponsor-spots edited out. This seems like a good idea for YouTube Premium to get creators to do; it'd make me much more likely to actually pay for Premium.

As it is, it youtube-dl everything to my Pi and play it through Kodi on my TV, so the regular ads never reach me anyway.
If you live with a partner and a daughter, you're not socially isolated.

I really get a strong feeling that a lot of people who do not live alone, have no idea what others who live alone actually went through (during lockdown / quarantine). It's hard to explain, it's like being lost at sea, maybe. My mind just started blanking all the time
Greg Glassman, CEO of CrossFit, Steps Down After Racially Heated Call
> I've worked for 10 years across 20 different commercial codebases. None of this stuff about writing good commit messages really matters. No one reads old commits. The "truth" is what the current code is doing and it doesn't really matter how it got there.

> I'm sure someone will say "but I use the history ALL THE TIME to source dive and paragraphs of context are super helpful". This is not the case for 95% of developers or projects so I can't really endorse spending time learning this "best practice".

> It's fine to be aspirational, but it's such a shame if people see posts like this and think they are failures or "bad" developers or that this is a widespread practice.

I'm that person who's often digging into the history.

It's often to understand other things that the people writing poor messages were sloppy about.

So sure, focus more on writing good code than writing good messages but the truth is that the context of the code and the feature will change over time so preserving the original context you had in your head when you wrote it is super valuable when the next poor sap has to come along a year later and change it.
I usually don’t submit social/political articles, but there is such a confluence of issues here that the importance of this reaches far. For example, the use of technology (organized Twitter mobs, etc.) by the trans movement in a concerted effort to subvert science.
I'd rather live in a world with a few people wasting wealth on frivolous hobbies than in a world with judgy busybodies scrutinizing my personal expenses.
You're misunderstanding my idea. Don't think "C ABI with higher-level types and objects", think "HTTP with more structure".
It's just a "jet" at this point, there's nothing "fighter" about it anymore.
> On most streaming devices, OANN offers a stand-alone app that allows users to subscribe to its online news channel for $5 per month. This app is available on Roku along with Apple TV, Amazon Fire TV devices, and Android TV devices, and users would most likely have to search for it by name. By comparison, The Roku Channel puts OAN’s content in front of millions of users, whether they’re looking for it or not.

>The Roku Channel isn’t some minor feature, either. The company has touted the app as a centerpiece of its advertising b, which brought in $740 million last year.

I assume OAN is paying for placement. I cant seem to find how much from quick searching, but this seems to be just companies chasing revenue.
Ah, then I misunderstood. Thanks for clearing up
Sweet! Here's my homelab - https://i.imgur.com/QS0o4ni.jpg - I should self host an about page, too.

- Netgear Cable modem

- Edgerouter ER4

- 8-port POE Edgeswitch, powers the nanoHD AP in my hallway and acts as the backbone of the network.

- Raspberry Pi 3 as a dedicated pihole DNS server

- TPLink 16 port switch serves all the 'lab' gear.

- 2x R720's. One is off, the other is a VMWare ESXi host.

- ESXi is pretty light at the moment - running Unifi controller and a dedicated VM that just runs Elasticsearch for a side project. For a while I was heavily using it to simulate an AD deployment for a small business.

- Synology DS918 is a network drive and network time machine backup destination. It backs itself up to Backblaze nightly.

- Everything is on a simple Cyberpower 1500VA UPS. I can run everything for about 80 minutes without power, but if I shut down the R720 the runway gets much longer.

I got my start in about 2003-2004 by trying to run my own mini ISP out of my home during High School. I was doing everything over a residential DSL connection that only got 1.5mbit down and a fraction of that for upload.

I still remember asking my bud to help me 'test my mail server' which was a Qmail installation via the Qmail rocks guide. The machine was a Pentium 3 with 128mb of RAM. My bud Anand (Founder of Gyrosco.pe) sent a handful of test emails to it and brought it to its knees! Absolutely hilarious incident at the time.

I wish that I had more photos of that time in my life.
Seems to fixed already. If I include the trailing dot I get redirected to the youtube homepage.
I'm familiar with compatibilism of course. By your definition of free will I would also be considered a compatibilist to you. I'm not arguing that. I'm saying that the different definition of free will (the more stringent / nearly logically impossible one you are writing) still has value in discussion because philosophers argue for it (including some of those compatibilists I'm sure) and that definition has meaning in relation to determinism and the resulting ethics of how we use agency/choice/your definition of free will. You can't erase other conceptions of free will because you believe in one, and I've tried to capture that with the "formal" and "practical" labels, admittedly needing work.

I think we're both on the same page on the definitional problem of free will, but I don't see how/why you are minimizing all other definitions.
Take a look at polytope. Edges are easier to hit than corners. If you start in a random place and move in any direction, you will eventually hit an edge. But you might never hit a corner.
Hm on this page it has something written in an eastern language under YOLO, https://github.com/ultralytics says Madrid, Spain, but then they say "Ultralytics is a U.S.-based particle physics and AI startup"
Mirror archive.org and brag on r/datahoarders
While one of the most famous things about Singapore, the law was introduced in the 90s to prevent vandalism of the then new metro system. Since 2004 pharmacists and dentists have been allowed to sell gum, including standard and sugar free gum. I can’t find verification: has anyone actually gone to prison for selling gum in Singapore?
I think they only get reordered if you click the dock icon or some such, right? If I'm just swiping between apps to switch, the order is consistent. I'm also constantly re-ordering them myself in Exposé depending on which set of apps I need to focus on.
It only shoots the big core in the foot for things that would make meaningful use of the extensions present on the big cores but not on the little ones. Which in a 7w application is what, exactly?
Trampoline-based synth built with Bela and Pure Data (with code)
Its kind of an apples and oranges comparison, isn't it? If you care about failure modes and head of line blocking then HTTP/3 has features HTTP/2 does not.
Or your mobile device…
I suppose that is a part of the human understanding of neural networks. When you take out the human perspective of humans, we do pretty much the same thing.
I’m not sure what your point is—the internet always had wider applicability than war.

Anyway, that neglects the point that both a MiG and military investment have piss-poor returns and you might as well burn the cash. Like how hard is it to invest in the people around you? What goes wrong in your life where you spend on a fucking MiG rather than feeding people? It’s sociopathic behavior.
Love it! Thanks!!
I have seen filtering of only http, but not https. https://facebook.com was accessible, for example. But that was back when https wasn't omnipresent, either.
A lot of life is determined by the number of uncomfortable conversations you are willing to have, one way or the other.
A comprehensive encyclopedia is never complete.
newpie is excellent, I switched last year and never looked back. It offers exactly the features, that I as a user want. It made me realize afterwards in how many ways the official app is lacking.
It's surprising to me - 300+ level courses were part of my undergrad required coursework - of course I wasn't studying at Stanford. Are course numbers standardized across academia or unique to an institution?
> I spent more time creating TikZ diagrams than actually writing my whole MSc. thesis.

Isn't this the primary problem with TikZ? It makes you do all the time consuming layout stuff by hand. With Graphviz you just chuck your data at it and get results instantly. Sure it won't be eye-optimized, but it also didn't require work on your part, nor will it require more work on your part when your data changes.
Former UK scientific advisor: 'Earlier lockdown would have halved death toll'
Won't be BIG anymore if it's gimped, will it?
Tiny tip: the 's' in 'changes' is the fiftieth character in the top commented out instruction line git puts immediately below your commit message.
As a casual Wikipedia editor, I enjoy using the visual editor :(
In a sense, yes, the engine is too good. If you continue this trend, eventually nobody will have a reason to leave Google because anytime you search for anything Google will have the answer to everything.

Sure, it's convenient but it's also a bit frightening for one company to have that much power and I think that's what people are a little hesitant about.
You're starting to contradict yourself a bit, I think.

Will I disagree that good test suites or well factored code or systems docs are more important than commit messages? No.

However... most projects do not have those things and most developers on those projects are in a "I don't know what I'm missing" sorta state where they don't bother adding them. Exactly like you point out for good commit messages.

So if 95% of projects have inconsistent and incomplete test suites, never-refactored spaghetti code, and almost no system docs, that doesn't mean we should tell people not to try to do those things. In the same way that the existence of poor commit messages doesn't mean we shouldn't try harder.

The nice thing about commit messages, being a small and simple thing, is that it would be much easier for someone to learn how to write good commit messages overnight than to learn how to write a good test suite, or to refactor their code.
More RAM and USB-C and will 100% purchase
Analytics dashboard for todays most hyped defi platform aaveaave
They also forgot Japan and Italy existed back then.
Can you try it in a private window?
Yes, I guess nothing is ever that simple. But the fact that you are able to have a dialogue about this shows that leftist nomenclature can lead to understanding in the same way as any other nomenclature, which is the understanding that's developed in a back and forth dialogue about a subject. Maybe if the OP had declared their belief as an unquestionable religious dogma (as many people do with their political opinions), there would be grounds to criticize them, but they didn't.
I thought so too, now I believe that it was sheer naivety. If anything, the realization that education matters is the last thing they come to because this is not their task. Pumping resources out while maintaining the belief of being competitive is what all this government was doing all the time. Take a look at the yearly budget, you don't need to go too far. And it was like this since I remember. Nothing changed in the colony except the managers.
I'll take this further: I think that bad commit messages breed resentment. It's highly context dependent, but needing to understand some code and its historical context is already a big challenge. git-blaming your way back through time only to encounter brain dump commit messages full of ambiguity and non-essential information is excruciating. Writing good commit messages--like any technical writing--is more art than procedure, and it's hard to do well without feedback and revision. I believe that commit messages should be subject to the same level of review as the code they are presumably documenting.
He doesn't say so precisely but like many invocations of this phrase it probably means something closer to "people not part of the intelligentsia / chattering classes." Of which it appears he would not be one of these normal persons.
I should note that in general, decomposing things into multiple shell utilities is something I'm a huge proponent of, and assuming redo does it well that's really cool!

That said, I don't think "depending on system headers" is somewhere make is lacking. The -M argument to gcc or clang gives you a well formatted Makefile which includes system headers. You have to explicitly ask they be excluded (-MM) if that's what you want (which it was often enough for the option to be added, it seems).
You don't have to see ads to not want to visit places that inundate others with them. Also, having an ad blocker should not give you the false impression that you aren't seeing ads on the web.
There is a Firefox extensions that aims to solve that problem[1].

[1] https://addons.mozilla.org/en-US/firefox/addon/sponsorblock/

Edit: Chrome Version: https://chrome.google.com/webstore/detail/sponsorblock-for-y...
Would you add a full stop in an email subject? I think of commit messages like an email. The first line is just the subject and sometimes that is all you need. The body of the commit message is for describing other details.

edit: Another blog has a simple reason https://chris.beams.io/posts/git-commit/

> 4. Do not end the subject line with a period

> Trailing punctuation is unnecessary in subject lines. Besides, space is precious when you’re trying to keep them to 50 chars or less.
The new version of nushell, a modern shell written in Rust
You know pair-programming?

Find a less knowledgable person and do pair-documentation-writing, guided by their questions and confusion.
Octavia E. Butler on racism (2001)
It's really not that much time though. "templates" and ".github" are examples of such vague commit messages that they _require_ looking at the commit to understand what changed. With a short, descriptive commit message, you can just glance through the commit log.
Why are you here instead of out volunteering. Why are you using a computer when it could be sold to feed people.

I have a feeling you're starting to break the rules of this site. I'm not going to bother replying anymore.
And probably people who haven't used anything else, so they have no frame of reference to compare it to, which they would need to realize how terribly and unnecessarily bad it actually is.
So it's essentially a cruise missile with a long active time and datalink based terminal guidance?
This doesn't conflict with my pre-existing idea of Burger King, though it might be a difference between Burger King and Whataburger.
Heh, and I was about to mention TuneIn radio. I have been using it from 2013 to 2016. Then I switched to Spotify (premium) because I got tired of the ads in the radio stations.
When was the last time that a commodity mobile phone soc was even remotely competitive with Apple's latest? 2012? That seems like rather strong evidence against your theory.
Is there a similar project for iOS?
In short, the problem is that it's divisive as well as pointless. If I tell you to follow one of the world's "golden rules" (e.g., Treat others as you would wish to be treated.), you will tend to remember that we are all walking through the world carrying our unique burdens, and will perhaps remember that when dealing with your fellow man.

If I provide a list of specific categories, you will tend to think not of the unity of humanity, but of a specific set of historic problems, and tend to rank those you're talking to in terms of those sets. As we're seeing in contemporary culture, this generally makes things worse, not better.
This is a very insightful comment. I wonder if artificial intelligence can learn anything on how the development of the brain from a child to an adult functions, by actually pruning connections as well as creating/reinforcing new ones.

Well, that's what partly machine learning already does, right? :)
The whole paragraph is awful:

> These “equity engineers,” as I’ll call them by one of their goals, cashing out, might have studied computer science in order to solve problems, or to live a good life. It would be a caricature to say that these archetypes don’t care at all for politics, but their radicalism tends to be an inward-facing one, lured by technolibertarian fetishes such as blockchain. For this group, technology is politics, and seeing the two at odds becomes incoherent.

It says that it's explicitly avoiding a caricature, but these people who just want to be paid to do work are still radicalized, technolibertarian fetishists for whom technology is politics.

I hate this view of silicon valley and tech workers as characters you'd expect to see in a cyberpunk story, rather than, like, normal people who happen to live in the bay area and work with computers, or even alongside people who work with computers. Instead everyone has to be radicalized in some direction or another. If they don't appear to be radicalized, then "their radicalism [must] be an inward-facing one." That's not a caricature?
The OS could still intercept CPUID - this is, after all, what VMs do.

But it looks like Intel is doing this anyway, as Sunny Cove in this application has had its AVX-512 removed anyway: "One thing we can confirm in advance – the Sunny Cove does not appear to be AVX-512 enabled."
Author here. I agree; the trouble is "sound off on a random HackerNews thread that may or may not even be created in the first place" is a bit more hit-or-miss.
This is also the experience I've had with PIPs, "performance" reviews and promotions at large companies. Also incompetent but well connected people are some of the most likely to be promoted into management.
> Design is how well a particular solution works for the purpose of it

That's one half. The other one is how people feel while using it. 1985 aesthetic makes people feel bad. Thus design is half bad. Or, for you maybe, half good.
> The problem is that would "disincentivize engagement" and no one would ever offer such a thing.

It's actually a slightly different problem.

Advertisers want the people who are willing to pay for stuff.

If the advertiser pays $0.03 to show you the ad and you could get out of watching it by paying the same amount, the only people watching the ad would be the most aggressive of cheapskates who never buy anything. Nobody wants to advertise to them, so there would be no point in even trying to sell advertising. But that's not even the problem.

The problem is in order to collect $0.03 you would need a functioning micropayments system that both doesn't charge prohibitively high transaction costs and doesn't invade everybody's privacy by de facto giving the bank your browsing history.
Makes sense that they'd use relative to / urls, no? Otherwise how could you handle youtu.be versus youtube.com versus...
In the Go community, there is a significant portion of libraries and development from China. When visiting the Github's Trending page for Go, sometimes I need to filter by written language because everything is in Chinese.
Free private phone service for teachers and other essential community workers
NVIDIA had a much funnier (infuriating) one, where Tegra X1 had caches between the big and little cores that weren't always coherent. Their solution was to just turn off the little cores while continuing to spew marketing bullshit about it being an 8-core chipset.
Thank you very much for this great interface to online terrestrial radio!
This also works to bypass the NYT paywall.
Would each new local customer be given 10gig symmetric, or does your loop get 10gig total and your price drops based on # of people on it?

Most people want conferencing that doesn't suck, so that they can Zoom/FaceTime/LTE-over-WiFi/Landline-over-VoIP without having Netflix interrupt their call. But I have that solved on a 50mbit down / 5mbit up connection by using an anti-bufferbloat NAT shaper (Eero SQM, or IQrouter, or homebuilt can all do this).

So if you said "this fiber internet ensures that your calls will stop being interrupted by netflix", that might be a great selling point for people who've experienced this problem on their current Internet, without having to discuss bufferbloat in any significant detail.

(Note that you can still have fairness issues with the wireless router, independent of bufferbloat upstream of it — the above-listed devices apply their fairness stuff not only to the WAN uplink but also to the WiFi downlinks — so 10gbit fiber isn't a complete solution, but it's certainly 95% of the way there.)
> Sleeping is the only thing I spend more time doing.

I envy your work-life balance %)
Climate science models are as inaccurate as corona virus models and for the same reasons.
Are the police legally allowed to assault protesters "with a deadly weapon"? Otherwise, it seems like a countersuit would be in order. "Police claim they were assaulted, therefore they admit to assaulting us."
It isn't "moving the goalposts". GP was correct about there being a hard cap at 160k (including the geo we are discussing in this thread). You found an exception to that cap, likely due to it including geos other than the one being discussed here, and I explained to you why that might be.

The point of the entire thread is that "Glassdoor says this person makes 170k" is misleading because Amazon is unique with these salary caps. Even executives do not make higher than 160k (or 185k in SF) salary, so looking at that number on Glassdoor or levels.fyi doesn't tell you much. If you are trying to determine an Amazonian's compensation (as this thread was trying to do) you need to be aware that the salary number alone is not an indicator of total compensation.

It is materially different from other FAANGs, because AFAIK other FAANGs may give high proportions of their pay in stock, but they do not have a hard cap for salary. At Google, when promoted to VP level you may still get a 10% salary bump along with your 50% stock increase. But at Amazon, after you reach $160k you will never get a salary bump again. This leads to confusion for people that aren't familiar with the stock grants because if they are comparing Google vs Amazon pay, they may go to Glassdoor see that a Senior Developer at Google makes $300k salary while an Amazon Senior Dev makes $160k, and not understand why there is such disparity.
Sarcasm is really my first language. There are dozens of us!
Obligatory comment... https://killedbygoogle.com/

Another casualty
Bypassing SWD/JTAG Lock on NRF52 MCUs
Yeah an in-place file-editing feature like Perl or sed has would make it very useful for command line use too.
You’ve given excellent explanations on this topic. It’s rare that someone writes about the meaning of the Incompleteness theorems correctly.

I think it’s worth pointing out or adding that when talking about The Natural Numbers most people are implicitly talking about the standard model with the first order Peano axioms. There are statements in this model that are true (have no counterexample) but which can’t be proven by this set of axioms.

I think many people making claims like,

“There are true statements about The Natural Numbers that aren’t provable.”

don’t realize exactly the nuances you’ve pointed out. Assuming The Natural Numbers are consistent then all true statements are provable in some axiom system. Just take the collection of all true statements as the axiom system. Now every true statement is trivially provable.

I hope what I’ve written doesn’t muddy your excellent explanations!