Stack Exchange

jozefg

United States

dannygratzer.com

Age: 17

I am a programmer that dabbles in PLT and HCI as well as robotics. I am familiar with a bunch of languages, my favorites being Haskell, Racket & Scheme, Python, Go, Coq and C++ more or less in that order.

I have recently taken an interest in compilers and am doing a lot of work with them recently.

Additionally I'm attempting to learn about formal proofs and program verification with Coq

top accounts reputation activity favorites subscriptions
4437
1440 votes
213 answers

What is the single most influential book every programmer should read?

resources Feb 21 '12 at 21:02 Roger Pate
stackoverflow.com

1163
974 votes
11 answers

How can I make a chain of function decorators in Python?

python decorator 2 days ago Chris Seddon
stackoverflow.com

691
521 votes
15 answers

Getting started with Haskell

haskell functional-programming Apr 29 at 3:55 Jeremy Banks
stackoverflow.com

325
297 votes
8 answers

Which hashing algorithm is best for uniqueness and speed?

algorithms hashing Oct 18 '12 at 19:28 Janus Troelsen
programmers.stackexchange.com

28
149 votes
31 answers

Is it unusual for a small company (15 developers) not to use managed source/version control?

version-control project-management management release-management Oct 14 '12 at 12:23 mmf
programmers.stackexchange.com

17
44 votes
8 answers

Enhanced FOR loops in C++

java c++ for-loop Nov 8 '12 at 10:28 pmr
stackoverflow.com

10
26 votes
2 answers

How much memory does a thunk use?

haskell lazy-evaluation thunk Dec 22 '12 at 12:31 user239558
stackoverflow.com

7
22 votes
4 answers

Setting an int to Infinity in C++

c++ infinity Apr 19 at 16:05 Etienne de Martel
stackoverflow.com

29
20 votes
9 answers

What's the next step to learning Haskell after monads?

haskell Aug 17 '11 at 14:15 Travis Brown
stackoverflow.com

6
15 votes
3 answers

Haskell's type system and logic programming - how to port Prolog programs to type level

haskell prolog type-systems logic-programming Dec 18 '12 at 9:21 sinan
stackoverflow.com

1
11 votes
1 answer

haskell - Average floating point error using QuickCheck

haskell qa mean quickcheck standard-deviation Mar 14 at 17:02 Matt W-D
stackoverflow.com

5
10 votes
3 answers

access private member using template trick

c++ templates Oct 21 '12 at 12:59 Guillaume07
stackoverflow.com

2
8 votes
0 answers

Why (or why not) are existential types considered bad practice in functional programming?

functional-programming haskell existential-type Feb 25 at 15:32 Nix
programmers.stackexchange.com

4
5 votes
4 answers

Java Maze shortest path 2d int array

java nodes dijkstra Sep 19 '12 at 22:20 Bill the Lizard
stackoverflow.com

3
4 votes
2 answers

strange existential type

haskell existential-type Dec 29 '12 at 0:21 Carl
stackoverflow.com

1
3 votes
4 answers

Verifying Perl Arguments to a Subprocesses

perl subprocess Jun 8 '12 at 15:16 Barton Chittenden
stackoverflow.com

1
2 votes
0 answers

Has the latest takedown notice (from Department of Homeland Security) on Java impacted your work already?

java security Jan 12 at 11:14 gnat
programmers.stackexchange.com

2
1 vote
3 answers

How did Python become popular as a scripting language?

programming-languages python history scripting Jan 1 at 0:20 Bryan Oakley
programmers.stackexchange.com

1
1 vote
3 answers

Errors with Pointers

c++ pointers data-structures binary-tree Feb 17 '12 at 18:32 jozefg
stackoverflow.com

1
0 votes
2 answers

C++ Exercises for Beginner to Intermediate Programmers

c++ types libraries Dec 12 '11 at 11:29 Tim Post
stackoverflow.com

0
-3 votes
1 answer

computing minimum cost with using dynamic programming

algorithm dynamic-programming greedy Nov 2 '12 at 5:05 mcdowella
stackoverflow.com