Tim May | Lambda the Ultimate

Tim May

view
track

type	title	author	last post
Story	Open thread: RIP Steve Jobs Well, I think he WAS a technical genius.... by Tim May OS X, OpenBSD, NeXTStep, Mach by Tim May	Ehud Lamm	2014-10-05 00:19
Forum topic	Google's Dart announced Intel was the same, at least in the 1970s, early 80s by Tim May	vieiro	2012-12-30 17:29
Story	Google Blockly Lets You Hack With No Keyboard Smalltalk legacy? by Tim May	Allan McInnes	2012-06-13 07:36
Forum topic	The barrier to take-up of language innovation Most of the younger by Tim May MainSail (Machine by Tim May I don't want to come off as by Tim May	ad1mt	2010-11-06 03:26
Story	Recent Progress in Quantum Algorithms Getting used to the weirdness... by Tim May Some advanced math is useful... by Tim May	Manuel J. Simoni	2010-03-16 18:22
Forum topic	Erik Meijer's MSDN Channel 9 lecture series on functional programming "Laziness" never explained... by Tim May	Z-Bo	2010-02-26 18:20
Story	A Lambda Calculus for Real Analysis I should've called it a "spirited debate" by Tim May His book, "Practicical Foundations of Mathematics" by Tim May	Paul Snively	2010-02-18 00:25
Forum topic	Academic advice: Mathematics or Computer Science? Real analysis is more about point set topology than calculus is by Tim May	guerrilla_thought	2010-01-23 19:57
Forum topic	Unfulfilled Promises of Software Technologies? (!) Expanded comments by Tim May The inability to "meter" software widgets/ICs/components by Tim May	scottmcl	2010-01-02 01:09
Story	The Development of Sage I agree, most will use the by Tim May Math systems that "understand" (or at least "enforce") math by Tim May	Leon P Smith	2009-12-22 20:01
Story	Twilight of the GPU "In the long run stacking by Tim May	Noel	2009-02-06 16:44
Forum topic	Functional Programming in the ACM CS Curriculum Similar to "Physics" vs. "Engineering" by Tim May	mwand	2008-07-19 22:42
Forum topic	Understanding category theory and its practical applications The logic of black boxes.... by Tim May Beseme...I hadn't heard of by Tim May Math for programmers by Tim May Affordances, Readiness-to-Hand, and Higher-Level Languages by Tim May "So, I guess I need to by Tim May A metaphor for categories and mappings by Tim May	Winheim Raulsh	2008-05-26 05:25
Forum topic	MapReduce MapReduce in the news again by Tim May	jaylac	2008-01-25 06:00
Forum topic	poll: syntax Lawyers and programming, oh my! by Tim May "IMHO, the phrases 'is an by Tim May Haskell is pretty close to math notation.... by Tim May Haskell is pretty close to math notation.... by Tim May	Givas	2008-01-25 02:00
Story	Samurai - Protecting Critical Data in Unsafe Languages MainSAIL was used as a primary CAD tool by Tim May Obscure languages considered possible by Tim May Ehud, I know little of Mainsail by Tim May Your knowledge of Haskell is beyond my own... by Tim May That sounds right.... by Tim May A connection with hardware "design rule checking" by Tim May	Ehud Lamm	2007-11-27 16:54
Forum topic	PL research & grad schools? Unix pipes as one of the biggest uses of the FP style by Tim May Specialized processors just don't seem to have a chance... by Tim May What industry may look like in 5-7 or so years... by Tim May Very exciting opportunities lie ahead for you... by Tim May	dataangel	2007-11-20 22:47
Forum topic	Searching for a quote "Throwing one switch makes a wing fall off" by Tim May	paul_butcher	2007-10-31 00:13
next page last page