Viewing profile — siraben

Thank you for the feedback! Will address. Yeah, I intentionally tried to not make the UI too easy to prove things and it shows all possible actions that can be taken from the curre…

I've been working on an interactive click-and-prove prover that is backed by dependently typed terms.[0] The Proof Machine only goes up to some Simply-Typed Lambda Calculus terms, …

The Z80 was how I learned assembly programming in high school.[0] Was a bit of an unusual choice, but high school students still carry these funky Z80 (or eZ80 now with the color s…

I love traveling with this Anker 160W charger, which has 3 USB-C ports.[0] I just found out about GaN technology last year and I can't believe it isn't more widespread. This one ca…

I use croc instead of magic wormhole as of a year ago now. In my testing the throughput is higher than magic wormhole because it uses multiple TCP connections to transfer the files…

This is very cool! I'd like to see a version for theorem proving/equational reasoning as well because I think the ideas behind reasoning about functional programs and proving prope…

I got a bootable NixOS iso down to 91 MB. Pointed Claude at the Nixpkgs repo and asked it to strip things aggressively and inspect the build closure iteratively. But the resulting …

Yes, to type a TI-BASIC program you have to go through the calculator menus which directly insert the tokenized input into the buffer. The weird thing about TI-BASIC is how seeming…

It's highly likely that the original implementation language was assembly. The code is very idiomatic. Regarding source build, I think reverse engineering it to the point where you…

The plans are heavily subsidized by the AI companies so I didn't end up needing to do API usage or buy another subscription. I have ChatGPT Pro and Claude Code Max.

Thanks for the feedback, fixing.

This was made collaboratively by me directing coding agents at the binary, using Ghidra MCP extensively, disassembly and also dynamic analysis with an emulator. I don't have a writ…

Without installing anything, this can also be reproduced with a shell script that uses a Nix shebang to specify the cross compilers. https://gist.github.com/siraben/cb0eb96b820a50e…

Invite code: hackernews. No email required for signup. My friend group loves playing nonograms and competing against each other, but we always send each other screenshots of the so…

browsh and carbonyl[0] are such lifesavers on airplane wifi. I find that carbonyl has even better chromium rendering than browsh. [0] https://github.com/fathyb/carbonyl

See also: https://en.wikipedia.org/wiki/List_of_Germanic_and_Latinate_...

croc's throughput was also a lot better for me. I think this is due to them using multiplexed TCP streams.

Archive link in case it gets taken down: https://archive.is/8MdtL

My favorite aspect of kitty is the infinite scrollback. My scrollback is 10000 lines long and scrollback buffer itself can store 1 GB worth of history.[0] When you hit a certain sh…

I often use jump hosts in SSH, but is the only way to do this in mosh to mosh into the relay and then mosh again?

Fractran is a cool esolang that looks impossible to write any programs in at first until you systematically trace through some examples. A while ago I wrote an assembler in Haskell…

candy waves on a shore: https://tixy.land/?code=sin%28i*t%2F128%29 candy lasers redux: https://tixy.land/?code=0.2%2Bsin%28i*t%2F64%29%2B.3*sin%288...