chobytes

10 ms·

91.
by chobytes 5y ago
The concrete instances are demonstrably useful, since theyre... actually used! However in Haskell theyre basically one kind of very concrete object. Invoking the abstract machinery of CT to explain list concatenation just has the hierarchy
92.
by chobytes 5y ago
Haha, I feel like thats how I started to get CT concepts too. Topology and geometry really feel like the "natural" context for those ideas. For programming... I feel like they're basically trying to do logic in a roundabout w
93.
by chobytes 5y ago
Is there any benefit to using these? I imagine that maybe it could save power by keeping light out and uaing better insulation... but I have no idea.
94.
by chobytes 5y ago
I got a bit obsessed with this stuff (CT, HoTT, haskell, etc) and ended up studying math in college because of it. My advice is not to bother with CT. Its out of context, very abstract math, and you wont find any compelling examples or appl
95.
by chobytes 5y ago
To be honest I feel like the functor concept is too abstract and subtle to the point where it's probably not very useful in the context of programming. Worse... their usage in programming languages is very unlike how homomorphisms are
96.
by chobytes 5y ago
Im skeptical of this kind of educational material. It seems like they want to provide the feeling and the aesthetic of learning, but aren't willing to dig in to the hard work of it.
97.
by chobytes 5y ago
Personally I don't think that researchers have any more business doing this kind of surveillance than Google and company do. The idea that this will benefit society seems naive to me. I feel like it will only serve to legitimize the pr
98.
by chobytes 5y ago
This is an awfully generous way to present what looks like yet another in-browser advertising platform.
99.
by chobytes 5y ago
When I was younger I got a bit notable online by doing just this. You can pick up thousands of followers on twitter in a couple weeks by just picking hot topics and big targets, and publicly dunking on them. Ive grown out of the behavior bu
100.
by chobytes 5y ago
This helped me a lot when I was taking calculus. We were assigned Stewart, but I basically learned the from this. Analysis from Rudin, and later some manifold theory from Lee, have converted me to more mainstream views on the subject... How
101.
by chobytes 5y ago
I think it really depends what part of math and what part of computer science you're talking about. Certainly foundations of computation use finite objects from countable sets... But there is more to CS than turing machines and encodin
102.
by chobytes 5y ago
Agreed. With normal math notation I can just see how something works. In programming language math notation I cant even always parse the hierarchy.
103.
by chobytes 5y ago
In my experience you learn math by doing. Its takes personal time and effort and it cannot be spoon fed. A teacher can provide a little guidance, but mostly its up to the student.
104.
by chobytes 5y ago
Works well in Chicago with the CTA. Havent owned a car in years, and just rent when I need one.
105.
by chobytes 5y ago
Im not opposed to the use of proof assistant software for difficult theorems. And if one foundation or another is more applicable to that software, then thats fine. Its more the narrative of the grand unification of mathematics thats spun a
106.
by chobytes 5y ago
Bothers me to no end how many once simple devices have gone this way. I feel like I would be willing to pay more for simpler appliances at this point.
107.
by chobytes 5y ago
I wish we had started with Spivak! Reading Rudin after 3 semesters of Stewart was a lot.
108.
by chobytes 5y ago
...This could be a brilliant technique for collecting funding.
109.
by chobytes 5y ago
This kind of foundational (ZFC,CT,HTT) stuff is pretty niche in mathematics. Set theory, though touted as the foundation of math, isn't really used to its full extremes (HOD, etc) by anyone but set theorists. Its more like... A common
110.
by chobytes 6y ago
I went into my math undergrad having gotten hyped online about CT and HoTT. ...And basically the only time i've seen CT come up is in algebra (they use aluffi). And the only time Ive heard anything about HoTT was when I tried bringing
111.
by chobytes 6y ago
I dont think so. Topology is ubiquitous in mathematics. From Zariski topologies and Stone spaces, to concrete objects like manifolds and topological vector spaces.
112.
by chobytes 6y ago
Differential forms aren't exactly comparable to GA... I would instead look at the relation between exterior algebra and GA. Differentials are a concept that the comes from doing calculus on manifolds, and exterior products of different
113.
by chobytes 6y ago
An important example from CS would be the semigroup action on the set of states of a deterministic finite automaton. The action takes a state from Q, and a symbol from E, and returns a new state. ie f:QxE->Q. In the case when you have so
114.
by chobytes 6y ago
Yeah, I was thinking this was going to be an article about making colors easier to see for colorblind people... but it actually appears to be the opposite. Having some degree color blindness is extremely common. Its depressing how designers
115.
by chobytes 6y ago
Yeah, I have to agree. It's frustrating because CT and these kinds of diagrams can actually be kind of interesting... They are just not nearly as grand or as useful as their proponents would have us believe. (My spicier opinion is that
116.
by chobytes 6y ago
This is a recipe for a very poor education in my opinion. This sort of mass produced educational content, taught by professional educators rather than researchers, produces students who merely know facts and can perform basic algorithms. Re
117.
by chobytes 6y ago
there’s lots of visualizations for spherical harmonics; those are what you’d want to look for. eg https://m.youtube.com/watch?v=Ziz7t1HHwBw
118.
by chobytes 7y ago
the models already account for this. eg in compartmental models both SIS or SIRS have this assumption.
119.
by chobytes 7y ago
Yeah, this sort of stuff is fine supplementary material... but nobody really learns anything from a blog post or some videos.
120.
by chobytes 7y ago
Learn proofs well and you get pretty good and knowing when you’re right. Enough for almost any problem you’ll be likely to encounter in a math textbook anyway.

More ›