Luis Casillas

LinkedIn Profile

top accounts reputation activity subscriptions

What's the absurd function in Data.Void useful for?

haskell type-theory curry-howard asked Jan 3, 2013 at 1:25

stackoverflow.com

66 votes

IntelliJ can't find classpath test resource

java intellij-idea classpath asked Aug 26, 2014 at 19:30

stackoverflow.com

22 votes

Can GADTs be used to prove type inequalities in GHC?

haskell curry-howard asked Jan 11, 2013 at 6:58

stackoverflow.com

17 votes

What's a cryptographic primitive, really?

algorithm-design terminology asked Sep 1, 2016 at 21:34

crypto.stackexchange.com

13 votes

Java Memory Model: Is it safe to create a cyclical reference graph of final instance fields, all assigned within the same thread?

java multithreading concurrency memory-model java-memory-model asked Mar 26, 2015 at 4:36

stackoverflow.com

10 votes

How distinct are the meanings of the terms "CSPRNG," "DRBG" and "stream cipher"?

random-number-generator stream-cipher pseudo-random-generator terminology csprng asked May 1, 2016 at 22:10

crypto.stackexchange.com

10 votes

AllowAmbiguousTypes and propositional equality: what's going on here?

haskell ghc asked Nov 19, 2014 at 2:44

stackoverflow.com

10 votes

How do I implement Reader using free monads?

haskell monads free-monad asked Mar 15, 2013 at 6:42

stackoverflow.com

9 votes

Proving the Functor laws for free monads; am I doing it right?

haskell monads proof free-monad asked Dec 21, 2013 at 8:49

stackoverflow.com

8 votes

Is it impossible to compute the difference between the maxBound and minBound of an Enum type?

haskell asked Nov 5, 2012 at 21:24

stackoverflow.com

Top Answers

195

Do I need to use an interface when only one class will ever implement it?

softwareengineering.stackexchange.com

180

What is the purpose of Rank2Types?

stackoverflow.com

137

Hosting company advised us to avoid PHP for security reasons. Are they right?

security.stackexchange.com

120

SQL injection is 17 years old. Why is it still around?

security.stackexchange.com

103

A monad is just a monoid in the category of endofunctors, what's the problem?

stackoverflow.com

Why would I choose SHA-256 over SHA-512 for a SSL/TLS certificate?

security.stackexchange.com

What is the purpose of the reader monad?

stackoverflow.com

When are higher kinded types useful?

stackoverflow.com

What constitutes a fold for types other than list?

stackoverflow.com

Why is the concept of lazy evaluation useful?

softwareengineering.stackexchange.com

Where do Apache Samza and Apache Storm differ in their use cases?

stackoverflow.com

Why do I need Kerberos when I could just use a username and password to access services?

security.stackexchange.com

Confused about using a password that "would take centuries to break"

security.stackexchange.com

What exactly is a symbol in lisp/scheme?

stackoverflow.com

How to prove that a file was not created in advance

security.stackexchange.com

Why would I not need an ORM in a functional language like Scala?

softwareengineering.stackexchange.com

Is it completely safe to publish an ssh public key?

security.stackexchange.com

Select something that has more/less than x character

stackoverflow.com

Why use argon2i or argon2d if argon2id exists?

crypto.stackexchange.com

Can I encrypt a message by swapping bits in the text?

crypto.stackexchange.com

Key derivation functions (KDF): What are they, what are their main purposes and how they can be used?

crypto.stackexchange.com

What is the purpose of associated authenticated data in AEAD?

security.stackexchange.com

ConstraintKinds explained on a super simple example

stackoverflow.com

An example of using Data.Map in Haskell

stackoverflow.com

Sets, Functors and Eq confusion

stackoverflow.com

Why would I ever use AES-256-CBC if AES-256-GCM is more secure?

security.stackexchange.com

Argon2 output length and parameter storage?

crypto.stackexchange.com

Is my rewritten foldl function optimised?

stackoverflow.com

How to generate random, typed functions

stackoverflow.com

Why do Haskell and Scheme use singly-linked lists?

softwareengineering.stackexchange.com