431–440 of 759 posts
If you want to know what I actually made by myself that I'm most proud of it would be this: https://graceofgodmovie.com/ (I am referring to the movie, not the web site.)
[0] https://chromium.googlesource.com/chromium/src/tools/grit/+/...
Earlier quoted context omitted.
Can you elaborate a little bit more about how you partitioned it?
I simply added the "library id" as a prefix to almost every table's primary key. Every lookup specified it with an equality filter, so essentially it was thousands of standalone libraries in a single schema. One hiccup was that when the query cardinality estimator got confused, it would occasionally ignore the partition prefix and do a full scan somewhere, bloating the results by a factor of 2000x! This would cause d…
It's an online tool for writing, checking and typesetting Fitch-style proofs in first-order logic, using the Twelf proof assistant under the hood. Its main feature is that it follows the notation from the teaching material 1-1 and offers no assistance in terms of proof tactics in order to help tech the fundamentals of doing formal proofs while still providing feedback when you make mistakes.
I built it while TAing a course in logic about 7 years ago, and it is still being used to this day.
In the online world, I've contributed bits and pieces to open-source here and there as far back as the late 90s. I think my first contribution was to the shadow package, but I've contributed to Apache, Radius, git, random packages that I use that I discover bugs in, etc.
A python script I wrote to allow folks to bypass AT&T's residential gateway was used by more people than I ever expected:
I guess, my internship project at Apple: I added approximate string search to Spotlight. So even if you made a typo writing something, you’d still get correct search results. Considering Spotlight is used by millions, I guess that’s super impactful?