sureglymop

It's interesting because this is exactly what I used to do for my hyprland config (which the op is about). I had some keybinds that would shell out and use a script with the hyprctl cli.

Now it's all a single simple lua function and 3x as fast... I think this change is great.

Love this, thank you for providing the context!

That seems like a smart insight... but, if you're going to use an existing linter it will lint the full existing language and not your subset.

So, if you accidentally code something that is not in the subset but is in the full language, the linter would then happily accept that. Imo there will be similar issues for lsps and formatters also. You're going to probably end up in a situation where you have to fork all of those anyway.

By default AI doesn't bake in all considerations. By nature of how it works it behaves like a human, i. e. making similar mistakes and oversights... I feel like this could somewhat ironically be shown with exactly this task. Let's let it make button and see how many ways it gets it wrong.

I didn't fully understand the author there. Was their point that the activity of "axe throwing" is silly or that it is silly to do that on a first date?

Personally I've never done axe throwing but I think it probably doesn't matter at all what activity is being done on a first date, as long as it helps break the ice. Also... it is the real world. Those people are probably subjectively speaking much closer to experiencing the real world than George Hotz, it's just not a world he necessarily wants to accept.

What is interesting about it for me is: why would someone working on AI ethics choose to work for Google at all?

Did she really think Google cares about ethics? Such positions seem purely performative, we all know that ethics go out the window first to make room for more profits.

I feel like not choosing WordPress was a great choice but I'm not sure about the rest of the comment. A simple html file might make for a good landing page though.

Yes. You can literally ssh into a kobo. I usually just put my books on a WebDAV share that is mounted on the kobo.

They're pushing hard for a unified platform. For WhatsApps new username feature one can only choose from usernames not already used on instagram or facebook.

I can imagine that but I don't have those issues with the default config. So it allows using docker compose with podman directly.

On the other hand I could see it being hard for people to only install the cli part of docker. Luckily on arch that was simple due to how it's packaged.

You don't have to fully switch. I use podman in socket mode with the docker cli as a frontend.

Thank you for clarifying!

What about Vale? Is this a rename of it or something new?

As a student, I have no issue doing oral exams or written exams without notes. I mean I'm there to learn and out of curiosity so I like that challenge...

I truly don't understand how people can sign up for a degree and then have to cheat? Must feel torturous to endure a class you're not even interested in.

Well... again, I'm giving the LLM total freedom to destroy what's there and start from scratch. That could nudge it to structure the code base more like that.

It would be totally different if I told that to a junior developer.

But imo LLMs don't really structure code well or as well as humans could.

Part 6 to me seems always totally useless.

Whenever I let these tools look at existing repos they are too influenced by what's already there.

I could even say "feel free to completely refactor or rewrite anything" and they'll still just do small performative changes.

I've now changed my workflow to only using AI for prototyping and rewriting by hand once I can see something is viable. Takes longer but the results are always much better.

I disagree. There's a reason why PDFs are used and it's related to long term archival. They will probably still be able to be opened years later and look the same.

By all means the format has many flaws and isn't very machine readable but it's good at that one thing.

Idea seems interesting.

Website immediately turns me off as it looks typically AI generated and has the AI pulsing "attention" dot.

And no, this is not a condemnation of AI as a technology, it's a condemnation of every website looking the goddamn same.

For what exact reason is it not production ready? Or is that the stance of its maintainers?

No, but I can give a small introduction. I installed krun from the arch package repositories: https://man.archlinux.org/man/extra/krun/krun.1.en

Then one can just pass `--runtime krun` to most podman subcommands. Alternatively, set the runtime key in the config file to make it the default.

Podman itself has "hardening" techniques, e.g. turning off the network or volumes that can be combined with this.

Why isn't libkrun good enough for hosted stuff? I use it as a podman backend in a microservice architecture.

Interestingly then, those contributions are also not a measurement of the candidates abilities but mostly of the AI models.

I wonder if hiring adjusts to that but I doubt it. It might only push it even more towards "marketing matters most" instead of actual ability.

Because the behaviour of software changes over the time of development and that's how many bugs happen in the first place.

Especially if you use AI, let's say you have it implement a feature and then change your mind. In my experience AI makes as many if not more bugs than a human.

Can't you save a drawio file as .drawio.svg?

I've done diagrams with it a few times and just used Computer Modern to make the diagrams look the same as the text. Good enough.

While we're at it, does anyone else want something like a good LSP but for assembly?

I mean one that infers as much context as possible and tries to help as much as possible.

This has to be assembler specific of course. For example, I use fasm which has higher level macros. An LSP could suggest struct fields and other stuff.

Looks actually good!

I wonder if it supports opening invisible browser windows and doing things like intercepting cookies. In my desktop application I leverage a hidden browser window to manage auth state and use it like a proxy for the rest of the application. Might try to port it to deno desktop.

Krun is neat! I use it as podman backend. What I'm missing though is a good writeup on how to use it to sandbox as safely as possible. Already kind of difficult to know best with podman due to the sheer number of command line options and possible customizations.

I'm also a bit confused on how to use libkrun. It seems to be implemented in rust but provide a C API. Can it be used in rust projects?

Also, it made me curious if it would be possible to create a Linux distribution where every process runs in a microvm.

Could you go the full mile and explain that very specific kind of attack?

I agree that it can be confusing. I use RFC 2136 DNS UPDATE with my own DNS server. But for example, for my workplace this new challenge is convenient as they refuse to want to run their own DNS server.

Also, DNS-PERSIST-01 seems to be coming soon for Let's Encrypt, which should allow even people that can't easily dynamically update their DNS records to get wildcard certs. I assume this might become more widely used than HTTP-01 challenges.