skysight-inc/HackerNews huggingface dataset:
Show HN: punq – open-source Kubernetes manager with team collaboration
At mogenius we’re working with multiple Kubernetes clusters across clouds with shared responsibilities on the team. For managing workloads on the clusters we’ve been trying out several tools, but something was missing. With probably the most popular tools, Lens and K9s, the free options only allowed local access which required each team member to set up all clusters over and over again. We were looking for something cloud-based, where we set up the clusters once and the whole team can use them. Plus, it should be lightweight and fast (we love that in K9s). At some point during research we realised that we had the foundation in our hands with the technology of our mogenius platform. So we decided to built the tool ourselves and today we’re introducing punq.

punq is a lightweight, open-source Kubernetes manager with built-in team collaboration. It is designed for DevOps teams to manage workloads across multiple clusters without the need to share kubeconfigs among team members. The most important features in version 1 include: Web app and CLI, adding clusters via kubeconfig, YAML editor, Terminal access to pods, and RBAC.

We wrote punq in Go and used to Angular for the web application. It can be hosted as a single container on a Kubernetes cluster by installing it via the punq CLI. By default, the user interface shows the cluster where punq is installed. You can add more clusters by uploading your kubeconfig; the data will be extracted once and stored as secrets on your Kubernetes cluster. After adding a cluster, each team member on your punq instance can manage it without access to the kubeconfig itself. This way, you're making it easy for the team to collaborate across clusters. On top of that, we've put a lot of effort into making punq very fast to keep you productive :)

Check out punq on Github, we’re excited to hear your feedback!
https://punq.dev
See “Laplace transform”

https://en.m.wikipedia.org/wiki/Laplace_transform
OpenGL straight up sucks to work with. DirectX 11 is a much nicer API that doesn't require you to write your own allocator for views in the GPU like the lower level APIs. Linux isn't a major platform I personally care about so I use DirectX 11
What are your objections with 1Password?
Oh, but you can teach LLMs a new grammar. I've done that for my new logic. Works great.

I don't think we agree at all. I think LLMs do understand, you think they don't.

Most things are not well-defined, and if you want to be precise, you have to adapt your definition to the situation. That happens all the time even in mathematics. I think I gave you a pretty good one for understanding though: Let's assume we know what understanding means for humans, and then just use that knowledge to define understanding for an LLM. And if you use that definition, there is no way you can deny that LLMs do understand.

But even if we use your webster definition "the capacity to apprehend general relations of particulars", yes, LLMs do have that capacity. They are great at 1-shot, even 0-shot. That's exactly that.
> Popper emphasised that the intolerance which shouldn't be tolerated is that which refuses to engage in "rational argument".

This is the key bit most people miss out.

"You should be intolerant of intolerance" is a useless heuristic. You can rephrase most moral statements to be intolerant.
If you're physically unfit for an electric tricycle (or even a scooter without pedals...), I kinda don't want you drive a 2t+ vehicle at 50km/h or more.
European Commission fits here. Head of commission is approved by parliament as far I know, but commissars are not elected, just suggested by each state governments. Also, all EU laws can only be proposed by European Commission. Others can suggest them, but only they can bring them to parliament. Someone correct me if I am wrong.
Good. It should be settled at some point legally what the courts feel about AI and this is a very relevant case. I'm tired of armchair techbros acting like they're the judge of the imaginary court in their head
my biggest fear in all this is the malware spreading around :/
<webgpu/webgpu.h> is actually a very decent C API (it does have explicit lifetime control via 'reference' and 'release' calls like COM though, but that's okay-ish - same rules as D3D basically).
I think a key is that you need to provide your real identity and you are discouraged from trolling/being a jerk since future employers and coworkers will see it on display.
Chilled Drink Calculator
What is the substantial difference between an ethical lobbyist (that is, one who just hounds a law maker all the time, but does not engage in gift-giving, favor trading, political donations, etc) and a particularly engaged citizenry? The lobbyist takes a pay check?

Lobbying is the engagement with members of the government to promote a certain agenda. The reason the offices of our legislators are open to the public is so that the public can go in and do exactly that. It's called "lobbying" because it is what is done in the lobbies of state houses.

There is nothing wrong with lobbying as such, but the combination of campaign-donations-as-protected-speech-for-corporations with lobbying makes for a very powerful, legal flavor of corruption.
> Haven't professional-grade microphones been in a similar situation for decades now

Not really the microphones themselves since microphones today and decades ago all deliver an analog signal which contains way more information than our ears can process (but some amount of noise too which may or may not be audible).

The technology difference is in the analog-to-digital conversion (DAC) which converts that analog signal to a stream of integers.

The difference between audio and video is that essentially since the dawn of digital audio, devices have been able to produce as much information as our ears are able to distinguish. The standard digital sample rate since CDs first shipped is ~44k, which can represent frequences all the way up to 22k, which is beyond the range that almost all people are able to hear. The standard bit depth of 16 bits can likewise represent as much dynamic range as humans are able to distinguish.

(Hi-fi enthusiasts may argue with these claims but I consider that whole area to be almost entirely snake-oil and magical thinking. Actual scientific studies show that 44k 16-bit audio is indistinguishable from higher sample rates or bit depths.)

People working with audio may want higher sample rates and bit depths because, just like with coloring in the article, it gives them more leeway to change the audio while still producing a final result that covers the whole frequency and dynamic range. But for end listeners, 44k/16 is fine and has always been fine.

Video is very different. Our eyeballs can capture a monumental amount of input using a very complex, adaptive system. Eyes don't have a single well-defined "resolution" or "framerate" but basically digital video has been noticeably lower resolution and lower framerate than we're able to perceive for a long time and is only recently starting to approach perceptual limits.
In practice a lot of Vulkan documents assume you already know GL! So for learning purposes, modern GL is probably best.

Start learning modern GL: if the Hello Triangle doesn't use 2 shaders you're not learning modern GL. Hello Triangle for GL requires about 80 lines of code, while Hello Triangle for Vulkan requires about 1000 lines of code.

I highly recommend learnopengl.com and vulkan-tutorial.com.

If you're going to write a simple game, it's probably better to stick with GL. If you're going to write a real complex engine, Vulkan is the only acceptable path these days. Gl deviates way too much from what the GPU does, so there's a lot of CPU overhead and synchronization choke-points. Vulkan is way similar to an actual GPU and gives you more power to uses the resources in the appropriate way.
This is exploiting a new technique. This technique wasn't known previously, or wasn't viable when HTTP/2 wasn't widespread. This technique is a ~100x multiplier on the impact any size botnet can have. A previous botnet might have needed 20,000,000 machines to achieve the same impact.
From a scientific perspective, AI is the name of the general field that studies systems that try to exhibit intelligent behavior, and ML is a strict subset of that - it's the one that's currently more popular, but the study of, for example, planning algorithms or logic reasoning algorithms are other subfields of AI that have nothing to do with ML.
Nice, I made something similar[1] but as a general language learning tool that works with 36 languages.

The main idea to improve your pronunciation is that you hear a native speaker (from a podcast or YouTube) and repeat right after, via Whisper ASR you get a score to see how accurate your response was compared to the native speaker. The method is based on the "language shadowing" technique.[2]

[1] https://www.openlang.ai

[2] https://en.wikipedia.org/wiki/Speech_shadowing#Language_lear...
That's one nice thing about pirate releases: they just use whatever technology is best patents be damned!
I hope you can find the time. I really wish all social media could go back to being unserious places for unserious people to say unserious things, rather than the totally serious and important mess we have now.
Ask HN: How YouTube is recommending Chrome in middle of monopoly trial?
Google Chrome is a fast and secure browser for YouTube. Try it? I got this when not logged into google on Edge. It's a popup not a video ad. Edge runs on chromium tech, so this claim is BS. They are in-between monopoly trial. Shouldn't they have limited some of their shady practices? I also can't think brave can run ads like that. Aren't they abusing their position?
Nintendo has done a lot of litigation to claim that game console alterations (modding, but also by definition repairs) enables circumvention of their DRM.

Most computers don't try to lock out their owners from administrative access, but video game consoles usually do.

Which is b.s., but I guarantee that's why they got the exemption.
Not sure if you're implying that having a "crap world" is inherent to human nature, but I disagree. We live in a society that forces the majority of people to labor tirelessly for low wages. In our society, money is power, and one can't shoulder the blame for a dysfunctional society that they (for all intents and purposes) don't have a say in.

I guess what I'm trying to say is that the mental health crisis is a societal problem, not a personal one. With roots in low wages, high hours, world instability, a loss of community/spirituality, and other factors that simply are not controllable by the average Joe.
It's best used for boilerplate, utility functions that are really simple but annoying to rewrite over and over. Or test harnesses, or things like that. Basically, things it's seen before, rather than application-specific stuff.

Basically: It can't think for you, but it can copy and paste for you. As long as you audit the output, which should be easy for this stuff.
AI and nuclear cars, plus looming resource wars and beefs with China.

moving closer and closer to the world of Fallout
> it seems that those with the deepest pockets

Trademarks, patents, and copyrights are only as valuable as your willingness to pay a lawyer to confront those who are infringing.

You can have all of the patents, trademarks, and copyrights in the world, but they're useless unless you defend them. Which costs a lot of money.

I'm not sure what the alternative would be, though. We can't do away with the system completely. Disney needs to be able to earn a profit on content they produce otherwise they won't invest in producing content.
Nor possible to write literately about energy issues.
"Maybe I'll try Erlang some day and be imbued with the curse of knowledge."

For the purposes of this discussion [1], Erlang is just Go except you don't have mutexes as an option at all, so anything you want locked has to be in a separate Erlang process (analog of goroutine). So if all you want is a shared dictionary to be used as a cache or something, it has to have its own process/goroutine, you don't get an option of just locking access.

Since that's how it works in Erlang, it has a bit of syntax grease around it, but not enough to make it just right; you've still got to do things like handle communication errors because it could be on a different node in a cluster whereas in Go it's just a local shared resource.

I think the main problem is that as useful as actors are as a concept, they're not a great foundational abstraction, which is to say, the base that everything is built on and you can't go below. It works, but then it means you're paying the full actor price for everything. But you don't always want the full actor price for everything, and you don't need to pay it because in practice "lack of actor isolation" is rarely the root cause for any particular problem, because that's too big a thing to be the root cause.

[1]: If that's too glib for you: https://news.ycombinator.com/item?id=34564228
Take the World from Another Point of View
Exactly. I paid rent during the pandemic then afterwards, California paid landlords for any missed rent money but they did not reimburse renters who did pay. What a scam!
Yeah, confirmed, it's the shadow in dark-mode.
The title could also read "Faster biological ageing linked to living in privately rented homes" since there is just a correlation. The interesting question is what are the causal factors, and are there any interventions targeting those causal factors that have more benefit than downside?

The article seems to be making an argument against privately rented homes and in favor of social housing. Would eliminating private renting actually reduce biological ageing? Or are the people who are predisposed to living a stressful life with fast ageing more likely to choose privately rented homes, and taking away that option wouldn't actually help them?
It's a fairly lame troll though, as 'ls' would indeed be unmaintained and probably broken if it hadn't had commits in 15 years.
Public libraries are a bit of a modern invention. Historically, most libraries were private ones, often arranged by small groups of people who housed their collections together so books could be loaned to each other.

Local governments and rich philanthropists helped spread the public library concept to be what it is today.
If I was to see the second table with Treatments A and B I would trust more where it has been tested on more people. So A for small stones (270) and B for large stones (263)
can I get a referal ?
This is the sort of thing I meant by "essentially immiscible". At a 30,000 foot view, yeah, it looks like lots of languages could "just" add currying.

But when you get down into the weeds of what it means, it turns out to be something you can't "just" drop in. You really need to build the syntax for it from day one.
Could anyone suggest a happy path ("zero to hero") book on formal verification, which also does the ecosystem review for the formal verification languages, and then focuses on one, as well as provides the reasoning and mentions tradeoffs for such a choice?
There are only side effects!

When you compute a pure function, you’re still physically manipulating registers, cache, etc.

You can use the proof-program perspective to formalize reasoning about a program:

- you have some domain model; this expresses the “business logic” of your software

- you have an abstract model, in a category for your programming language; this expresses an equivalent structure as the “business logic”

- you have a concrete model, in a category for your hardware; this expresses an equivalent structure as it gets executed

Reasoning about the translations between these steps, their properties, etc is why you want to connect software to proofs.

For example, if you want to find an optimal implementation: you want the shortest path of atomic arrows in your hardware category, which corresponds to the desired computation in your language category.

Category theory is the language in which we connect our theory of hardware to our theory of the business domain!
It depends on how easy they are to build, of course, but it looks like they could help a lot:

https://www.washingtonpost.com/business/2023/05/21/adu-grann...

Of course they're just one of many things cities can do to confront their housing shortages.
Wordpress.com Now Supports ActivityPub
> We compose simple operations into complex units all the time.

Through a process called thinking, too.
Vulkan and DirectX12 are really lower level than OpenGL. The API of Metal is high level and more beginner friendly. I really hope to have a Metal like API on top of Vulkan because currently vulkan can't replace OpenGL for beginner and simple visualisation but Metal can.
For some reason, I only ever hear this argument from folks with DUIs.

For the record, I don't drink.

One thing I have noticed though - problem drinkers are amazing at making it always someone else’s fault.

It is their fault and they also have an addiction problem. And it is also a societal wide problem.
And additionally

"vaccinated people (who never had covid) do not have long covid."

seems very difficult to study in the general population given the prevalence of COVID infections among the population and the ability for people to not know or test whether they have had COVID, even if they did have a mild infection.
#FreeElizabethHolmes

I was acting in my capacity as CEO when I killed that person. It is The Company that is responsible, not me.
I use sqm-scripts for a variety of purposes to insert delay or other variables like aqm and fq technologies.

I also wrote a now somewhat out of date cautionary note about all the pitfalls you can land into here: https://www.bufferbloat.net/projects/codel/wiki/Best_practic...

And over here, while we convinced systemd to adopt fq_codel by default, I cautioned against drawing conclusions from within the box simulations verses the general internet's behaviors: https://github.com/systemd/systemd/issues/9725#issuecomment-...

I am perversely glad measuring this stuff irks so many other people besides me!
> As you probably know, Debian releases are named after characters in Disney/Pixar’s Toy Story franchise…

Huh, TIL this convention.

https://www.debian.org/doc/manuals/debian-faq/ftparchives.en...
> They are error prone, you can forget to unlock

That's not a problem with mutexes but with resource management in some languages. In Rust mutexes use RAII and unlock automatically - you cannot accidentally forget to unlock.
So the only way for an explanation not to be accessible is to not provide it? Okay.
It doesn’t matter what you think is accessible, it only matters if the person trying to access it thinks it’s accessible. I don’t.
> It seems the belief that a conflict with China is inevitable is becoming more pervasive.

An actual kinetic conflict would result in a complete destruction of the world economy and WWIII. You can't take these people seriously without carefully examining their motivations (certainly most notably, to build up the capacity of our own military).
No $25/mo insurance is going to pay out $20k, they all have maximum caps.

That's also 800 months of payments and your cat isn't going to live to 66 years old.
Federally subsidized loans pumped the value of their properties to the moon and saddled the rest of us with the resulting inflation, but I am supposed to feel sorry that they couldn't collect rent from the poorest tenants for a few months?
Yeah, interesting, at least some cosmonauts on Salyut stations explicitly used legs to float around...
Please yes!

... At least for commercial, closed source stuff.

I'm exclusively on Linux, a casual gamer, and native ports suck. They probably can be done better, but you still run into the problem that some Linux game released 5 years ago doesn't even launch anymore on current distros.

I've tried to play the native port of lis2 only to be greeted with a "hey this game needs an AMD or Nvidia GPU" warning, which I could click past only to have the whole system freeze in the main menu. That was literally the first ever crash of that machine ever (about 14 months old at that point). Luckily steam allows you to force using the windows version of a game even if a native port is available and guess what, no warning about GPU, game worked flawlessly. And it very likely still will a decade from now. How many native games released today will?

Morale of the story: win32 is the only stable userspace API on Linux. Develop for win32 and test on Linux, boom you got your multi-platform game.
Right now in Germany we have real problems with the large amount of Muslims entering the country, the single reason why rightwing parties are coming to power. It’s a very delicate topic and polarized.

Now people spread propaganda garbage that _looks_ credible but is actually fake or several years old. This is adding kerosene into the fire and might ultimately lead to additional problems _ontop of_ the current suffering in the Middle East. I‘d prefer to not pile up additional issues instead of worrying about media underrepresentation of a side.
I would feel a lot better about these discussions here if there was any acknowledgement whatsoever from self-described "free-speech absolutists" that large-scale mass propagation of disinformation can be manipulated by the powerful as a destructive force, and that this is a serious problem.

Do I want to ban speech? No. Am I pro-censorship? No! But democracy is in real trouble, and I'd love to be able to talk about possible solutions besides "they should teach critical thinking in schools" or "if you don't like it, read a book".
LinkedIn has spent the last few years becoming the same kind of engagement hype-trap as anywhere else and as a result it's just an awful place.

Back when it first launched it was nice to have just as a way to maintain contacts and occasionally message someone or keep in touch.

But clearly nobody was going to make money that way, so they're pouring on the same crap as propagated by Facebook and friends.

It's a depressing place to go, full of fake positivity and MBA-speak. And yet I'm compelled to go there to keep on top of what my peers are doing.

And for people who are unemployed or out of the job market for any amount of time, it can be positively (see what I did there?) soul crushing. They tune in there and look and see all these people they used to know or work with showing off their fancy job titles and daily affirmations, while they struggle to get their resume in front of the faces of people. And what they originally came there for was to get in touch with connections or look for jobs, they go away discouraged.

I'd like something to take hold closer to what the original LinkedIn seemed to be poking at. Contact lists, basic messaging, and job postings. And just charge a very basic annual fee or something instead of dumping ads and engagement algorithms on me?

(Oh, and go off the beaten track and click down the wrong path and you'll quickly find the same pile of QAnon-ish garbage as every other barely-moderated engagement hacking social media site ...)
While I won’t defend strict objectivism, I’m not ready to give into this degree of relativism. For most purposes, objective truth is still discernible and worth pursuing. Yes, sure, there are a bunch of examples where it’s a really tough call, but giving up isn’t the answer.
I still have resisted signing up for LinkedIn because I'm so salty about how they used to spam everybody's contact list on sign-up. At one point I would get 3-5 e-mails per day from LinkedIn.
ELI5: Why are cherry blossoms big in Japanese culture, but cherry fruits aren't