mkagenius

5 ms·

31.
by mkagenius 3mo ago
Couldn't find what exact tests they are running. The GitHub repo is very obscure to be read by my human brain.
32.
by mkagenius 3mo ago
If you ever need to switch sandboxes, would be happy to chat.
33.
by mkagenius 3mo ago
There is also a microvm.nix project which helped us support sandboxes with firecracker. So, whole ai workflow pipeline can now be nixos.
34.
by mkagenius 3mo ago
You can close your eyes. Tricky if it's noisy - but then that's an issue in itself.
35.
by mkagenius 3mo ago
I also just finished writing a note - https://mkagenius.substack.com/p/notes-on-mythos-breaking-ae... https://news.ycombinator.com/item?id=49099977
36.
Notes on Mythos Breaking AES(mkagenius.substack.com)
6 points by mkagenius 3mo ago|1 comments
37.
by mkagenius 3mo ago
If you are a pentester who uses mitmproxy you can check out security skills distilled from 4000 Hackerone public disclosures https://GitHub.com/instavm/security-skills
38.
Code mode can help smaller LLM models(instavm.io)
2 points by mkagenius 3mo ago|0 comments
39.
Why AI Agents Need a Two-Tier Architecture(instavm.io)
1 points by mkagenius 3mo ago|0 comments
40.
by mkagenius 3mo ago
> Are you writing for an internet rando who’s got nothing better to do than to hunt for em dashes? Some people even take pride on being able to detect (often falsely) AI generated work.
41.
by mkagenius 3mo ago
One was IMO gold medal winner as well.
42.
by mkagenius 3mo ago
Specific quirk of llms, also pretty much solved by existing thinking models. I think you guys are misunderstanding me, you can still talk to a llm to learn everything about physics or maths.
43.
by mkagenius 3mo ago
they are wrong on the specific nuance of my codebase too, i am talking about learning something - i can still learn everything about software engineering talking to a bot.
44.
by mkagenius 3mo ago
They are solving jacobian conjectures, I don't think they will hallucinate till masters level of any subject. Edit: do give counter examples if you have any in maths, physics, chemistry, biology etc
45.
by mkagenius 3mo ago
> I can't use it for theoretical physics because I can't evaluate the responses. I think pretty much the opposite. I can ask it to explain to me in ways I understand it. Even drill down the simplest of equations. Since llms hav
46.
by mkagenius 3mo ago
It's also unclear what kind of sandboxing they are referring to. Is it the codex one - coz that one has built-in ways to circumvent guardrails, for example by "just asking user" and sometimes just resolves to no sandbox neede
47.
by mkagenius 3mo ago
You might want recheck your theory - https://news.ycombinator.com/item?id=48970377
48.
by mkagenius 3mo ago
What I meant to say there is, all the bloats are going away as we speak, is the bun rewrite a bloat? A slop? why would you call it one if it's not. What if we used AI in a way that produced genuinely better work than humans.
49.
by mkagenius 3mo ago
I am not saying that you hide it. I am asking is it still fair to treat it as a "slop"? slop being a derogatory term here
50.
Is it a slop if it's not sloppy?(mkagenius.substack.com)
4 points by mkagenius 3mo ago|6 comments
51.
by mkagenius 3mo ago
The others work on repository or codebase. Mine works on API traffic realtime captured via mitmproxy. More like a red team.
52.
by mkagenius 3mo ago
Answered in the thread above- https://news.ycombinator.com/item?id=48955273
53.
by mkagenius 3mo ago
Mostly from internal tests. And also some of the companies we know uses firecracker has published benchmarks[1] 1. https://x.com/mlejva/status/2069424250709307451?s=20
54.
by mkagenius 3mo ago
If there is a pentester here who uses mitmproxy, the security skills below (distilled from 4000 h1 disclosures) might help - https://github.com/instavm/security-skills this is just a side project though for me
55.
Show HN: Tarit – a hypervisor which is 2x faster than firecracker(github.com)
12 points by mkagenius 3mo ago|5 comments
56.
by mkagenius 3mo ago
Mostly people are lazy and assume that the big labs can't be releasing unsecure software or it's their responsibility. dangerously skip permissions and yolo is kinda becoming the default as it gets more done.
57.
by mkagenius 3mo ago
I used to ask my coding agent to present two alternatives to choose from while implementing a task, and include a tokens required for each alternative to implement. (So that I can choose one which needs less token vs one which needs more ri
58.
by mkagenius 3mo ago
you mean amodei
59.
by mkagenius 3mo ago
Our nixos sandboxes are mostly a cloud offering at this time. Scale is what we can offer additionally. Have secret injection built in too. I see you have suspend, resume we have the same. We have snapshots and cloning. Startup time is sub s
60.
by mkagenius 3mo ago
If you are into nixos, we at InstaVM have just launched[1] nixos based sandboxes. 1. https://instavm.io/blog/nixos-reproducible-dev-environments-...

More ›