babush

Joined 1 year ago

Karma

30

Submissions

23

Member since

Mar 27

View on Hacker News

Recent submissions

What agents see when they search MCP tools babush.me

1 babush 10 days ago 0 comments

Comment · 1 month ago

Comment · 1 month ago

I asked Claude to "fuzz the circuit" and, while it didn't work, it basically ended up going the Z3/SMT route and solving it in ~3 hours. This is after the writeups were already out, but still, as a software reverser, pretty wild. Writeup: https://www.babush.me/how-not-to-solve-jane-streets-asic-puz...

How not to solve Jane Street's ASIC puzzle. Kinda babush.me

2 babush 1 month ago 1 comments

Comment · 6 months ago

Mixed feelings about creative work and AI, but if it wasn't for LLMs I would have chosen a different software than Blender for my hobby-level 2D animation. Made a Blender plugin w/ Claude, and it's saving me so much time (:

Show HN: Xr – Ripgrep for Binary Xrefs github.com

4 babush 8 months ago 0 comments

Show HN: Nonna – code slop detector that runs in the browser babush.me

2 babush 8 months ago 0 comments

Show HN: LLVM-jutsu: Anti-LLM obfuscation pass github.com

8 babush 10 months ago 0 comments

Show HN: Anki Jam – Anki add-on for looping, pitch-shifting and drilling riffs github.com

4 babush 11 months ago 0 comments

Comment · 11 months ago

Scanning my messages with my mom is going to give that much extra edge in a war with Russia.

> If you think this time America will save the entire West like in movies

Ugh

Comment · 1 year ago

I never mentioned a computer.

Comment · 1 year ago

"Algorithmic collusion"... If using an algorithm leads to collusion, then choosing to use the algorithm should be considered regular collusion.

Comment · 1 year ago

Can gravity buy out magnetism?