bbeonx

8 ms·

31.
by bbeonx 8y ago
Look into the Coq language, it is under active development and there is a lot of work going into it. Voevodsky was working in Coq, if I recall. As to how hard it is to learn, you will have to learn a pretty decent amount. It all depends on
32.
by bbeonx 8y ago
Oh cool, this is from Allen Hatcher. I've worked through some of his algebraic topology and it was very well written. I'm excited to look through this
33.
by bbeonx 8y ago
rolls up sleeves alright, folks, let's get to it
34.
by bbeonx 8y ago
Ahhhh, but then they will ask how to print things and you'll have to explain monads :)
35.
by bbeonx 8y ago
Biggus Uptickus
36.
by bbeonx 8y ago
I don't know why people keep posting about this. It really doesn't matter
37.
by bbeonx 8y ago
Just a heads up, there are two types of semigroups out there, and I think that automata theory uses the weird (i.e., non-algebraic) kind, so don't be too disappointed if this doesn't hook in with other standard maths. I have only
38.
by bbeonx 8y ago
I feel like these are both excellent points.
39.
by bbeonx 8y ago
Out of curiosity, what wasn't clear aside from openness? BTW, for those interested, openness is the property assigned to a set of points not containing its boundary. For instance, an open interval (a,b) doesn't contain boundary p
40.
by bbeonx 8y ago
Yeah, it assumes basic algebraic topology (which is not a mild assumption). He states at the top that he is assuming familiarity with homology groups, and chain complexes are used to define homology groups.
41.
by bbeonx 8y ago
So you're saying Python devs are all libertarians? :D <braindump> I agree that coding/development is an art, but I also am hard pressed to find anything that, when done well, isn't an art. The difference is that music d
42.
by bbeonx 8y ago
Nice, I'm posting the Legendre's constantst comment in this thread
43.
by bbeonx 8y ago
My guess is because OP has been burned by the "LEARN THIS NEW THING, IT'S REALLY COOL AND POWERFUL AND ALL OF THE COOL KIDS ARE DOING IT (and oh by the way many of the simple things you do all the time are incredibly inconvenient.
44.
by bbeonx 8y ago
Actually, I'm curious why people don't like white space sensitive languages. I get the tab v space thing, and there are certainly a couple of other down sides, but none of these seem like deal breakers to me. Given that python was
45.
by bbeonx 8y ago
Which is, of course, just a fancy way of writing (-7:30) to 03:00
46.
by bbeonx 8y ago
Yeah, this made sense to me. It took me a minute but I got there. The general strategy is "binary search" which doesn't make for a good article :p. Also, the details of actually implementing the strategy are difficult so an e
47.
by bbeonx 8y ago
Right, I need two keylocks 7 feet apart that need to be turned simultaneously after a security code has been punched in.
48.
by bbeonx 8y ago
I second On Writing Well. Great book, and fun to read. It's funny, editing has always been my favorite part of writing. It's when all of my favorite bits typically get written.
49.
by bbeonx 8y ago
I agree, I like the name.
50.
by bbeonx 8y ago
IMO, even if gerrymandering doesn't have a huge effect on seating in Congress (perhaps it has more effect on state level politics? I didn't read the other commenter's link so I won't make any claims) it makes a lot of di
51.
by bbeonx 8y ago
Ahh, thank you. I was very confused
52.
by bbeonx 8y ago
Semantics. What I should have said is "when the valuation of a wide percentage of peoples earnings and assets who belong to an industry suddenly decreases from unforeseen outside forces caused by rapid technological advances..."
53.
by bbeonx 8y ago
Yeah man, I read that. I stand by my claim.
54.
by bbeonx 8y ago
Oh cool. Yeah, I looked around from "Music Composition Constraint Solving/SMT/Z3" stuff and didn't find anything which was surprising. I'll take a look at Rosette too, I've heard of it a couple times but n
55.
by bbeonx 8y ago
I am writing a Z3 music composer right now actually. Just as a toy project but the idea is solid: you have a passage that you need to harmonize? Here are three different versions that conform to the rules of fuxian counterpoint, etc
56.
by bbeonx 8y ago
Yeah, I've been using z3 for a couple of projects and it is an absolute pleasure. One of my projects involves I'm.entiong part of the JVMs execution in Z3 constraints and we have been able to prove stuff about program equivalence
57.
by bbeonx 8y ago
Different strokes for different folks, man. I get off on quantification. I hyper focus and I cannot do anything passive. Dieting? That's passive: it involves not doing something. All I can think about is the fact that I shouldn'
58.
by bbeonx 8y ago
Correction: Most taxi medallions are not owned by drivers. There are certainly drivers who own their own medallions (18% as of 2012). This is a non-trivial sector
59.
by bbeonx 8y ago
Oh, don't be coy. That's the whole point of the medallion system.
60.
by bbeonx 8y ago
No, of course not. Most restaurants fail. This is expected. There is a difference between a restaurant failing and an industry going under. It really isn't that ridiculous to help folks when their entire industry falls out from under t

More ›