Lambda the Ultimate

type	title	author	last post
Forum topic	CS and mathematics dictionary Buy a few Books? by marco	Thomas Strathmann	2010-08-27 18:16
Story	Type Classes as Objects and Implicits It's a generalized form of Fibonacci, No? by marco Okay... What about inline? by marco I really wonder about the benefits of JITting by marco	Paul Snively	2010-08-26 06:09
Forum topic	Quick OT Doc Authoring/Equation Editting Question Recognizes Handwritten Math? by marco You need to know really well where you want your notes to go by marco	scottmcl	2010-08-24 10:43
Forum topic	Miguel de Icaza on Java lawsuit I've tried to get my hand on bench-marks by marco On Dalvik Internals by marco Figures by marco I just wonder by marco	Ehud Lamm	2010-08-20 21:07
Forum topic	The ideal style/system for namespaces. Well, at least that mistake is cleared by marco Strange by marco I must be older than you are by marco That's what I wonder about by marco My Point by marco Ah well by marco --Wpedantic-errors by marco How to speak Obamanese? by marco Module System <= Namespace Management by marco Module System != Namespace Management by marco	simcop2387	2010-08-16 17:25
Forum topic	Overlapping Instances + Functional Dependencies Unsound? uh. nope? or, uh, yes. by marco I thought by marco TBH, it's a lesson from my own Hi compiler. by marco Depends on your semantics by marco The Root of the Problem by marco I think, this just shouldn't have type-checked: by marco	shap	2010-08-08 15:11
Forum topic	The Rust Language Been There, Done That by marco The way I see it.. by marco Hell no by marco Oleg says: by marco	Noel	2010-07-27 23:17
Forum topic	Is mathematics invention or discovery? Of course by marco Pi by marco Is an idea discovery or invention? by marco	Justin Johansson	2010-07-20 08:14
Forum topic	App Inventor: Programming for non-programmers... again Reads like Oscar Wilde by marco The argument wasn't on this particular application by marco An awful argument by marco	fogus	2010-07-16 23:11
Story	Why Undergraduates Should Learn the Principles of Programming Languages I guess you're right by marco Depends by marco Uh.. Well by marco Don't think it is that bad, now is it? by marco You're addressing the wrong crowd here... by marco Yeah, I think this discussion died by marco Was that a reply to me? by marco Yeah, some underpinning by marco Wrong Problem by marco Dijkstra's story is: I hire an expert. Expert says do X. I do Y. by marco ...	Z-Bo	2010-07-15 09:08
Forum topic	Questions about Semantics. God now I am replying to my own posts again... by marco No worries by marco Well.... by marco	Matt Estes	2010-07-15 05:47
Forum topic	How important is language support for namespace management? Dictionaries and Contexts by marco	Manuel J. Simoni	2010-07-12 18:33
Forum topic	Evocative metaphor Hey! by marco	Ehud Lamm	2010-07-12 13:40
Forum topic	Uncle Bob's talk at RailsConf 2010 He said a lot more than just that... by marco He makes you think by marco I doubt them both... by marco Yah, well by marco Google Watts by marco Exsqueeze Me? by marco Moore excellent by marco Teaching is Lying by marco	Marc Hamann	2010-07-07 20:43
Story	An intuitionistic logic that proves Markov's principle Thanks for the clarification by marco I have been thinking about similar lines by marco	neelk	2010-07-07 08:23
Story	SIGPLAN's first Programming Languages Software Award goes to LLVM Mature? by marco	bashyal	2010-07-06 19:16
Forum topic	Simulation language ideas? I second this... by marco	James W Hofmann	2010-07-05 22:33
Forum topic	Looking for a proof that eager reduction is as strong as lazy reduction Okidoki by marco Encodings by marco Thanks by marco	marco	2010-06-20 04:28
Forum topic	C-Machine True by marco Yah. by marco	marco	2010-06-15 19:46
Forum topic	Spam filters Given the amount of subscribers by marco	Charles Stewart	2010-05-19 16:45
Forum topic	Computing complexity You could have stated a simpler question. by marco	giuseppemag	2010-05-11 20:38
Story	Code Quarterly - The Hackademic Journal Not a bad point by marco	Ehud Lamm	2010-05-10 20:44
Story	The Structure of Authority: Why security is not a separable concern Tresspassing and Theft by marco	naasking	2010-05-07 21:39
Forum topic	SEC interested in formalising contracts ... in Python Yeah by marco Ah well by marco Then explain to me by marco I agree by marco Or it is elaborate sales? by marco As I got it by marco I did? by marco No goal and an agenda doesn't exists by marco Who is Our? by marco Hugs is written in C by marco ...	Noel	2010-05-06 12:56
Forum topic	Typed Lambda Calculus ∀τ:τ→τ by marco Wouldn't this be 2nd order too? by marco	marcosag	2010-05-05 21:11
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation