skysight-inc/HackerNews huggingface dataset:
Curious, I was under the impression that ctags offers a 'jump to definition' functionality, but little more. (i.e., 'find all references' isn't supported).

Is that correct? Do you use if for functionality beyond the 'jump to definition/jump back to previous context'?
Maria Stepanova, one of Russia's greatest living poets, comes to America
I guess, we should expect a version of Discord built by Microsoft, integrated into Xbox and Minecraft.
But why shouldn't you be able to take your losses at the end of the year if you so choose?

It makes no sense.
It sends a list of running programs, including the command line arguments to the server. It's worrying because although it's bad practice some programs get passed credentials like this.

With regards to Discord's invasion of privacy as a whole, I'm not sure if it's malice or incompetence.
Recently I learned that it is Gcc policy to reject fixes for optimization regressions anywhere but in trunk releases.

So, a regression seen in Gcc 9 and 10, where a switch statement is no longer converted, where possible, to a single instruction, was fixed in Gcc 11 before its release, but is permanently enshrined in Gcc 9.x and 10.x, for all x for all time. The person who had introduced the regression argued against fixing it.

I don't know what optimizer regressions are permanently enshrined in Gcc 11. I also don't know Clang's policy.
I suppose everybody here should always preface their comment with IMO...

Good thing that if you don't like the way Windows 10 looks, you can easily change it. Other than that, functionally, everything just works and I'd challenge you to say what doesn't.
Where are they going to go? It’s the only decently monetized platform.
How do these devices connect to the Internet? Do they have a built-in SIM? I'm not sure what they piggyback off of technologically that gets around having to pay some small SIM subscription.
> When people ask, "Why hasn't someone disrupted YouTube?" I think the more boring answer that keeps getting overlooked is that it still meets the expectations of enough users, and the dissatisfied constitute a small percentage.

I've seen a couple of attempts come and go. The ones
that wrote a post-mortem after closing often emphasised
how many resources—human, software, and hardware—video
hosting websites consume. Not even because of the storage
or the reencoding, but the sheer amount of bandwidth
one needs to run such things globally. And it won't
get profitable until a few years later, if ever.
The goog is simply one of the few companies
that can actually afford doing that.

I personally have been glad that alternatives like
Nebula[1] are popping up still. Even if their model
is different.

[1]: https://watchnebula.com/
The point that often these services advertise on basis of resiliency is a fair one and I agree with what I think I'm reading into your conclusion which, if correctly understood, is that by increasing the number of dependencies in our systems we're exposing ourself to a compounding amount of downtime. And I'd assume we'd agree that generally we should architect towards fewer points of failure?

My reaction was more against the performative "haha, foolish n00b developers didn't build their system to use both Lambdas and Google Cloud and then failover to a data center on the North Pole like me, the superior genius that I am" that oftentimes appears in threads about downtime.

We could all do with a bit more "there but for the grace of god" attitude during these incidents while still learning lessons from them.
edited: Pointed out elsewhere it does note 16GB configurable.
Beezer Golf – The most flexible golf scorecard
Looks like Pulimi, unlike terraform, doesn't provide a means of locking for concurrent access if you use the self-managed state.
Alphabet does. Most of their services run at a loss but they make so much from ad revenue it doesn’t matter.
For what it's worth, TSL is a great source-available/restrictive-for-clouds license in my opinion, and I'm glad Timescale went the direction of moving from a more restrictive license to a more permissive license rather than the other way around.

While AGPL is a value-add for many, TSL isn't as ambiguous in some regards and provides a lot of nice "we won't sue you for this" clauses for users. Clear communication regarding its FOSS status will only help!
Sabine Hossenfelder: All You Need to Know about Elon Musk’s Carbon Capture Prize
I am kind of with Facebook on this one, if you didn't want your phone scraped you shouldn't have plastered it on the internet next to your name.
Sure, but there might be out-of-band reasons for users to not do that.

For instance, grsecurity will sell you a security-hardening-patched Linux kernel. You, as the user/customer, have the right to take those GPL patches, and share them publicly. But if you do so, grsecurity will blacklist you as a customer, and you won't be able to get any more patches from them.
Apple has been in a Samsung catch up mode for years now.
> why does a few hours of downtime ultimately matter

I think people know this implicitly, but it's good to think about it explicitly. Does downtime matter, and how much is acceptable should be a question every system has decided on. Because ultimately uptime cost money, and many who are complaining about this outage are likely not paying anywhere near what it would cost to truly deliver 5+x9s or Space Shuttle level code quality.
No, screw that. 99% of people who get updated address via USPS are illegitimate.

If they think they're doing me a service, they're not.

Specialist doctors can just e-mail me. This is 2021. My physical address has changed at least 8 times in the past 2 decades. My e-mail address hasn't changed in that whole time.

I don't subscribe to magazines, and even if I did, you'd be sure as hell that I would update my address if I was paying for something.
The anti-stalking warning is only triggered if the airtag isn’t near the owner.
Whaaaaat... bs
It will be out with dotnet 6 later this year.
The First Annual Montgomery Burns Award for Outstanding Achievement in the Field of Excellence was comedy, not a suggestion.
tmpfile isn't guaranteed by Linux kernel. It's POSIX and POSIX is userspace layer with elements of it (like IPC and IO) implemented in kernel for efficiency resons.
Using Pulumi for about 1 year to manage gcp and AWS environments (5+) - each deployment is around 500 resources. At the begining it was buggy but when they started to add typing i see a lot of improvment.
Don't worry, Youtube is set to remove the dislike buttons.
2020 Police Brutality Data Sites Gallery
> ‘ Research from Oxford, Stanford and Berkeley has found that 85% of nature-based carbon offsets sold today are not “additional”’

I was imagining that this would be the case. I was reading about pine farms being paid to halt harvesting. My very first thought was “I wonder if it makes sense to buy forested land to make a profit.” Clearly other people have already thought the same thing.
Yes, it can be very difficult.

But for it to be a multi-year process, it has to be an exceptional situation. Often involving court battles, unions, etc... In practice, most employees don't want to stay in a company where they are unwanted, they may try to negotiate a bonus but rarely fight to the bitter end. But sometimes, it happens, and it is one of the things small employers fear the most.

Getting fired can actually be a good deal for the employee because he will get unemployment benefits after that, whereas if you quit, you won't.

But generally, you are right by saying that in France having an employee is a big commitment for a company, plus, large companies often have unions.
I've read 10 or 20 books on trading and investing and never heard it explained like this. Thanks.
> I kinda thought the whole idea behind open source is that no one company or group of companies/licensees gets privileged access to or control over the software, including any company that happens to have the same name as the piece of software.

That is not, at all, the idea behind open source. The idea behind open source is, basically, 'you are free to do whatever you like with the source code, as long as you credit us for our work and don't hold us responsible for any effects of using the work'. That's it. There is nothing about companies, corporations, licensees, who has control, who has what name, etc. All of that is irrelevant to open source at its core.

It's true that many people add on an open governance model (e.g. Rust) and mistakenly think that that is part of open source. It's not though.
The problem is that the "small guy" is held to a high standard that the "big guy" isn't held to. If AWS shits itself for a day nothing will happen, if your small SaaS goes down for an hour you'll lose customers and people will yell at you.

And more importantly, if YOU try to use something "not big" and it goes down, it's on YOU - but if you're using Azure and it goes down, it's "what happens".
> "Data dominates. If you've chosen the right data structures and organized things well, the algorithms will almost always be self-evident. Data structures, not algorithms, are central to programming." ~ Rob Pike
All of them work with the MS-specific protocol, but only some work with Bluetooth. The top of the controllers look different https://i.imgur.com/i9490os.png
You write classes? What is this, 2005?

Joking aside, I do write SQL statements (or use a query builder, which is not the same as an ORM).

I don't "turn the response into classes by hand in every app I write" however, because the responses are perfectly usable as they are (in a more functional style), and OO is not the best way to model records anyway.

I know Ruby and Python have ORMs, ActiveRecord, SQLAlchemy and so on. They're not really needed. Heck, I've read authors of ORMs saying you don't really need one...
Blocking competition among providers of your app as a service is a burden for users. Users would benefit from being allowed to use the provider which best meets their needs, rather than being forced to use the provider who happens to be allied with the copyright owner.

AGPL tries to ensure that third-party providers are at least sharing their development efforts to the same extent that those efforts were shared with them. AGPL doesn't try to give anyone an unfair advantage at providing the software as a service, not even the copyright owner.
I think you're underestimating the scope of the impact and just how vital software is in the modern world. It's not just that people can't login to a system, it's that they simply can't get their work done, and some of that work is really very time sensitive and important. Auth0 is depended on by hundreds of thousands of companies. Tens of millions of people will have been impacted by this outage today.
Will offer some data points from Spotify's Investor Relations [1] that add some additional color to the anecdotes from previous comments:

- Total MAUs grew 27% Y/Y to 345 million in the quarter (...) Based on the behavior we see when users first join Spotify, we are confident that podcast usage has been a factor in the accelerated net additions.

- The strength in Ad-Supported revenue was led by our Podcast, Direct, and Ad Studio channels, with Podcast and Ad Studio both growing over 100% on a Y/Y basis. Podcast performance benefited from strong underlying demand from advertisers with a 50% increase in the number of companies spending in this channel vs. Q3

- As of Q4, we had 2.2 million podcasts on the platform (up from more than 1.9 million podcasts in Q3). Of note, 25% of our Total MAUs engaged with podcast content in Q4 (up from 22% of MAUs in Q3 2020

So the short answer is that podcasts help increase usage of the platform (and with better margins than music, probably due to copyright and leverage of artists vs. content creators)

[1] https://investors.spotify.com/financials/default.aspx
> The thing with memory bugs is that you need another bug for Sandbox to fully exploit the browser.

The quote was Around 70% of our high severity security bugs are memory unsafety problems. Doesn't sound like sandboxing is effective there.

> Here is a real world logical exploit that knock sandbox and Rust won't prevent this stuff,

I'm not sure I see your point here. No one is arguing that Safe Rust makes all logic bugs go away. It's not a formal methods framework, it's a safe programming language. If Chromium had been written in Safe Rust (assuming that's practical), presumably at least 70% of its high-severity security bugs would have been avoided.

You're right that they still wouldn't have perfection. The only shot at perfect security is through formal methods, following SeL4, but as things stand, formal methods cannot scale to a problem as large as a modern web browser. Sadly, even TLS is beyond what we can implement with formal methods.
Yeah, and running a business on my own computer by providing API services to someone is not distribution of software. Running an API business shouldn't force me to distribute anything to anyone.
This is Xamarin forms with a new name.
I thought the "Bionic" referred only to the a12x or a12z variants. It makes sense as a place to put their unused stock left over from their old ipad lineup and as a way to get those "console" graphics.
I agree with this sentiment. Though there is of course a bit of a problem when you're dealing with people who don't.

I'd also highlight that when the big players go down people 'know' it's not your fault, when a small 3rd party provider goes down taking part of your service with it it's 'because you didn't do due diligence' or were trying to save a buck. Similar in a way to the anachronism 'no one got fired for buying IBM'
Or, you know, just buy a cheap mobile phone and use any one of the number of existing android tracking apps.
Not to be confused with the anterior and kirigami-based https://mauikit.org/
No point in the post. I get horribly anxious when my food delivery takes just a little bit more than the estimated time, which is already in the 40 minute range, so pretty low. Then after I eat, I think about how spoiled I am by society, and how crazy it is that from the moment the impulse leaves my brain, it takes less than an hour for me to get whatever food I want...
But we're talking about Mac's, these are all design to be svelte. The Air has passive cooling, the rest have minimal cooling.
They launch the Remote app on their phone, select the TV from the local network (if you don't banish them to a guest network), and pair with the code, same as you adding your phone.
I've been a latecomer to the 'history of *' podcast genre. Recently been working through Revolutions. Antennapod lets you sort a podcast's episodes chronologically, reverse-chronologically, alphabetically, etc.
I'm pretty sure they do less "entertainment" than the average user.
If I understand this correctly, the law would prohibit Amazon from selling their own brands on their marketplace and they'd have to split AWS into a separate company within a year.
You are dragging anti-corporate ideology into a very simple matter.

Corporations are sometimes users, and individual people often benefit from denying access to the source code of software that is used to provide a service.

Providing a service is fundamentally different from providing software.
I still don't think I'll ever use something other than this: https://formidable.com/blog/2021/stores-no-context-api/.

Literally as simple as it gets.
Use a UPS box for billing addresses. Don't register to vote until THEY commit to stop handing out addresses. Or register to vote without your address. That should be possible. Homeless people can register to vote, so I should be able to as well.
It is 30 YouTube engineers testing if the upvote button still works on the video after receiving tickets from upper management saying that “it can’t be that this video doesn’t have thousands of upvotes”.
But assembly is unavoidable.

for the guaranteeing const execution time aspects.
More or less any language compiled by LLVM, GCC or similar optimizing compilers can't do so. (And even wrt. assembly the cpus could do optimizations which also brake this but it's less likely).

Same is true for any language using a JIT with optimizations like e.g. Java, JavaScript, C#, etc.

Practically the degree of how much compilers could mess up const execution time guarantes is language dependent but for many languages especially including such using compilers created for C/C++ basically you have no useful guarantees.

At best you can create some code which just with the current version happen to not be optimized in a bad way. But this means you will have to review the produced assemply code and do it again and again every time the compiler (or just surrounding code) changes... To make it worse the high level code is force to use all kind of tricks to prevent the compiler from doing certain optimizations, which often obfuscate the intent of the code.

So all in all having a small very well reviewed set of assembly snippets for the core primitives the the easier to review and more reliable way in many cases.
(Note that "a small set" means that just a few primitives are assembly only, not all the crypto, which normally is good enough).

Through best would be to have some language which focuses on both making it reasonable to implement such
primitives in a more high level language and has tooling for proving code correctness and also code-to-assembly transformation correctness (e.g. see what SeL4 did wrt. proving assembly).
>No, turning a wilderness into viable farmland is not urbanization.

I'm 90% with you, but we need to be clear that this is not true for the way in which much of the West was settled. It was often not wilderness, but instead land watched over by Native American communities who practiced varying forms of regenerative agriculture, who had only recently been wiped out by disease or war, if they weren't still there. It was settled not by experts looking to "tame the wilderness", but largely by immigrants who were hurried, by job scarcity and discrimination, out of the East Coast and into the interior. They were extremely lucky that the land had essentially been prepared for their monocultures by generations of NA stewardship - people the government was more than happy to enable the displacement and genocide of. (And the Dust Bowl STILL happened.)

That said, after several generations of like stewardship and occupation, I favor those residents and their right to remain over new residents looking to take advantage of arbitrage opportunities. What we absolutely need is more respect for the positive aspects of long-lived communities so that we don't trample and dismantle them so casually. It may not be wholly just that the world isn't one's oyster, but as a black person who has to deal with unfortunate and continued existence of sundown towns, the reality that some places are off-limits until the locals have fixed their own issues is one that should be respected. If the lock isn't level you're just going to open the floodgates of trouble.
On its way? [0] Not sure how to tell if / when this PR makes it into 3.0

[0] https://github.com/pulumi/pulumi/pull/2697
Not for a device that rarely operates even close to its performance constraints. If you're using it for games? Sure, but I think that's still a very... let's call it "niche" market for the Apple TV. For people just using it to watch television and movies? Unnoticeable.

It'll likely be more power efficient but I'm not sure that's going to be very noticeable.
This short article is somewhat misleading on Facebook's position. They are against scraping. Not on behalf of users but on behalf of mass user data collecters, what it calls "the industry", like itself. That is why they engage is "anti-scraping". That is also why LinkedIn has tried to sue others for scraping LinkedIn public data.

Facebook does not want the public, outside of "the industry", to have the same public data that Facebook has collected. If everyone can potentially have the same data Facebook has, data collection potentially becomes democratised and the world does not need Facebook nor "the industry" anymore. These advertising services companies no longer have any special value.

The problem with Facebook, and "the industry", is data collection, not lack of "anti-scraping" competence. Once the sensitive data is collected by private industry on a massive scale, then liability is created. The data is not any safer than if a government had collected it. In some jurisdictions it is less safe, because there are restrictions on this type of activity by government that do not apply to companies. This liability is why some people take the position that the data collection Google or Facebook does to further its "business" is neither harmless nor "acceptable".

Facebook is framing this liability problem as one of "scraping", not collection. It is not trying to further the interests of users but instead to further its own interests. Facebook wants the courts and regulatory authorities to see mass quantities of public data about internet users as Facebook's semi-exclusive asset, to be protected as if it was "private" data. Facebook is arguing mass public data "leaks" are not acceptable and that's why "the industry" must step up its "anti-scraping" measures.

However "scraping" the internet for public data is not the problem, it is only a symptom. Massive data collection initiated by these companies about internet users, for the purpose of selling advertising services, is the problem.
Discord is starting to be a really interesting merger of non-work and work spaces, and their continued independence will allow them to lean into that. There are very few other platforms that encourage you to use a single account to join servers for work and gaming and anime and music? And users trust that Discord will allow them to keep their membership in spaces a secret unless someone is already a member of both spaces. That's a feat that's almost impossible to fathom. The interest graph alone is staggeringly valuable, and it's no doubt monetizable in subtle and trust-maintaining ways.

And... some of it may be toxic to a company like Microsoft. The moment Discord needs to start censoring across platforms (not just blocking iOS access to certain content as they've needed to do to play in Apple's garden) is the moment it starts to feel unsafe for content creation. I'm not surprised they walked away.

I'd be remiss if I didn't point out that the implementation of this is imperfect, and possibly endangering people in real life. If anyone from Discord is reading this:

- not letting people opt-in to be prompted to set a username before entering a server and having a bot announce our membership, and

- not letting people set unique profile pictures for each server

creates situations where one could either leak a real-world identity to a server on which they desire anonymity, or leak a pseudonymous online identity to coworkers.

And this gets REALLY bad for people using Discord to explore their gender identity, where this could cause a profile picture or name that indicates identity to leak between spaces when that's not desired. I've met people who need to be incredibly careful to create multiple Discord accounts to avoid being outed, and Discord makes it incredibly difficult if not impossible to do this, with its deep browser integrations that forward to the native app. It is no joke that Discord's UX choices could hurt people, here.

But it speaks to the strength of the platform that Discord is still an incredibly vibrant place for communities like gender-questioning communities that rely on pseudonymous identities. Because it puts natural conversations at people's fingertips. It was Clubhouse before Clubhouse, just divided into communities of like-minded people. In certain ways it's the superposition of Clubhouse and Slack. And the UX problems are solvable problems. I think Discord is really going places.