Resilient Vote ResVote: A Scalable and Secure Online Voting System Built on ResilientDB Our Motivation Traditional voting systems, such as in-person voting and mail-in ballots, are often slow, prone to errors, and 2024-12-08 Science Computer Science Distributed Systems Database Security ResilientDB
Be Careful Using Python Iterator Be Careful Using Python IteratorIn a recent experiment, I encountered a bug where all the results were shown as negative. After debugging, I found that the bug was caused by using the same iterator tw 2023-08-20 Science programming functional computer science python
Clang Global Constructors Global Constructors Generated by ClangBackgroundIn ReportFunctionExecutedPass, we are trying to build a customized C/C++ compiler for our research project to gather IO pairs of functions when fuzzing. 2023-08-07 Science compilers computer science LLVM clang frontend
Category Theory as Mathematical Foundation What are some objections to taking category theory as a mathematical foundation?Category theory (CT) is a two sorted system of objects and arrows such that the axioms are satisfied. To take something 2023-03-06 Philosophy math philosophy
Mathematical Structuralism The difference between in re and ante rem mathematical structuralism.Priority of Structure to ObjectMathematical structuralism is a view that takes structural as first-class citizens in philosophy. Ma 2023-02-26 Philosophy math philosophy
Workout Plan 2023 03 Workout Plan6 week, deadlift 345lb -> 365lb This plan is generated by ChatGPT. I’ll try it and see if ChatGPT’s plan actually works. Week 1-2:Day 1: Warm up with dynamic stretches. 3 sets of 5 rep 2023-02-26 Random
Mathematical Realism What is mathematical realism and what problems does it face?Mathematical realism is a philosophy view that believes mathematical objects, such as numbers, sets, functions, groups, rings exists indepe 2023-02-19 Philosophy math philosophy
Dedekind's Structuralist View of Natural Numbers Connect Dedekind’s structuralist view of natural numbers to the Hilbert and Bernays quotes Hilbert: We think of … points, straight lines, and plans as having certain mutual relations, which we indicat 2023-02-14 Philosophy math philosophy
Frege-Hilbert Controversy What was the Frege/Hilbert debate and what difference did it reveal between Frege and Hilbert?Frege’s viewThe Frege Hilbert debate was a controversy about the nature of geometry. Gottlob Frege viewed 2023-02-12 Philosophy math philosophy
Hilbert's Program and Godel's Inconsistency Theorem What are Godel’s Theorem and how did they collapse Hilbert’s program?Hilbert’s program is a way to show that an axioms system is both consistent and complete. Godel’s incompleteness theorems has two p 2023-02-09 Philosophy math philosophy