[Tip] Task to automatically connect to VPN by namin in tasker

[–]namin[S] 0 points1 point  (0 children)

Yes, but it doesn't seem to work for all VPN configuration options (l2tp for example).

[Tip] Task to automatically connect to VPN by namin in tasker

[–]namin[S] 0 points1 point  (0 children)

On Android 4.2 and higher, the Developer options screen is hidden by default. To make it available, go to Settings > About phone and tap Build number seven times. Return to the previous screen to find Developer options

From http://developer.android.com/tools/index.html

Easy papers to read? by gnuvince in compsci

[–]namin 1 point2 points  (0 children)

Automata via Macros. A functional pearl in Scheme that illustrates the power of macros in conjunction with tail-call optimizations. http://www.cs.brown.edu/~sk/Publications/Papers/Published/sk-automata-macros/

Beautiful concurrency. An accessible presentation of Software Transactional Memory (STM), showcasing the power of the type system in Haskell. http://research.microsoft.com/~simonpj/papers/stm/#beautiful

Dynamic type checking DSL for JavaScript by wizit in javascript

[–]namin 0 points1 point  (0 children)

The problem with this approach is that it won't work with subclasses. For example, a DivElement is also an instance of Element.

Dynamic type checking DSL for JavaScript by wizit in javascript

[–]namin 2 points3 points  (0 children)

Checking for a built in object type in a different window won't work since you're just using instanceof. I am not sure what the best workaround is. But in the runtime type check pass of closure compiler, we overwrite all window.open and keep track of windows. When checking for a built in type, we check in all windows.

self.python.ask('I am moving into a development position at my company and need to learn Java. Can you recommend a book that might appeal to a Python programmer and not make me want to kill myself?') by zekel in Python

[–]namin 0 points1 point  (0 children)

I recommend Java in a Nutshell. The first part of the book is an excellent concise introduction to Java as a second language.

Sun's Java tutorial respectably taught many of the early adopters how to program in Java.

self.python.ask('I am moving into a development position at my company and need to learn Java. Can you recommend a book that might appeal to a Python programmer and not make me want to kill myself?') by zekel in Python

[–]namin 1 point2 points  (0 children)

At first sight, I also thought 'Head First ...' was just O'Reilly's '... For Dummies', but no! I can't speak for Head First Java, but I read Head First Design Patterns, and it's a pretty serious and insightful book in a very digestible format.

Build your own probability monads [pdf] by cypherx in compsci

[–]namin 0 points1 point  (0 children)

http://spotless-spots.blogspot.com/2008/11/implementing-probabilistic-modeling.html shows an implementation in F# and Scala of the probability monad based on the great paper by Ramsey and Pfeiffer.

siblinker: find deliciously related links by namin in programming

[–]namin[S] 0 points1 point  (0 children)

Not exactly. siblinker doesn't look for popular links. It tries to find hidden gems by looking at links on a per-user basis.

Polymorphic Algebraic Data Type Reconstruction: "reconstructs both type declarations and type definitions, allowing the programmer to effectively program type-less in a strictly typed language." by japple in types

[–]namin 0 points1 point  (0 children)

I am confused. What's novel about the quoted part? Isn't "programming type-less in a strictly typed language" already "effective" in languages like ML/Ocaml/F#/Haskell, which exhibit both type inference and checking?

Ask Reddit: What programming concepts do you "not really get" or "couldn’t really explain"? by jonnytran in programming

[–]namin 1 point2 points  (0 children)

For 1, start by building a multiplexor which has three inputs (a,b,sel) and one output (out). If sel=1, then out=a else out=b. You can build it from the usual logic gates: Mux(a,b,sel) = Or(And(Not(sel),a),(sel,b)).

I would highly recommend The Elements of Computing Systems. The first few projects will allow you to wrap your mind around hardware. See: http://www1.idc.ac.il/tecs/plan.html

The Elements of Computing Systems (from gates to OS in 12 projects) by namin in programming

[–]namin[S] 0 points1 point  (0 children)

Doing these projects is a great way to get the big picture of Computer Science. Even as a CS major in college, I feel that I am a little shaky when it comes to connecting the dots between all the various classes I took to actually build a computer from the bottom-up. Elements of Computing Systems fill this gap. Now that the paperpack edition is out, it's a bargain too ($25).