Blaisorblade

331 reputation

bio	website	informatik.uni-marburg.de/…
	location	Germany
	age	27
visits	member for	2 years, 8 months
	seen	yesterday
stats	profile views	75

Ex Linux kernel programmer, M.Sc., PhD student, Scala/Java/Haskell/C/C++/Java developer, with focus on design and implementation of programming languages, in particular optimized EDSLs in Scala (and Haskell).

You can read my irregularly-published reflections on CS at http://blaisorbladeprog.blogspot.com/.

	331 reputation	bio	website	informatik.uni-marburg.de/…	visits	member for	2 years, 8 months
19 badges		location	Germany		seen	yesterday

summary answers questions tags badges favorites bounties reputation activity

7 Answers

votes activity newest

5	For which algorithms is there a large gap between the theoretical analysis and reality?
4	Where do most REGEX implementations fall on the complexity scale?
3	Are there intermediate eta theories for the lambda calculus?
3	Simple balanced trees with O(1) concat?
2	Are lambda calculus and combinatory logic the same?

331 Reputation

+35	η-conversion vs extensionality in extensions of lambda-calculus
+30	Are there intermediate eta theories for the lambda calculus?
+15	Realizability theory: difference in power between Lambda calculus and Turing Machines
+2	Does using Normal Order Evaluation instead of Normal Order Reduction lose the Normalization theorem?

2 Questions

votes activity newest

13	Realizability theory: difference in power between Lambda calculus and Turing Machines
7	η-conversion vs extensionality in extensions of lambda-calculus

14 Tags

5 lambda-calculus × 4	4 automata-theory × 2
5 functional-programming × 2	3 ds.data-structures × 2
4 lo.logic × 2	2 combinatory-logic
4 fl.formal-languages × 2	1 turing-machines × 2
4 regular-expressions × 2	1 computability × 2