calhoun137

8 ms·

31.
by calhoun137 6y ago
My interest in category theory is just as a hobby and an amateur; but I have gone pretty deep reading lots of books and so on. To be fair, category theory has not empowered my work (in programming) at all.
32.
by calhoun137 6y ago
> It seems unlikely that there will be any profound insights from category theory on how to write code I strongly disagree with this. To me it does not seem "unlikely", quite the opposite. The reason I feel so strongly about
33.
by calhoun137 6y ago
I really like this idea! I first got into type theory as a result of an answer by Carl Mummert to a question I asked on Math StackExchange[1]. I even wrote a blog post about it a year later[2]. Ever since then, I have considered type theo
34.
The Fundamental Theorem of Fourier Series(github.com)
2 points by calhoun137 6y ago|0 comments
35.
by calhoun137 6y ago
Project author here. In this video I discuss a crazy hack I discovered for the python exec function, where you can trick it into thinking you passed a dictionary as the 2nd parameter and then it will automatically trigger a series of callb
36.
The Math Inspector Source Code [video](youtube.com)
1 points by calhoun137 6y ago|1 comments
37.
by calhoun137 6y ago
Yeah homebrew has some major compatibility issues with tcl/tk used by math inspector. I ended up installing python from the website and removing the homebrew install to get everything to build properly. Hopefully this issue can be re
38.
by calhoun137 6y ago
Thank you so much! I feel like there is a massive vacuum in the software ecosystem for a product like this. I'd really like to support LaTeX in multiple ways throughout the app, and have plans to build a feature to automate the animat
39.
by calhoun137 6y ago
getting on the front page like this was quite unexpected and has completely made my day =) =) =)
40.
by calhoun137 6y ago
Thank you so much! Well I tried to make it work so that literally any project you have sitting on your system can be imported into the app. In principle it should work, in practice the amount of block code elements can quickly become over
41.
by calhoun137 6y ago
Project author here. I have been working so hard for the past 3 months on this app, and last year tried to submitting the alpha version to hacker news a few times but that version was a lot less polished and didn't get much attention.
42.
by calhoun137 6y ago
Great question! The plotting library is it's own stand alone module, and there is a `plot` function which accepts an arbitrary number of arguments. This is how the app is able to plot multiple graphs at the same time. Using tuple&#x2
43.
by calhoun137 6y ago
Python is very well suited for being mapped to a block coding environment because it has such a large number of helper functions which enumerate all the things each module/object/function can do. I have considered doing a similar
44.
by calhoun137 6y ago
oh whoops! I saw that error earlier and forgot to fix it. The idea was to replicate sublime text's feature for highlighting words with ctrl+d, but there is some kind of error for detecting when ctrl is being used as a modifier key in
45.
by calhoun137 6y ago
There is! I didn't build and codesign the linux version yet (just ran out of steam and needed a few days of rest), but I set up everything in a VM and got it working on my mac through x11. If you follow the instructions in the install
46.
by calhoun137 6y ago
Thank you!!! I worked so hard on this project, and really appreciate the kind words
47.
by calhoun137 6y ago
A really great way to learn more about numpy is with Math Inspector[1]. It creates a block coding environment which works with the entire numpy/scipy stack, it also has an interactive 2d and 3d plotting library that updates the functi
48.
by calhoun137 6y ago
Very interesting article! I try to stick to 80 but often times find the code is more readable when some particular lines are longer than 80. I dont see any reason to impose an arbitrary historical constraint when it will make the code har
49.
by calhoun137 6y ago
Project author here! Please let me know any feedback you have about this project. I wanted to make a free open source math program that was better than any other product on the market. How did I do?
50.
MathInspector: Open-source release GNU GPL V3(github.com)
3 points by calhoun137 6y ago|1 comments
51.
by calhoun137 7y ago
I apologize for my hostile response. You have been extremely helpful and this was out of line. Please see this recent HN post from today which is extremely relevant: https://news.ycombinator.com/item?id=22839035 Also pleas
52.
by calhoun137 7y ago
> It's the rather trivial limit. I mean, it's pretty clear the limiting maximum for my walking speed is also the speed of light I was very intrigued that you were using relativistic arguments to support your point of view. I t
53.
by calhoun137 7y ago
May he rest in peace, and may his place be among the great mathematicians of all time
54.
by calhoun137 7y ago
> The nervous system does not work at the speed of light I think it's ok to call a limiting maximum velocity for the transmission of signals by definition "the speed of light in the human body". Your point is well taken a
55.
by calhoun137 7y ago
I agree with everything eesmith has said to me so far in our discussion. I apologize for not communicating how seriously I take all of his replies to me, or how helpful this is for my research I am working on a very fun project making a 3d
56.
Algorithm could solve NP Complete problem in P time(medium.com)
3 points by calhoun137 7y ago|4 comments
57.
by calhoun137 7y ago
How interesting. You have given me quite a lot to think about it. I am still unable to get past the following, but I will continue to consider everything you have said in our discussion very carefully. Issue: I carried out theoretical phy
58.
by calhoun137 7y ago
> What if they are not able to do so? Good question! Since you have already corrected one of my mistakes, I don't want to start off by disagreeing lol In my head, this is just a silly word problem, the purpose of which is to show t
59.
by calhoun137 7y ago
Thanks for this. After much research I have concluded that your reply here is accurate and my previous reply contained either misleading or wrong information. Your comments about space and high-level excution frames are on point imo. Tha
60.
New Conjecture in the Theory of Computation and the P vs. NP Problem(medium.com)
1 points by calhoun137 7y ago|1 comments

More ›