Viewing profile — candleknight

kitty is great, but I stopped using it because iTerm's terminal search feature - which I use almost daily - is much more ergonomic. The existing solution in kitty (pipe scrollback …

I have a repository where I make classic programs (game of life, sudoku solver, brainfuck interpreter, etc) but entirely within Typescript's type system https://github.com/ruyili/c…

> First of all, there are no otters here. I'm utterly sorry about that. incredibly important suggestion: replace "utterly" with "otterly"

Awesome work on this, it looks like a game changer! From my (admittedly limited) knowledge on this space, it seems like this is a straight upgrade over WASM, with the only limiting…

but that'll be at runtime

Starting off with "In the realm of..." instantly gave it away

the combat is intense, it really felt like i was slowly getting pickaxed to death

this gives me an idea for a new typescript type level project

TS Playground: https://tsplay.dev/brainfuck Scroll down to the "test cases" section and hover over the type names to see the output.

This is hilarious, I'm changing all my websites to have "Made with cold indifference by $NAME" in the footer now

The last time I tried, it was pretty slow to fire up, especially when I tried to run multiple submissions at once. It's also even more overkill for my use case; I currently use iso…

Would unikernels be feasible for online judge platforms (e.g. codeforces, leetcode)? I was thinking something along the lines of: spawning a unikernel for each submission -> runnin…

GitHub: https://github.com/RuyiLi/cursed-typescript/blob/master/rand... Hi HN! I wrote a small file that solves sudoku puzzles at the type level - that is, entirely within TypeScri…

I got the following error when I opened up a game page in my library (Hyper Light Drifter, if it matters): Check failed: g.steam_receive_prefix_bytes[1] == 0x31305456 File: client_…

the power of tail call optimization :)

TypeScript playground: https://www.typescriptlang.org/play?#code/KYDwDg9gTgLgBDAnmY...

university of waterloo as well, although thankfully classes start in two weeks for us

awesome game, i thoroughly enjoyed flinging pieces off the board at mach 30 for 30 minutes straight

This was so well edited, I could only tell that it was fake since the sofa didn't have a reflection

> Are there any practical applications for this app? > Nope! > It's really hard to use! > Yup! lol appreciate the honesty, this is crazy though. Mad respect

Hi HN! I made a browser extension (Firefox, Chrome, Edge) that lets you navigate to websites you frequent using a nice, memorable name you can set yourself. If you're familiar with…

> I've seen excellent competitive programmers end up being mediocre engineers I've seen the opposite. I know many extremely talented competitive programmers (IOI, CCO, USACO platin…

Looks awesome! A filter for internships would be really helpful