Mic92

5 ms·

1.
by Mic92 1mo ago
They seem to squash PRs using the pr description as commit message. So this sounds like a good approach to me.
2.
by Mic92 5mo ago
Nice idea.
3.
by Mic92 6mo ago
Just make sure you never let claude make do any calculation without using a programming language. It can be somewhat trusted to make less mistakes than a human when it comes to filling in the right numbers but it's still not great at m
4.
by Mic92 6mo ago
Unfortunately upstream never looks at any pull requests.
5.
by Mic92 6mo ago
Also did create a cli. I had to fork the project and removed one unused import which allowed me to remove a lot of unused ml libraries: https://github.com/Mic92/puss-say
6.
by Mic92 7mo ago
So usually MCP tool calls a sequential and therefore waste a lot of tokens. There is some research from Antrophic (I think there was also some blog post from cloudflare) on how code sandboxes are actually a more efficient interface for llm
7.
by Mic92 7mo ago
Do expose the accessibility tree of a website to llms? What do you do with websites that lack that? Some agents I saw use screenshots, but that seems also kind of wasteful. Something in-between would be interesting.
8.
by Mic92 7mo ago
I am sure they measured the difference but i am wondering why reading screenshots + coordinates is more efficient than selecting aria labels? https://github.com/Mic92/mics-skills/blob/main/skills/bro
9.
by Mic92 7mo ago
Well this compiler was written to build Linux as a proof of concept. You don't need a libc for building the kernel. Was it claimed anywhere that it is a fully compliant C compiler?
10.
by Mic92 8mo ago
I skipped over the first few ones and haven't seen critical ones. The hardcoded oauth client secrets is basically present in any open-source or commercial app that is distributed to end users. It doesn't break the security of end
11.
by Mic92 8mo ago
Is not steam exactly doing that and other vendors follow their footsteps?
12.
by Mic92 8mo ago
I remember that a llm agents often store those in clear text files (I think claude-code beeing one of them). Many of the CLIs I use have a better secret hygiene than that i.e. allow passwords commands or use secret apis.
13.
by Mic92 8mo ago
I am a human and I can't...
14.
by Mic92 8mo ago
Well the thing is, you have a copyright that you can license. However from what it currently looks like, fine-tuning/training is not copying.
15.
by Mic92 9mo ago
Doesn't make any difference in practice. The debug info is never mapped into memory by the loader. This only matters if you want to store the two separate i.e lazy load debug symbols if needed.
16.
by Mic92 9mo ago
It's ok actually. I have read some Windows code. Certainly better commented than Linux and certainly much more readable than glibc.
17.
by Mic92 9mo ago
I can second that. If there are multiple commits: https://github.com/tummychow/git-absorb is handy to add formatting changes into the right commit after commits already happened.
18.
by Mic92 9mo ago
I think this fits the description well.
19.
by Mic92 9mo ago
We work on GPU accelerated VMs, so that in future we can also bring NixOS + VPNs to desktops/end users to machines that don't run NixOS. We will use it as an application runtime where can control the whole stack. Just now we are m
20.
Show HN: I build a strace clone for macOS(github.com)
8 points by Mic92 10mo ago|0 comments
21.
by Mic92 11mo ago
git has rerere for this usecase, jj doesn't - you have to find the conflict resolution manually in your history in this case if you made a mistake.
22.
by Mic92 11mo ago
I haven't seen anything about requirements for gpg. Also the ux of it is not so great, so it's easy to just not have a signature without causing too much suspicion. Would be a much easier attack than what Jian Tan pulled off. Just
23.
by Mic92 11mo ago
I can't see any of that. They even tell you to not have any gnupg signatures: https://www.openbsd.org/mail.html
24.
by Mic92 11mo ago
Don't they use email to accept contributions? Seems like security nightmare w.r.t to impersonation.
25.
by Mic92 1y ago
We are also working on something as part of clan ( https://clan.lol/ ). Video from our NixCon 2025 talk is hopefully soon out.
26.
by Mic92 1y ago
There is jetpack-nixos, if this an option, which is decently maintained and for a client of numtide we build https://github.com/numtide/nix-gl-host So they can use the host driver in nix based services with Jetson
27.
by Mic92 1y ago
Technically sops-nix doesn't require sops files to be added to the repo. It's just what most people choose because it makes deployment convenient - if you have your deployment tool uploading sops files that would be a way around.
28.
by Mic92 1y ago
One of the nixos-anywhere maintainer here. I am currently debugging the digitalocean cloud-init for the nixos-anywhere-examples repository. Has someone contact to digitalocean regarding that? There is a shebang that could be easily fixed t
29.
by Mic92 2y ago
Also for elliptic curve it seems to be much faster, which is what most people might use these days.
30.
by Mic92 2y ago
This is just for generation of keys not for encrypting/decrypting, which is the common operation for fido/openpgp, I would say.

More ›