Search found 259 matches

by lalop
Fri Nov 20, 2015 6:04 pm UTC
Forum: Coding
Topic: Coding: Fleeting Thoughts
Replies: 9730
Views: 1525061

Re: Coding: Fleeting Thoughts

From http://forums.xkcd.com/viewtopic.php?p=3483288#p3483288: There is no point in "immutable OOP" as the whole idea of OOP is to split the total program state into the islands of nearly-independent micro-states to make program state modifications as local as possible. Erlang may be a coun...
by lalop
Wed Nov 18, 2015 4:17 pm UTC
Forum: Coding
Topic: The "IT DOESN'T WORK!" thread
Replies: 1958
Views: 472333

Re: The "IT DOESN'T WORK!" thread

What about symlinking another name to the remote file, then importing from the symlink instead?
by lalop
Wed Nov 18, 2015 2:03 pm UTC
Forum: Coding
Topic: repetitive code when i try functional programming
Replies: 7
Views: 6116

Re: repetitive code when i try functional programming

Like EvanED's last example, but as a single expression:

Code: Select all

foo a b c y =
  (\ x ->
    if x == y || (x*y `mod` 2) == 0 || x == 1
       then goo (x+1) (x-1)
       else goo (x+2) (x-2)
  ) (a^b `mod` c)
by lalop
Mon Nov 16, 2015 11:57 am UTC
Forum: Religious Wars
Topic: Firefox vs. Chrome: Is it time for me to throw in the towel?
Replies: 42
Views: 25370

Re: Firefox vs. Chrome: Is it time for me to throw in the to

First of all, are you serious? Hypothetically, if your favorite theme in any particular program would occasionally flash to its opposite color, would you not see that as a problem? I suspect it would be more than a problem. It might even be a health hazard. And "adjust your color settings so th...
by lalop
Sun Nov 15, 2015 6:21 pm UTC
Forum: Religious Wars
Topic: Firefox vs. Chrome: Is it time for me to throw in the towel?
Replies: 42
Views: 25370

Re: Firefox vs. Chrome: Is it time for me to throw in the to

I switched from Chrome due to this many-years-old bug, that shows no sign of being fixed: https://code.google.com/p/chromium/issues/detail?id=128290 https://code.google.com/p/chromium/issues/detail?id=119871 https://code.google.com/p/chromium/issues/detail?id=311 I'd literally gotten used to shuttin...
by lalop
Sat Apr 11, 2015 8:43 am UTC
Forum: Religious Wars
Topic: Subject/Object/Verb ordering in code
Replies: 23
Views: 6970

Re: Subject/Object/Verb ordering in code

Why not just get_x(coord)? More seriously, the example question is ambiguous, because the x-coordinate is a thing. That is, people can understand it either as "how to write getting the x from a coord" or "how to write getting the x-coord". Only with the former interpretation does...
by lalop
Wed Feb 04, 2015 9:16 am UTC
Forum: Individual XKCD Comic Threads
Topic: 1270: Functional
Replies: 171
Views: 38908

Re: 1270: Functional

True, but my concern is with the party line. Most of the answers I've seen on the internet, including old replies in this thread, immediately point out the IO Monad, scaring the reader away both from Haskell and from trying to understand pure IO in general. I also remembered my own confusion back wh...
by lalop
Tue Feb 03, 2015 7:39 pm UTC
Forum: Individual XKCD Comic Threads
Topic: 1270: Functional
Replies: 171
Views: 38908

Re: 1270: Functional

With regard to the difficulty of understanding pure IO: http://blog.jle.im/entry/io-monad-considered-harmful “How does Haskell, a pure language, handle impure side-effects?” ...the answer is anything except “the IO Monad”. If I were to make a list of the most misleading, incorrect, dangerous, and di...
by lalop
Wed Jan 14, 2015 8:18 pm UTC
Forum: Religious Wars
Topic: Is 0 a natural number?
Replies: 35
Views: 13210

Re: Is 0 a natural number?

I say yes, because we already have a name the set {1, 2, 3, ...}, which is "positive number integers". I agree on grounds of this being cleaner than calling {0,1,2,...} the "nonnegative integers". No point in giving both shorter names to {1,2,3,...}. 0 is extremely natural, anyw...
by lalop
Tue Jan 06, 2015 4:47 pm UTC
Forum: Religious Wars
Topic: Best keyboard switch?
Replies: 43
Views: 14613

Re: Best keyboard switch?

It might also help that I've customized my browsing and program navigation to be pretty much like gaming (emacs+evil, firefox+vimperator, ranger, zathura) vim is no game - it's serious business. What I meant was that I've remapped the default navigation of all those programs to focus around the sam...
by lalop
Mon Jan 05, 2015 7:55 pm UTC
Forum: Religious Wars
Topic: Best keyboard switch?
Replies: 43
Views: 14613

Re: Best keyboard switch?

Been using Reds for a while. I like them because they're low-resistance and sort of get out of my way. Also (though this may be a matter of practice), when I last tried blues, I was unable to prevent bottoming out after pushing past the actuation point. It might also help that I've customized my bro...
by lalop
Fri Nov 14, 2014 5:50 pm UTC
Forum: Religious Wars
Topic: Engineering Typesetting
Replies: 8
Views: 7456

Re: Engineering Typesetting

I would love an alternative to LaTeX, preferably one with a cleaner, more powerful language than TeX/Lua. (Alternatively, maybe I'm "doing it wrong"? I mainly use Lua to compute then tex.print templates one heavily-escaped line at a time; if there's something more elegant I ought to be doi...
by lalop
Tue Jun 03, 2014 5:04 pm UTC
Forum: Religious Wars
Topic: Colemak versus Dvorak
Replies: 54
Views: 85457

Re: Colemak versus Dvorak

I'm using MTGAP's dataset for the English analysis. Narrowed-down datasets (including Java, C) can be found in the freq_types folder . Even for those two languages, the data still indicates more instances of " than all the other listed special characters except =. And that's not even getting in...
by lalop
Tue Jun 03, 2014 11:30 am UTC
Forum: Religious Wars
Topic: Colemak versus Dvorak
Replies: 54
Views: 85457

Re: Colemak versus Dvorak

ajh: I'm sorry to hear that. T_T My original suspicion was that Neo's frequent same-finger usage was due to being optimized for German, rather than English. However, preliminary results 1 now suggest otherwise; Neo appears to have relatively high same-finger when typing German as well: Preliminary R...
by lalop
Sun Jun 01, 2014 7:45 am UTC
Forum: Religious Wars
Topic: Colemak versus Dvorak
Replies: 54
Views: 85457

Re: Colemak versus Dvorak

I hope people aren't regularly using Neo to type English; it has even more frequent same-finger usage than QWERTY! Keyboard Layout Same-Finger¹ Period Colemak 1.72% 58 Dvorak 2.36% 42 QWERTY 4.95% 20 Neo (English) 5.86% 17 the worst offenders being: digraphs Frequency Period al/la 0.88% 114 ce/ec 0....
by lalop
Tue May 20, 2014 12:34 pm UTC
Forum: Mathematics
Topic: Bad math
Replies: 88
Views: 14504

Re: Bad math

I'm a little bit rusty, so sorry if this is a trivial question, but is it known for sure that there are uncountable hyperrnaturals (i.e. {1,...,N} is uncountable, as an index set for an uncountable sum), and, well, in what sense, since that set is finite in the hyperreals. Does this mean there are &...
by lalop
Fri May 16, 2014 5:13 pm UTC
Forum: Mathematics
Topic: Can I assume always "same" answer to quadratic formula?
Replies: 7
Views: 2737

Re: Can I assume always "same" answer to quadratic formula?

I'm wondering the following: 1) Solution comes from quadratic formula 2) I expect only 1 (or 0) real life answers 3) Test final equation with several real life values and always same "sign" gives the real answer 4) Can I assume that the real answer will continue to come from that same sig...
by lalop
Tue Apr 08, 2014 2:13 pm UTC
Forum: Mathematics
Topic: A peculiar equation
Replies: 2
Views: 2348

Re: A peculiar equation

Literal answer of "how", rather than actual solution:

Spoiler:
Completing the square, you'll end up with an equation of the form

(x-a)^2 + (y-b)^2 + (z-c)^2 = 0

where a,b,c are reals. This forces x-a = y-b = z-c = 0.
by lalop
Mon Apr 07, 2014 2:51 pm UTC
Forum: Mathematics
Topic: Do I not understand genetics, or do I not understand math?
Replies: 26
Views: 4246

Re: Do I not understand genetics, or do I not understand mat

But is that it? Overlap? It's just overlap? A million ancestors in ~500 years is culled simply by overlap? What else would it be culled by? Keep in mind that the culling would also be exponential: a "same n-ancestor" (an ancestor that appears twice in the nth generation) would cut the num...
by lalop
Fri Mar 28, 2014 6:21 pm UTC
Forum: Mathematics
Topic: "Oh no! We forgot how to say... math... stuff!"
Replies: 294
Views: 83249

Re: "Oh no! We forgot how to say... math... stuff!"

h is a standard infinitesimal number There's no such thing, so I assume you mean non-standard. Can you provide a definition for the first (and nth) order infinitesimal parts? I'm afraid I don't understand the rest of the argument without this. What's the rationale for leaving the derivative a non-s...
by lalop
Fri Mar 28, 2014 5:30 pm UTC
Forum: Mathematics
Topic: "Oh no! We forgot how to say... math... stuff!"
Replies: 294
Views: 83249

Re: "Oh no! We forgot how to say... math... stuff!"

First impression: I like it! Differentiation would be done with a function d x , which would be defined essentially the same as the finite difference operator, but with an infinitesimal difference in x, and a restriction to only first order infinitesimals in the result (so no 2 ( d x x) terms allowe...
by lalop
Sun Mar 16, 2014 9:13 pm UTC
Forum: Mathematics
Topic: Indefinite integral question
Replies: 10
Views: 2383

Re: Indefinite integral question

int(fg)=f*Int(g). Now, that last result looks rather promising, but I'm not quite sure how to pick some functions to show that int(fg)=f*Int(g) can't be true. f = x, g = 1/x (x > 0)? Left: int(fg) = int(1) = x + C (pretty evident from looking at the area under 1 between 0 and x&...
by lalop
Tue Mar 11, 2014 6:55 am UTC
Forum: Mathematics
Topic: Circularity in Formal Languages?
Replies: 51
Views: 10691

Re: Circularity in Formal Languages?

With the disclaimer that I have only weak background in this: I would treat the metalanguage as an informal, rather than formal, language that, since it's being used by mathematicians in practice, still retains most of the good properties of the formal language. My impression has been that there's a...
by lalop
Mon Mar 10, 2014 10:14 am UTC
Forum: Mathematics
Topic: Gravitational Constant
Replies: 10
Views: 3644

Re: Gravitational Constant

As a sanity check, "constant" typically refers to something that does not vary. So if you have to plug something into a constant, that should set off a few alarms.
by lalop
Sat Mar 08, 2014 6:31 am UTC
Forum: Mathematics
Topic: Axiomatic mathematics has no foundation
Replies: 158
Views: 29838

Re: Axiomatic mathematics has no foundation

This old flame might be at least interesting: http://golem.ph.utexas.edu/category/2012/12/rethinking_set_theory.html TLDR: category theoretic, rather than set theoretic axioms. The axioms are much less contentious: we pretty clearly can't get rid of any of them without breaking what we think of as [...
by lalop
Fri Mar 07, 2014 7:37 pm UTC
Forum: Mathematics
Topic: The golden menhir on the mysterious plain
Replies: 16
Views: 5058

Re: The golden menhir on the mysterious plain

Visual width contraction is 14.62cm out of 2m; at that distance, barely noticable. If I threw you a ball, I think you would notice it. I don't think I would. A ball of radius m=5cm, s=10m away, would appear to have radius 4.63cm, not a difference I'd notice off the bat. To try a different tact, the...
by lalop
Fri Mar 07, 2014 4:08 pm UTC
Forum: Mathematics
Topic: The golden menhir on the mysterious plain
Replies: 16
Views: 5058

Re: The golden menhir on the mysterious plain

I just realized that the decoupled geodesics would lead to some pretty weird effects for objects near the center [not to be confused with Center] of M, aka the identified outer boundary of W. For instance, an object at the center in M would appear as a giant wall surrounding everyone in W. So there ...
by lalop
Thu Mar 06, 2014 5:11 am UTC
Forum: Mathematics
Topic: The golden menhir on the mysterious plain
Replies: 16
Views: 5058

Re: The golden menhir on the mysterious plain

Come to think of it, if light travels along the geodesics of M, then even though you'd get all the previously analyzed length contraction and whatnot in W, you'd still see the world as if it were M. But if (this probably breaks physics), light travels along the "straight line" geodesics of...
by lalop
Wed Mar 05, 2014 8:38 pm UTC
Forum: Mathematics
Topic: The golden menhir on the mysterious plain
Replies: 16
Views: 5058

Re: The golden menhir on the mysterious plain

Here's a more rigorous refinement to my suggestion above (with actual space rather than just "somehow corresponds to"!) Can someone with knowledge in geometry please check that what I'm saying is sane? Let cD be a closed disc of radius r_d, bD be the boundary of that disc. Let ~ be the rel...
by lalop
Wed Mar 05, 2014 2:26 pm UTC
Forum: Mathematics
Topic: The golden menhir on the mysterious plain
Replies: 16
Views: 5058

Re: The golden menhir on the mysterious plain

I'm not a geometer, but it seems to me you just take a closed disk (for the surface) x R (for height), identify all the points on the boundary of the closed disk, and call that the Center. Alternatively, identify all antipodal points on the boundary. The Central Menhir would then be a cylinder obscu...
by lalop
Fri Feb 14, 2014 5:24 pm UTC
Forum: Mathematics
Topic: expressing finite amount of sets with notation
Replies: 7
Views: 2113

Re: expressing finite amount of sets with notation

T_1,...,T_n ∈ T ⇒ T_1 ∩ ... ∩ T_n ∈ T This is a little bit of an abuse of notation, in that it doesn't specify whether n is allowed to be 1.5, or what happens if n is 0. So if you need rigor, spell it out. ∀A∀B(A∩B⊃T) That actually reads "T is a subset of every intersection.. ever." Which ...
by lalop
Thu Feb 13, 2014 4:18 am UTC
Forum: Mathematics
Topic: Set Theory Question
Replies: 1
Views: 1292

Re: Set Theory Question

Assume, for contradiction, that D is countable, so that you can list the elements of D as something like this: 1 -> 1, 2, 3, 4, 5, ... 2 -> 200, 10, 5, 8, 9, ... 3 -> 88, 90, 2, 4, 6, ... ... Working "diagonally", find a sequence whose tail eventually gets bigger than all of these. Ensure ...
by lalop
Mon Feb 10, 2014 3:52 am UTC
Forum: Mathematics
Topic: One divided by Zero (1/0)
Replies: 44
Views: 6309

Re: One divided by Zero (1/0)

tldr: you can define your own reals with 1/0 = ∞ if you really want; it just breaks many axioms that make proofs simpler, while gaining you nothing most of the time. A set S is well ordered by the operator < iff ∀ x ≠ y ∈ S , x < y or x > y . The projective line does not satisfy that definition for ...
by lalop
Wed Feb 05, 2014 8:07 am UTC
Forum: Religious Wars
Topic: Why are iOS updates near-simultaneous?
Replies: 6
Views: 5502

Re: Why are iOS updates near-simultaneous?

Is is staggered, no?

the notification announcing availability of the new iOS is staggered over a few days to help spread out the signaling load.


http://www2.alcatel-lucent.com/blogs/co ... -networks/
by lalop
Tue Dec 17, 2013 2:13 am UTC
Forum: Religious Wars
Topic: Lua vs Python
Replies: 15
Views: 17829

Re: Lua vs Python

Use it as often as you want. Assuming you don't have a programming project, you'd probably use it for the occasional script - it's one of the most convenient languages for doing so.

You'd really only use LUA if you're writing an embedded script for something that uses LUA.
by lalop
Mon Dec 16, 2013 6:09 pm UTC
Forum: Religious Wars
Topic: Lua vs Python
Replies: 15
Views: 17829

Re: Lua vs Python

Not sure this is really a religious war, but: Python. I'd give it a minor to moderate edge in ease of learning (at worst , they're about comparable) and it has more power (in the sense of programming features ), libraries, and tools. Where Lua shines is in its lightweightness, which has led to it be...
by lalop
Tue Dec 03, 2013 9:18 am UTC
Forum: Individual XKCD Comic Threads
Topic: 1270: Functional
Replies: 171
Views: 38908

Re: 1270: Functional

Strictly speaking, there's only one tape. Also, the data on it is in binary - each tape "cell" is either marked or unmarked. But of course, the TM could decode / encode hex data on the tape. IIRC (and I think it's pretty obvious) that's equivalent in power to having an input and output ta...
by lalop
Sat Nov 30, 2013 3:07 am UTC
Forum: Individual XKCD Comic Threads
Topic: 1270: Functional
Replies: 171
Views: 38908

Re: 1270: Functional

Turing-completeness only tells about computability. It doesn't say about how input-output could be organized. Quite right. What I meant was that, given that there's a fully functional language out there (including I/O), and it's turing complete, that should imply that any program can be implemented...
by lalop
Fri Nov 29, 2013 2:12 pm UTC
Forum: Individual XKCD Comic Threads
Topic: 1270: Functional
Replies: 171
Views: 38908

Re: 1270: Functional

What I said was, you aren't allowed to mutate variables - that would be a non-functional, imperative style of programming. What Kit said was that this does not limit the theoretical expressiveness of functional programming: given any imperative program, you can write a functional program that does t...
by lalop
Fri Nov 29, 2013 12:50 pm UTC
Forum: Individual XKCD Comic Threads
Topic: 1270: Functional
Replies: 171
Views: 38908

Re: 1270: Functional

To me, functional programming just looks like you cram a whole section of code into a single function. That's actually more imperative programming, since in that paradigm you can manipulate states as long as you well please. A purely functional.. erm, function, should really be only one statement (...

Go to advanced search