skysight-inc/HackerNews huggingface dataset:
> Then we will never be able to find the Nth beaver number for the corresponding N.

This is pretty clearly what people are asking about when asking if BB(6) is "uncomputable" then.

I understand (now) the point about the specific meaning of the term of art "uncomputable". If you want to speak precisely on the topic, it's not the right question to ask.

But it still seems like the question, "will we ever be able to find out the Nth beaver number", is the more interesting question.

So, we can define ZFC axioms that classify the beavers we can know together with the beavers we cannot know. So what? Then that is just skipping the interesting question. Maybe that just means for this specific problem that is not the best construction to decide to use to classify them?

I would be more interested in a classification that would assign one label to beavers we could possibly hope to calculate, and another for beavers where the calculation is impossible.
CSS is like a wooden spoon.

Conclusion: you are overcomplicating things. This ain't rocket science. CSS is dead simple, only you making it complicated.
Watch Eminem's The Death Of slim shady Lryics now
I wouldn’t suspect that at all—some recipes (like certain kinds of “street food” from different countries actually call for the use of cheaper oils :)
Attacking Connection Tracking Frameworks as used by VPNs [pdf]
imho it's embarrassing that this got merged in the first place.

it's not a major flaw, and no exploit. but it seems as if nobody paid due attention to actual changes.
I think the author is conflating technology with people.
To me, this is a natural effect of getting everyone online.

In the beginning the web was 'nice', because only a certain kind of people had access and interest in publishing content. Geeks, programmers, scientists, students, etc. The place felt more 'elitist' because it was. We worshiped those who fell asleep coding in a basement, fueling on left over pizza and coffee, so that they could give that software away to us all for free as 'open source'.

Those were the people building the early internet and then there was the rest of the people who were not yet online - on TV, on the streets, government, etc.

But the people building the internet were building it for the people not yet online. As soon as hardware got cheap enough for everyone to afford it and software got 'simple' enough for everyone to use it, the masses flowed, bringing with them all the 'bad stuff' from the offline world times 100. They also brought some 'good stuff' too, like better visual designs, fonts, icons, images and videos, online payments.. but we're focusing on the bad now, so let's ignore the good for now.

Trolls, criminals, swindlers, script kiddies, everyone was welcome and so the flood dissolved and even reshaped the original 'elite' and now every kid wants to start a startup and become a billionaire.

But whenever I think that 'the old Internet was better', I keep reminding myself that, hey, 'the old Internet' is still here and it's alive and kicking, nobody forces me to go to the sites I don't like (well, in fact, I'm often forced to interact with terrible UX of utility companies or airlines). There's a lot of noise, sure, but it's not that hard to access the 'good internet' if you really want to.

Maybe there's something else at play, maybe the dopamine hits less after all these years, maybe we're getting older and are just nostalgic about something we used to enjoy a lot more when we were younger.
> They're pushing SaaS over on-prem

You can perfectly run, identical, self-hosted version of GitHub on premise? Maybe sales is focusing SaaS, but otherwise, there isn't difference?
I'd be surprised if China has anything to do with this operation.
Hear hear!

The unskippable cutscenes in Freelancer were sadly quite memorable for me.
Citizen Lab article,

Vulnerabilities in VPNs - https://citizenlab.ca/2024/07/vulnerabilities-in-vpns-paper-...
I haven't, I'll have to give that a try, thanks!
Well, I'm glad they didn't find out, by the board crapping out, around Jupiter.
I doubt there’s too many people subclassing NSCell directly these days, but unless I’m missing something (entirely possible), it’s difficult to avoid subclassing NSButtonCell in a lot of cases where you want a stock yet lightly customized control. That’s where I’d expect to see the bulk of third party NSCell subclassing.
I didn't know you could presale simple productivity app a whole half a year before release, smells like scam.

Also username is from 2016 with zero activity before this post.

But website sure looks nice, although I hate this distracting mouse flashlight effect.
As far as I've seen, LLMs used to write code are only good for getting juniors to a PR features faster. But, it slows down everything else in the process. Reviews take ages because there's random nonsense landmines scattered around, the previous PR feedback is less likely to be applied to later code because they're not writing it, bug fixes take much longer because no one understands the code well, and there's just so much more code to deal with at every step since it doesn't matter to them if they are copy-pasting 10 lines or 1000.

I've tried using them myself, but they end up sapping more of my time than they save because of all the dead ends they send me down with plausible sounding bullshit. Things that use real terms, but incorrectly. I basically treat LLM output like that one guy who doesn't know anything except the existence of a bunch of technical terms and who throws those terms around everywhere trying to sound smart. It might be nice to know that a term exists if you're unfamiliar with the topic, but only to go look up what it actually means elsewhere.
Nit: Hiccup (or hiccough)

https://www.merriam-webster.com/dictionary/hiccup
> How-ever that also doesn't excuse the author from explicitly stating it in the terms in the code of the said works that they publish online, how-ever most common-wealth countries do have inherent statutory copyright laws rights that protect the creator of said works.

I think this certainly complicates things for a potential user, they're less likely to use it, I assume, if it's unclear what they are and aren't "allowed" to do with it. It would be nice if there could be some sort of implied "social contract" like we have in the real world, but I also understand that's more complicated with matters like IP.

Thinking about my response here, I think much of the difference with "code" vs the analogies is the IP. For some reason I'm able to chase some intellectual property rights on code that I would not with a piece of furniture I gave away on the street. What if I built that furniture with my own two hands, and could replicate it, just like I could my code?

Apologies, gone way off on a tangent there, but it's an interesting discussion.
Except it's not performance usually, it's just features. And then it gets bloated. And someone things they don't need all that crap.

But turns out they did.
Forgive my ignorance, but why are we surprised that voice messages aren't being spoofed more often? Doesn't this require a pretty darn decent dataset for training? Unless they've got a ton of videos of themselves shared on a public social media profile, I don't know that this is going to be a thing.
I've never encountered anything like that while over here.
The "B" in UBI demands that the income be sufficient for basic needs and other social welfare systems observably do not provide that unconditionally.
CL also lets you "switch off" multiple precision if you know you don't need it. You can start with bignums everywhere then declare certain functions to use fixnums after you profile your program to speed it up. Compilers like SBCL can then produce code pretty much as fast as C.
Huh. Does anyone know how it works without additional privileges?

I ran syd as a normal user on my system and it blocked network calls. Does it fall back to ptrace? I don't think my user has the ability to create network namespaces.

edit: Ah, ok. There's a little more here: https://gitlab.exherbo.org/sydbox/sydbox/-/blob/main/doc/toc.... And the readme does mention ptrace. Would be great to understand how to introspect what this is using and when. ie: in some cases I might not be able to tolerate the performance penalty of ptrace.

edit2: ah ok wayyyy more info here: https://man.exherbolinux.org/syd.1.html

and benchmarks: https://man.exherbolinux.org/syd.1.html#BENCHMARKS

So it is slower, but much faster than I would have expected. Wild.
RISC-V had a fantastic opportunity to be the one true microcontroller ISA, but the attempts to become an "everything, everywhere, all at once" ISA have been fascinating to see throughout the whole process.
I’ll do that for a followup post. Watching the discussion here it seems like that would be beneficial. I struggled with where to put the emphasis on this write up but ended up deciding that I need to clearly make the case for Story Point flaws first as a warning reference for people experiencing these issues in their current environments.

I would have separated queue management into its own post but thought writing about a problem without presenting the solution would result in a lot of “okay, so what should I do instead?” But that created a length complication where I had to keep it succinct because it was already a long post.

Anyway, there will be a followup with more detail on queues. Probably the biggest complication for them is the lack of good reporting built around them in most existing systems.
This is the "status meeting paradox."

Personally, I despise status meetings. 99% of them are worthless fluff.

But, every now and then, you get something like this.

I think that highly usable dashboards are a good way to deal with this.

It's possible that AI could be a big help, here.
I feel like this is another "random wikipedia article" post.
I like. Quite a bit easier to read than EBNF and the like
> As a product manager of a SaaS Enterprise application, I value data to improve the product.

You can gather about 100% of useful data for improving SaaS Enterprise applications without selling out every single one of your users to Google, and it's not even hard.
It's impossible to believe there are 7 pages of channels with exactly 20 users.
Is that available only in certain paid versions of Google Workspace, or has it not rolled out to everyone?

When I type @ there's no code block option. I get People, Smart Chips, and then in "Building Blocks" I get five items from "Meeting Notes" to "Project Assets". If I click the arrow to expand to the full list of building blocks, it only adds a sixth item "Launch Content Tracker" and the rest is blank space.
Taking account US Supreme Court Judges are openly receiving millions of dollars in bribes, and visiting Putin hometown in undisclosed visits...I would say, current real situations are well into Tom Clancy most wild scenarios.

https://www.businessinsider.com/clarence-thomas-accepted-fre...
Yeah, the discussion can be really illuminating. If the points weren't recorded or mentioned afterwards I think it would be a net positive in some cases.
I thought this was going to be about Go the language. Damn title case
There are advantages for the society, for the rest of humanity, but usually not advantages for the short term bottom line of the business.
When Chrome came out, Microsoft was in no position to dictate anything web-related; they barely managed to get IE7 released and it was playing massive catchup to Firefox (and Opera) in regards to standards, and didn't really bring any new web features that weren't already in other browsers.

MS really dropped the ball after IE6. Notably in Europe Firefox actually temporarily surpassed IE in market share, before Google came and stomped everyone.
Nvidia GB200 Hardware Architecture – Component Supply Chain and BOM
It's a contrived situation but does represent a more general set of conversations where the need for response may be more ambiguous. There's a space where acknowledgements and reactions are useful without breaking the flow of conversation.
Who do you favor? One of the Russian Intel agencies? NSA? The Grugq?
We ran github enterprise on our infra for several years. It was a pretty low overhead thing to run except if you’re really big. The nice thing was that we could customize the api rate limits which is really annoying with saas github.
What does this line do?

[ -v EDIT ] && unset EDIT && edit_function "${FUNCNAME[0]}" "$BASH_SOURCE" && return

Very cool script overall, thanks for sharing
"I was born in 200 log cabins"
Paying a "bounty" for artefacts seems the obvious one. If they're so valuable and all.
I run an on-prem GitHub server. New features come 6-18+ months behind Cloud for the most part, our reps are always trying to get us to move to Cloud, and new features are often broken for weeks/months even after being released for on-prem.
i doubt that min wage workers will all quit, the extra money is what they need to live properly
That's just a way of representing BNF, isn't it?
> Microsoft for example has both GitHub and Azure DevOps.

Not sure what you meant, but this is indeed visible in GitHub, maybe in positive way. GitHub Runners are specifically coded with C# and ASP.NET Core and designed to be used on Azure, while not limited so. Maybe the adaption of current GitHub Actions would not happened so efficiently without this.
The Netflix show "Altered Carbon" adopted this concept from this book perhaps. In the show the bodies were disposable, consciousness/memories all lived in a jewel like object fit into spine in the neck. Physical damage to bodies done in violence was referred as 'organic damage'. Rich people could live forever using grown bodies, while the jewels of poor were moved to an archive.
Find the Maxwell's kaibyou?!

>In fact it is possible for this "negentropy" contribution to be large enough that growth is fully endothermic, or actually removes heat from the environment. This type of metabolism, in which acetate, methanol, or a number of other hydrocarbon compounds are converted to methane (a high entropy gas),[25] is known as acetoclastic methanogenesis; one example is the metabolism of the anaerobic archaebacteria Methanosarcina barkeri.[26][27]

https://en.wikipedia.org/wiki/Entropy_and_life
https://en.wikipedia.org/wiki/Kaiby%C5%8D
Even if it weren't meaningless, what's the last time you heard someone say that when it wasn't a blatant lie?
What do you think this comment achieves other than making someone feel bad about something they’re proud of?
WFH involves doing less. You don't have to spend 1-2 hours a day, plus expenses, commuting - and having to have an expensive house near the office.
"If you want every CPU to support every instruction..,"

That does indeed seem nice. As long as there's an easy way to enquire about whether an instruction is slow or not, it means that all the software runs, and the software that knows about issues with some instructions runs as fast as it would without support for those instructions. The only downside is the effort put into writing emulations of the instructions, which seems small in context.
Well, one thing they have in common: both are insanely expensive.
That is a very bad idea, implementing this would result in a massive state apparatus that would be insanely expensive to run and most inefficient.

People down on their luck would have to go through months of tribulations to prove they have the right to not starve, losing time not actually trying to climb out of their hole.

Also the point of UBI is that it is unconditional (The U stands for Univeral). It is supposed to be a simpler, fairer welfare system that allows everyone to focus on improving their lives instead of trying to survive.
Mainly talking about sales, but also a lot of their newer enterprise-oriented new feature developments are either saas-first, or not (yet?) roadmappedb for on-prem.
Coincidentally, you may be interested in this post from today https://news.ycombinator.com/item?id=40954571
I think you are wrong. Not having a moat is a business model and a competitive advantage, and one which works well. As a customer, it gives me confidence that, if gitlab (or any similar company) screws up, I can host it myself. I go for open source precisely due to the lack of a moat.

That's what most open models rely on.

1) Hosted services are cheaper than running it myself, once I include staff time, so by default, I will go to the source vendor.

2) Even if there's a cheaper alternative, I'll gladly pay e.g. 50% more to go to the organization which wrote / maintains the product. Many companies just aren't that price-sensitive. If you pay $200k for a SWE, is saving $100/year worth it to go for gitlabknockoff.com instead of gitlab.com? Most big organizations wouldn't. The risk only comes in if gitlabknockoff was AWS, Azure, or GCP, which we're still learning what to do about.

3) There is a shallow moat in the forms of things like brand recognition, canonical URLs, etc.

If you're comfortable with e.g. a <100% profit margin, open models do just fine. Open models just mean you can't have a 10,000% markup or do an Oracle-style milking of customers. As a customer, that's why I pick open models.

Open models also mean I'm not SOL if you go out-of-business.

The friction comes in with a lot of hybrid models. Most things between open and proprietary don't work well. Datadog + gitlab are on opposite sides of this divide, and I don't see that working well.
In German, "tippen" is a possible translation of "to guess". There's a well-known tradition of friendly betting on football matches with colleagues or friends (sometimes with money on the line, often not). These are called "Tippspiel" or "betting games".
Alright but the last time I did this the answer to "which websites I need JavaScript on" was "All of them". Is that still the case.
I don’t think anyone on welfare would say their lives are easy.
Not exactly universal as such.
I think bootstrapped with a small team of under 10 people, Karpathy can get to revenue of $20M just from the developer market. That's a pretty great outcome if VCs aren't involved.
You may have to group elements, yes. But generally speaking, they already are grouped in some logical sense. And you can do a lot now with grid, without having to wrap child elements in containers. It's not absolutely separated but to great degree it is (in my experience at the very least).

And yes, you can select previous elements with :has(). Here is an article about it:
https://tobiasahlin.com/blog/previous-sibling-css-has/
maybe, I've used copilot enterprise in our company for a big C++ project and to say I was unimpressed is an understatement
I suspect "to prevent ultron/skynet/the matrix" is what the headline writers want you to think... I'm not sure if it goes with the text, or with employee concerns.
The author of the feature is another top-level comment and said it's still being rolled out over time, so that's probably why.
It's 30$ now. That additional increase really broke the camel's back for us.
Recent is relative, the latest comment is from April 2024, not something that popped up today.
They mention full IP obfuscation.
Memory for Open-Source LLMs
It's definitely not working. Several of the channels I'm currently in (which are not private channels for the record) aren't listed at all, and it's not sorted by user counts at all. There are channels with hundreds of users listed, but according to the "sorting" the largest channel has 20 users.
This information doesn't appear to be accurate, I'm in libera.chat channels with hundreds of users that don't appear in this list.
I just make myself apathetic towards these politics otherwise I end up too angry. Republicans are furious about reactions to this violent event, yet so many of them call for gays (like me) to be tortured, murdered and actively hunted down as jokes all the time?
Attributify mode is a cleaner alternative Tailwind setting in UnoCSS
*easier than not having it
I'm not sure what your resources are - you say you don't have a computer, but you also check HN and write code and stay up on tech. It seems difficult to understand how you are writing code without a computer, and if you can write code, what is stopping you from seeking jobs?

No matter what that answer is, most places I've lived have homeless shelters with programs to help people get going with the resources needed to get interviews and start work. Have you looked into such things?
Given USD is in the list, I am a little bit surprised that alembic (.abc) isn't.
The prudishness of censorship has always been a blight upon people's ability to express freely in interesting ways. It's even sadder to see it take spread in the supposedly liberal modern world like never before through bland corporate algorithmic controls enforced by emotionally stunted PR functionaries, blanketing the digital world with saccharine expressive mediocrity.

Amusingly, this algorithmic censorship within contrived social media "communities" is being enforced by some of the most morally bankrupt, psychologically parasitic technology companies on the planet.
Interesting! But this sounds like an explanation why you read the comments without reading the article, not why you comment without reading, and those aren't inherently the same thing.

So to clarify: do you comment on the content of the post without reading it? I'm specifically interested in why people comment on links and articles they didn't read. And for maximum clarity here, I mean commenting on the content of the article, not just contributing to the various related discussions it spawns.

And to reiterate, I'm asking in earnest. It's not something I would do, so I'd like someone who does to weigh in.
Transmeta Inside (2000)
Maybe you should read the definition of Universal Basic Income first: https://en.wikipedia.org/wiki/Universal_basic_income - although it's actually already contained in the name. The proposal is to have less or no bureaucratic hurdles before being able to receive it, and here you are proposing even more bureaucracy...
Functional Design: Principles, Patterns, and Practices
"easier" =/= "easy".

A lot of people on welfare would say that welfare makes their life easier. Very few would say it makes it easy.
When Microsoft pivoted to security, they seemed to really mean it. They stopped shipping new features for something like 6 months, and spent the time hardening the OS. The results weren't perfect, but they made Windows not the total joke it had been.
The term UBI then doesn't mean a guaranteed income, sufficient to live on.
An objection I seldom see but I think is important to consider:

wouldn't it take us that much closer to "bread and circuses" i.e. that the State can even more easily buy (quite literally) favours from a subdued population. In a way we are already there, but UBI would really short-circuit the loop.
Wall Street Wants in on America's Battery Storage Boom
Speculative. It's also perjury if they were lying. Are you implying Fox News has no regard for the law whatsoever? And if that were true then why would anyone watch them?

Besides, reality aligns with their assertion that they're not a news organization.
I feel like there are massive industries that exist just because of this
For the record, irssi is still actively maintained and developed, but it is understaffed, and has a lot of technical debt standing in the way of some new features.
The question is still very relevant. Why are PR like this merged to begin with?
Knowing my girl friends, if you said the same thing to them, they would probably laugh at you and continue enjoying their lives. Like it’s really not that bad out there. There are ups and downs, but we live in decent cities, have fun, find fulfilment in things other than children.
chadwm: Making Dwm as Beautiful as Possible