skysight-inc/HackerNews huggingface dataset:
When I hear the copyright vs. AI debate, it's always centered on American copyright law, which isn't enforceable around the world (and it shouldn't be). How do you prevent AI models in Turkmenistan, for instance, from using US copyrighted works posted online to train?
I am not interested in engaging on identity politics.
Layoffs like this mean you can blame external forces like the economy rather than saying, "our projects failed".

Some of these layoffs may have been coming anyway, but not the corporate statement about them is different.
Same here.

I find 2+ hours of podcasts episodes way to long to listen.

I simply cannot find the time.

After work + learning + side projects + social life + friends and family + hobbies (both creative and consuming types), I don't have the time for 2+ hours podcast episodes.

I have found 20-30 minutes lengths as the sweet spot. Like: Darknet Diaries, History of Philosophy without Gaps, BBC in our Time Science, etc.

Shorter than that, I feel it doesn't penetrate my mind enough, like: Moments of the American Mathematical Society, Developer Tea.

Larger ones, I simply can't fit into my day: Huberman Lab podcast, some episodes of Lex Fridman's, etc.

I simply can't find the time.
You can also do the reverse, taking the long article to extract the facts for a toddler:

OpenAI and Microsoft are working together again, Microsoft is giving them a lot of money to help them make AI that is safe and helpful and they are excited to keep working together.
Having to use per-vendor tools for git seems more complicated than using single tool for all Git services.

I don't mind gh as an additional tool but OP's description suggests that Microsoft tries to replace git with gh entirely.
well when saying screenshot I of course figured that the idea of multiple screenshots, perhaps also with some explanatory text, would be implied, but yeah sure some photos would also be good.
Yes, and of those last 5 guests:
At least one is an infamous sexual predator who forced his female staff into non-consensual masturbation sessions.

The "researcher" mainly promote conspiracy theories about the lost city of Atlantis.
This sounds vaguely like a marketing pitch -- what's your affiliation with this project?
It's not a replacement for git. I used the github cli recently to search for all repos in a specific language, above a certain star count, no archives, & no forks; then piped it into other commands to clone, rename, and archive the repos. It's a very convenient way to interact with github features without visiting the site in a browser.
>hydrogen's big advantage -- the low cost of storing it

Hydrogen by its very nature, due to it being the smallest atom, embeds itself into the walls of its container. It will rot the metal walls you use to hold it long term.

Look up "hydrogen embrittlement"
Correct. The threat is an existential one for the nature of how people find information online and Google's ability to monetize that. Blockbuster was extremely successfully until the the entire entertainment industry was radically reimagined overnight.
If you live in a country with that volatile currency, then chances are even miserable by 1st world standards remote salary in USD is rudiculuosly higher than local market, and you are rich anyways. And it usually goes the opposite direction, i.e. local currency get cheaper over time, thus you are becoming "richier". Trust me, payments in stable convertible currency is a huge deal for many-many people outside of US
The Intrepid, Furry Explorers Who Mapped Antarctica
‘No chance’ of global heating below 1.5C but nuclear ‘promising’ Bill Gates says
> I'd be very interested in reading more about FGS and what they've been up to around UE5.

They have two subreddits: r/frostgiant, and r/stormgate (for their game). They regularly ask the community for feedback/discussion/brainstorming on some topics relevant to the gameplay (like pacing, asymmetry, monetisation, e-sports, etc), openly share their conclusions from the discussion, but unfortunately in-depth technical stuff doesn't really pop up often.

They specifically bragged about their pathfinding (apparently at least on par with StarCraft II), and the rollback netcode (which is "directly inspired" by fighting games, and apparently not a common thing for RTSs), but again, everything is scarce on technical details.

The unofficial Discord community (https://discord.gg/stormgate) has a "Yeti Tracker" channel that automatically cross-posts any comments made by FGS staff; there's also https://stormgatenexus.com (fan website) where many of the interviews are transcribed and distilled into articles.

I'm watching all of these closely, I can ping you if I see more engine-tech-heavy stuff popping up!
Been using it for a few months in Arch.. Its exactly what I was looking for.
I just went back to Spotify after trying a 6 month Apple Music trial for only 3 weeks. Apple Music is even worse. First of all they don’t support handoff between my mac and iPhone. A feature that Spotify supports a lot better. There is no way to go back to the previous song. The mac app constantly fails to resume playing a song after a short while paused. And sometimes I have to go to a song or playlist again to get it to start playing music again. Searching for song has horrible ux. I haven’t found a way to get to the playlist I’m currently on.

While spotify has its issues I’m now a lot more happy with it after trying an alternative.
Golly, are we in the extinguish phase already?
> When you get a speeding ticket, do you blame the cop, the car, the state, anyone but yourself? Or do you say "yup, I am the one behind the wheel so I am responsible"

If you admit you're the one who was behind the wheel and thus responsible, then you DEAL WITH THE PENALTY, which includes paying a fine, points on your license, potential driver's ed, etc.

These CEOs aren't facing any actual consequences here. They're just parroting the empty words "I take responsibility".

> or: We had a prod outage, I was the code reviewer. "yup, I am the one who fucked up. It's my responsibility". Doesn't mean I am going to forego salary for the next 10 years to make the company whole for the outage.

Complete red herring. I'm struggling to believe that you're arguing in good faith here, actually. You really can't see any difference between thousands of people being laid off and making a bug in a code review??
Microsoft 101--embrace, extend, extinguish. We've seen the GitHub embrace step, now we're seeing the extend part, next comes the lock in and closing off of GitHub.
Commercial 3D printers emit traces of toxic fumes, study finds (2019)
>and you can't lay a cable that long

Sure you can, and at megavolt DC levels it is _extremely_ efficient to move GW of power that way.
> Also I suspect that $150k as the mean TC of those being let go is low.

Probably not low. It's an enormous salary for a developer outside of the Valley and Spotify has plenty of employees which are not in the USA.
> there are uncountably many finite collections of symbols

Only if there are uncountably many symbols. But this is a fair point. I'll need to define what I mean by "symbol" more clearly.
Oh, I think it's way more of a marketing scam than the Patagonia thing, which I think was kind of legit. This one doesn't even sound legit, even if they do exactly what they say... which is almost nothing. they aren't even really saying they'll do anything different with regard to profit. Patagonia, I think the founder and his heirs really have given up lots of profit they could have had, immediately, to dedicate it to other causes. (I think?) Nobody's given up anything here.
Eh. Some are. Some aren't.

What does this mean?

> Write off expenses

> Influencer style business so most living expenses are written off
He didn't, hence why my comment has a question mark.
No I don't believe they do, productwise. We'll see soon enough I imagine. The thing is even though I don't think they have a moat in terms of model/product. They have a moat in terms of talent and capital. Only a few teams operate at their scale and sophistication, and it's hard to get there.

I view this as Microsoft paying for talent the same way DeepMind was initially integrated into Google, and at the same time making the bet that this space will continue to be immensely valuable and relevant going forward.

Pretty exciting times all things considered!
It's a little above the reading level for some folks and can wander into deeper discussions.
WTF!!! Same here, the playlists are now public
> I find it weird how hostile to hydrogen the "renewable energy gang" is.

Really? I usually just see the "vroom vroom gang" hyping up hydrogen as the ultimate power source for their overpowered cars, while completely ignoring the huge amount of energy needed to produce that stuff. They're glorifying Toyota for their decision to invest heavily into hydrogen cars.

I'm fine with using it as some form of storage, combined with renewable energy. Maybe even in certain applications for mobility, like trucks (which i think could be replaced by trains anyway, at least here in Europe) or other things that need plenty of power and flexibility. But not in the car of the average Joe, who just uses it to drive to our equivalent of a burger place 500 meter away.
That's because the parasocial simp herders all moved to twitch. Most podcasts were being used as friend simulators, and twitch is better at that.
I was strictly referring to the polarisation of opinions in the context of Covid vaccines. It was just a statement. (I have all my shots, covid + recommended vaccines, regular flu, etc).
I don't want to go everyday to studies, as this is not may job (although I want to have the possibility to do this when I want, which I currently can), but I need a reliable source to do this (being their actual day to day job) and read that reliable summary somewhere.
Maybe this already exists, but having ways of enforcing that only subsets of languages would be useful for their evolution. All languages have baggage and complexity starts to increase as there can be many different ways to do the same thing. The response is to create new ones as a kind of pruning effort.

If is were possible to use a language subset (C++ indigo or something like that) that only allowed a certain subset it (along with toolchain support) would help since at least new projects and libraries could strictly conform to that. Similarly old code bases could be migrated over time.
The only odd thing I am seeing is network congestion on their side. It seems the bog standard git tool is working as expected for me. I am not seeing any advertisements for a new tool.
Google is more along the lines of: Invent. Deprecate.
Stacks 2 Beta – Privacy-Conscious Project Management Solution
Or do scrum with one week sprints. If the priorities are changing daily that needs to reorganize the entire team. Maybe its not the time to do feature work.
They're right though. HN users are generally only viewed favorably by other HN users, it's a community that is dominated by reactionary pedants. I say this realizing that I too am a reactionary pedant.
I recently took a position at a small, very young tech consultancy. Our compensation and billing practices are reasonable, but somewhat ad hoc.

Can anyone offer advice or resources:
1. Common compensation structures (salary/bonus/profit sharing/etc splits)
2. Appropriate time billing practices, i.e. billing to the minute vs billing blocks of time
The Axiom of Choice is that I can have an infinite number of sets and I can "choose" a value from each of them. A choice from a set is basically what a bit is (give or take the question of probabilistic weighting of the values in the set, which is important in the finite case but can't save you in this case so it's a distraction here). Invoking the Axiom of Choice, which is only interesting in the infinite case, is injecting an infinite number of bits into the proof that uses it, as it involves an infinite number of choices.

At best the invocation has an acceptance procedure, but it does not come with a procedure for making the choice. Probably in most cases it doesn't even have an acceptance procedure, which is to say, if we were presented with the choices (or a finite subset of them, since we can't handle the infinite set) we couldn't even tell if they are "correct". So it is not the case that it's just like the primes case, which I mentioned is distinctly finite in bits even if the set is infinite in cardinality. The Axiom of Choice is an infinite (even uncountably infinite or more) number of selections with no way given of representing that in any finite manner. In many cases the Axiom of Choice is invoked when we can't even define the sets we are choosing from, if not most or all of them.

So, from my computer science, information theory point of view, proofs involving the Axiom of Choice are proceeding along nicely, finite statement here, finite statement there, finite logic done on these finite statements, everything's all nice and finite and comprehensible and then BANG an infinite number of unknownable bits are dumped on me, and then we proceed along like nothing weird has happened and do some more finite logic on finite values based on this infinite pile of unknownable bits. It is what it is, but what it is is strange. I mean, it's not news to mathematicians that it can be a bit strange, but I think this "infinite number of bits" is one of the better ways to see how strange it is.

Another way to look at it is, the AoC is generally invoked without even a theoretical decision procedure to make the choices. It just has a demonstration that such a choice exists. So it amounts to "and then god chooses a value in these sets for us in accordance to our criteria". Lowercase on purpose. A more conventional term in computer science is "oracle". Every invocation of the AoC is basically adding this mathematical entity of such incredible power that we can't determine anything about how it does its thing, or whether or not it is correct. Again. Legal. But something I think is taken more casually than I would like, and I think doing mathematics without scattering infinitely knowledgeable (if only in very constrained ways) and powerful oracles around everywhere with the same casualness as one might do a disjunction or implication in all our proofs is underrespected as a discipline within mathematics in general.
I wonder if japan has an architect industrial complex that would lobby to keep regulatory changes regular.
Many programmes on BBC Sounds have RSS feeds, you can subscribe using any podcast client.

https://www.bbc.co.uk/sounds/help/questions/features/subscri...
> If you could purchase any drug OTC at a fair price, virtually no one would be risking their life on dodgy street drugs.

I feel like this rings the same as ‘unrestricted gun availability is good for people’.
Probably, yes. I don't remember which client I tried, but that's showing as a previously installed app that's no longer on my phone.
> But the near hysteria from some corners creates more of a distraction than actually helping anything.

US media and politics in a nutshell.
Author here. I didn't have a decent Forth environment, I had a weird mess that I built myself from scratch. I ended up implementing a lot of "sophisticated" features - coroutines, cooperative multitasking, an interactive debugger - but I was never annoyed enough by the lack of locals to seriously contemplate spending the effort to build them, so I just didn't.
These “terrible people” seem to have catapulted the world into a generative AI world.

They genuinely believe they will build AGI and therefore becoming the world’s most valuable company is a natural consequence.

Whether this is possible/probable is a different story, but I think a capped profit structure makes logical sense for the company that is aiming to create AGI. Would you want this technology instead in the hands of a for profit company?
You are going to love this:

How real are real numbers?

https://arxiv.org/abs/math/0411418
NixOS-rebuild: a “new” deployment tool for NixOS
I'm not sure exactly what I was expecting (I think I was imaging it being like skydiving as the piece) but this was quite fun.
> e and pi arise in axiomatic systems we use to approximate our world. They never appear in nature.

It’s like that for all numbers, not just the fancier ones! I have never experienced a 1.
Make a lot of bookmarks and never revisit them unfortunately
I've seen this play out the consulting world which puts a much finer point on the process. There, work is all project-based. We build something for a customer and then maybe build another thing or otherwise move on to something else. There's basically no long-term value for our own business beyond unquantifiable things like reputation. When the pipeline dries up and there's not enough work to keep everyone staffed, layoffs happen. And as much as we tried to be meritocratic, being good at your job was less visible than being ok at your job while working on a valuable project. It was incumbent on managers to do emergency shuffling if they wanted to stash top performers on good projects or vice-versa, but it wasn't easy.
Understand 2x, I was also looking across all the jobs at spotify. There are some that go as low as 70k salary, a majority seem to be 170k+. It was just for ease of calculation. even if we take 500k that's still 0.033% of revenue -_-
Very few actually feel good about bringing their music to spotify.

Other than the very few giant artists getting the sweetheart deals with guaranteed payouts most feel like they're forced to bring their music to spotify even though they know the whole thing is just bad.
>nor people who have the time to listen to these,

What else to do at work?
I do think "guild" is a name that has a hope in hell of selling, anyways - very, you know, Game Of Thrones.
Medication helps. Lifestyle hasn't changed too much - I still have endless to-do lists, bookmarks, things I need to get to, but medication has helped me in the sense that it doesn't all feel overwhelming at every single moment, anymore. Days feel easier to manage.
Hydrogen has a lot of issues. It is hard to store. As gaseous it has terrible energy density. As liquid it needs to be stored at extreme cold, 20 Kelvin (-250C or -420F). Compare to balmy 110K for methane. It leaks out of tiny holes. Electrolyzers and fuel cells (currently) need expensive platinum group metals. Round trip efficiency is bad.

There absolutely should be research and prototypes, there I agree. But companies are already looking for massive amounts of government money for large projects.
> Interested in exactly when it becomes impractical.

Having multiple payment service providers, for example (or the plan to do so in the near future).

Another example would be complex legacy systems (especially in the travel segment, constellations between various service providers get complex quickly).

> I'm prepared to go to quite an extraordinary amount of effort to make sure PANs and cardholder data never comes near any system I am responsible for.

No objections there :)

> you can't actually handle payments without storing CC numbers.

Now you're putting up a straw man. It's definitely not impossible, but in some circumstances, it can be very hard.

Also, somebody will have to store the PANs in a database in the end, even if it's just the payment service providers themselves. There are much less payment service providers than merchants out there, but by the same logic, that makes them a much more valuable goal for attackers.
> The OP's argument seems to be just that you cannot always construct a choice function.

No, the argument is that if you cannot describe the choice then you have a problem. My argument does not assume anything about the choice function, it's merely an informal observation about its output.
What's really great about this system if you're consistently seeing more support work than the designated support person can handle it's a highly legible signal to management that support work for your team requires >1 full time engineer. This makes it significantly easier to advocate for paying down tech debt or creating self-work workflows for people filing tickets.

As an added bonus, this incentivizes better documentation of your system via runbooks (I'd rather point someone at a doc than walk them through a problem when it's not my week).
AWS patches bypass bug in CloudTrail API monitoring tool
A key difference is jus soli citizenship in the Americas, if you're born here you're a citizen
Just because they don't mention this not-widely-accepted hypothesis you're going to dismiss it? Ok.
If what you meant was actually a polymorphic function, just write the polymorphic function. If that's not what you meant then stop using the same name.

I think the contrast between string contains in Rust and C++ is illustrative. Overloading means you only get whatever parameter types the stdlib provides in C++.
I'm a DDG user as well and I feel it's getting loaded with spam links much like Google. Usually my most confident searches are watching a YouTube video on what I'm looking for. I would prefer text to video but it seems that's where we're headed until video becomes cheaper than text to produce (unlikely).
yawn. get some new material.
Isn't ADHD medication basically amphetamine? I experimented when I was younger and it wasn't nice stuff. Couldn't sleep properly afterwards, and loos of appetite (I am already pretty skinny).
For systems, research is development and development is research
> It's very naive to think these huge orgs don't have dead weight which is much bigger than 6%.

Pretty much my experience that when a company keeps growing, at some point most corporate employees will not actually be contributing anything.

Paradoxically, constraining teams with resources (but allowing them to make their own decisions) makes teams more efficient than if they had resources. Necessity is the mother of invention -- when people are forced to deal with the problem they will find a solution.

Corporations are worst possible places to be efficient -- not only you have the resources (and most people get lazy when they don't have to be inventive) but you are also typically not even allowed to be inventive as companies typically work towards centralising decisionmaking rather than allowing teams to steer themselves.

Same goes for hiring. I worked with teams which hired anybody because the manager was forced to hire quickly or loose budget. Or managers hired people just to enlarge their estates because headcount was how they decided who is more important.

So I completely understand why companies are laying off people. The only question is whether they are too optimistic about being able to identify who to lay off, exactly.

In my experience it is pretty difficult even for managers to understand who are best contributors in their teams. Get removed 2-3 levels from a line manager (2-3 levels is where the decisions would typically be made) and you can pretty much dream about understanding who to lay off, individually.
Cover yourself in mud from a river bank.
Your data belongs to us
What git command tells you the fork on github.com that wants to send you a pull request?

(Hint: there is none, only the gh tool and GitHub api know it)
The real issue starts even before that, Google search is still a cash cow, integrating some GPT tech can threaten their own economic model, they are in a tricky situation here.
I don’t like going to academic conferences
The primary materials in batteries, mostly metals, do not degrade like plastic. Metals are extensively recycled today, unlike plastic. Furthermore, each battery cell has a potential lifetime after EV usage as part of a stationary storage system, before any recycling.
> It's just not how most of the world works.

By this, do you mean clients tend to insist on long payment terms in the contract? Or do you mean they'll sign a contract agreeing to pay in 30 days then they only actually pay after 90 days?
That's the point though, right? Without Choice, there need be no way to select a number or subset from the set, so there's no paradox.
Wow, you've discovered lending and personal loans.