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
Kant's View of Concepts What is the difference between construction of concepts and analysis of concepts?Construction of concepts and analysis of concepts are two ideas derived from Kant’s idea of concepts, corresponding to 2023-02-05 Philosophy math philosophy