turnersr

How will this compare to Shen ( http://www.shenlanguage.org/ )? In my experience it has a more expressive type system than Taf.

Shen is an example of a language with a richer type system. Dependent types can be implementated in Shen.

It's a wonderful place to stay. It's a fabulous place to met programmers and to be inspired. I am so glad I choose chez jj than single room in SF.

Downsides? Many. 1. There's a lot happening and so many interesting people that your productively may at times waver. 2. You are sleeping in a bunk. 3. Awesome people. 4. The entire space is shared. Privacy?

It's scary to think that one day length-extension attacks, misusing cipher modes, and other crypto related attacks might be as common as XSS and SQL injections.

Out of curiosity, what do you recommend people use?

If you're interested in a Python implementation of some of the core ideas of Swift (task-based parallelism, DAG representation of work-flow, etc..) look here: https://github.com/timarmstrong/pydflow

A discussion of the Swift language can be found here: http://www.ci.uchicago.edu/swift/papers/SwiftLanguageForDist...

Swift is an amazingly powerful framework. The syntax for its scripting language takes some getting use to. If you think that's bad, try reading the Java that's underlying it.

I think www.classes.cs.uchicago.edu/current/22300-1/lectures/FP_history.pdf is a better graph because it focuses more on functional languages and the layout is easier to navigate.

Verified in Chicago.

I agree that it is pain to integrate. Once integrated, however, these tools offer a start on the road towards semantics. Here is an overview of some of the techniques used in Treehydra: https://wiki.mozilla.org/Abstract_Interpretation

DXR is currently a pain to get up and running. There's been talk on the mailing list on streamlining the install process but it would still require a lot intervention depending the compilation process. https://groups.google.com/forum/#!topic/mozilla.dev.static-a...

People at Mozilla have created a lot of neat tools for working with large C/C++ code bases.

Relavent Links: https://developer.mozilla.org/en/Dehydra https://developer.mozilla.org/en/Treehydra http://dxr.lanedo.com/ http://corp.galois.com/blog/2010/6/4/tech-talk-large-scale-s...

Just in case no one gets it in time:

Pr0t3ct!on#cyber_security@12*12.2011+

Closely related is Nadia Heninger's paper on reconstructing RSA private keys:

cseweb.ucsd.edu/~hovav/dist/reconstruction.pdf

I'm sure a lot of people are interested in the implementation details of YaCy's privacy mechanisms. Does anyone know the default privacy settings? Are search words that are sent in any way protected? I found this page: http://yacy-websuche.de/wiki/index.php/En:Privacy

But it's not that helpful. I'm currently looking at the source code: https://gitorious.org/yacy .

Thank you so much! Updated my profile.

I tried getting in contact with Thomas Ptacek and some other people, but I have not received any responses. I'll ping the other names you gave me.

I made a short list of security firms. But I have no idea how to assess them. Matasano has the most informative website. Do you know of any competitors to Matasano? How would you compare computer security companies? What metric do you use?

Matasano

ISEC Partners

Counter Plane

Rapid7

Nss labs

Inverse Path

Stach & Liu

Trend Micro

Reversing Labs

University of Chicago also uses Haskell, C, Python, and AWK.

The Haskell Programmer’s Guide to the IO Monad:

"This guide explored the theoretical backgrounds of Haskell’s IO monad. On the way we have seen functors, natural transformations, and finally monads. All these purely theoretic concepts appeared to have a quite practical correspondence in the Haskell programming language, as emphasized by the according examples. It should be clear now, how the IO monad is used to pass around the state of the world, without allowing the programmer to access it “too much”.

http://stefan-klinger.de/files/monadGuide.pdf