siraben

7 ms·

1.
by siraben 19d ago
Thanks, will look into this as another avenue!
2.
by siraben 19d ago
Yes, this isn't meant to be a complete port and I only started dipping into mrustc because the previous agents were going off the rails. I have mostly been throwing spare weekly quotas at this but deeper thought will be required to get
3.
by siraben 19d ago
Specifically the expensive part is getting a C89 port of mrustc to compile rustc 1.90.0. mrustc needs C++ right now, bootstrapping via TCC by writing it in C89 would be the shorter chain.
4.
by siraben 20d ago
I am working on this![0] But this is actually a herculean task, I've been chipping at it for weeks and even trying to cheat somewhat by translating mrustc from C++ to C89. If anyone has ideas/cheaper ways to run it I would like to
5.
by siraben 2mo ago
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 current point, so that in the future another mode could be added
6.
by siraben 2mo ago
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, whereas I have the logic sufficiently powerful to suppo
7.
by siraben 2mo ago
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 screens) devices every day, so being able to hack on it and h
8.
by siraben 2mo ago
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 can charge two MacBook Pros and an iPhone at full sp
9.
by siraben 2mo ago
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.
10.
by siraben 2mo ago
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 properties about them are just many cases of rule-apply
11.
by siraben 3mo ago
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 ISO: - has no network - can't switch configurations - d
12.
by siraben 3mo ago
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 seemingly innocent changes in the input can cause huge performanc
13.
by siraben 3mo ago
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 can reconstruct the source is possibly legally problem
14.
by siraben 3mo ago
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.
15.
by siraben 3mo ago
Thanks for the feedback, fixing.
16.
by siraben 3mo ago
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 writeup of the process but it was definitely not fully auto
17.
Full Reverse Engineering of the TI-84 Plus Operating System(siraben.github.io)
149 points by siraben 3mo ago|24 comments
18.
by siraben 6mo ago
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/cb0eb96b820a50e11218f0152f2e...
19.
Show HN: Nonograms – Friends-only puzzle room with replays and leaderboards(nonograms.siraben.dev)
5 points by siraben 7mo ago|2 comments
20.
by siraben 8mo ago
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
21.
by siraben 10mo ago
See also: https://en.wikipedia.org/wiki/List_of_Germanic_and_Latinate_...
22.
by siraben 1y ago
croc's throughput was also a lot better for me. I think this is due to them using multiplexed TCP streams.
23.
by siraben 1y ago
Archive link in case it gets taken down: https://archive.is/8MdtL
24.
Cygwin cross-compilation support added to Nixpkgs(github.com)
2 points by siraben 1y ago|0 comments
25.
by siraben 1y ago
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 shortcut, you can use any pager to search through the scrollba
26.
by siraben 1y ago
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?
27.
by siraben 1y ago
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 with an optimizer so you can write programs in assembly-sty
28.
by siraben 1y ago
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...
29.
by siraben 2y ago
Replayed it to get a lower time, got 16m 35s.
30.
by siraben 2y ago
The crypto prices were so unrealistic. I was able to just keep buying Bitcoin with 2x leverage when it was low and make millions when it subsequently went up after. I barely paid attention to any other ways to make stimulation. Please imple

More ›