jozefg

Denmark

http://jozefg.github.io

phd student in type theory

top accounts reputation activity subscriptions

Setting an int to Infinity in C++

c++ infinity asked Dec 31, 2011 at 21:09

stackoverflow.com

66 votes

Enhanced FOR loops in C++

java c++ for-loop asked Dec 4, 2011 at 21:05

stackoverflow.com

43 votes

Deciding on Sub-Problems for Dynamic Programming

algorithms dynamic-programming asked Mar 22, 2012 at 3:30

cs.stackexchange.com

43 votes

When do Go's pointers dereference themselves

pointers go asked Nov 23, 2012 at 17:43

stackoverflow.com

24 votes

Ways to Flatten A Perl Array in Scalar Context

arrays perl asked Apr 20, 2012 at 10:48

stackoverflow.com

17 votes

Studying Programming Language Theory

reference-request lambda-calculus functional-programming books asked Dec 11, 2012 at 4:40

cs.stackexchange.com

15 votes

Finding Local Extremes

code-golf asked Feb 26, 2014 at 21:52

codegolf.stackexchange.com

13 votes

Conflicting Java Styles within a Team

java coding-standards asked Jan 22, 2012 at 3:14

softwareengineering.stackexchange.com

11 votes

Ramification of An Impredicative Type Theory

lo.logic type-theory asked Mar 22, 2015 at 20:05

cstheory.stackexchange.com

10 votes

Induction-recursion in models other than $\mathbf{Set}$

type-theory ct.category-theory denotational-semantics asked Jan 24, 2022 at 12:29

cstheory.stackexchange.com

Top Answers

811

fatal: Not a git repository (or any of the parent directories): .git

stackoverflow.com

147

What is the purpose of the "send" function on Python generators?

stackoverflow.com

121

How can I write multiline strings in Haskell?

stackoverflow.com

119

Why doesn't Java 8 include immutable collections?

softwareengineering.stackexchange.com

Setting an int to Infinity in C++

stackoverflow.com

Why do programmers use `Acme` as a package, namespace or directory name

softwareengineering.stackexchange.com

What are the safety benefits of a type system?

softwareengineering.stackexchange.com

What is the DataKinds extension of Haskell?

stackoverflow.com

Sets Data Structure in Golang

softwareengineering.stackexchange.com

Haskell unit testing

stackoverflow.com

Why is it possible to sleep / pause execution in Haskell if it's purely functional?

stackoverflow.com

How did Haskell add Turing-completeness to System F?

stackoverflow.com

Functional dependencies in Haskell

stackoverflow.com

Should do-notation be avoided in Haskell?

stackoverflow.com

simple Haskell loop

stackoverflow.com

Is it necessary to follow the standard, take the C standard for that matter?

softwareengineering.stackexchange.com

Shortest code to produce infinite output

codegolf.stackexchange.com

What is "short-circuiting" in C like languages?

softwareengineering.stackexchange.com

Automatic conversion between String and Data.Text in haskell

stackoverflow.com

Cleanest way to report errors in Haskell

softwareengineering.stackexchange.com

What skills (technologies) get outdated slower?

softwareengineering.stackexchange.com

Why is it so hard to recruit for compiler[-related] jobs?

softwareengineering.stackexchange.com

Program that creates larger versions of itself (quine-variant)

codegolf.stackexchange.com

What does foo mean?

stackoverflow.com

What does the double-backslash \\ mean in Haskell?

stackoverflow.com

Why is Perl so afraid of "deep recursion"?

stackoverflow.com

In GHCi, can I use the result of the previous expression?

stackoverflow.com

what is the meaning of "let x = x in x" and "data Float#" in GHC.Prim in Haskell

stackoverflow.com

What are the reasons that protocols and multimethods in Clojure are less powerful for polymorphism than typeclasses in Haskell?

stackoverflow.com

Why is PHP's method of comparing different types bad?

softwareengineering.stackexchange.com